SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
481	Approximation and Randomization for Quantitative Information-Flow Analysis Boris K¨opf MPI-SWS Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
482	Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-04-10 17:09:30
483	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-05-14 14:09:36
484	住友電装株式会社２０１５年９月２８日【人事異動】発令日：２０１５年１０月１日新　　　　　　　　　　職 Add to Reading List Source URL: www.sws.co.jp - Date: 2015-09-27 21:10:28
485	../figures/sentiment_vs_time.eps Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2015-07-29 05:01:14
486	LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-04-07 21:09:24 Logic Mathematical logic Abstraction Predicate logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Constructible universe Quantifier First-order logic
487	Automating Separation Logic using SMT Ruzica Piskac MPI-SWS Thomas Wies NYU Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2013-10-16 12:04:01
488	SWS Mountain Guides P.O. Box 988 Mt. Shasta, Cawww.swsmountainguides.com Phone: Fax: Add to Reading List Source URL: www.swsmtns.com Language: English - Date: 2016-02-14 11:57:46
489	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-29 10:36:42
490	No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities Cristian Danescu-Niculescu-Mizil Stanford University Max Planck Institute SWS Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:06 Linguistics Sociolinguistics Language Social information processing Online community Virtual reality Social network

UPDATE