Jacobs - PDFSEARCH.IO - Document Search Engine

Jacobs
Results: 2543

#	Item
61	Shared Boxes: Rely-Guarantee Reasoning in VeriFast Jan Smans Dries Vanoverberghe Dominique Devriese Bart Jacobs Add to Reading List Source URL: www.cs.kuleuven.be - Date: 2014-05-07 01:46:56
62	Software Verification with VeriFast: Industrial Case StudiesI Pieter Philippaerts, Jan Tobias M¨ uhlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-300 Add to Reading List Source URL: lirias.kuleuven.be
63	Building Dynamic Cloud Maps from the Ground Up Calvin Murdock Machine Learning Department Carnegie Mellon University Nathan Jacobs Add to Reading List Source URL: www.cv-foundation.org - Date: 2015-10-24 15:04:51
64	David Jacobs Driving development and adoption of malaria diagnostic tools PATH is a leader in the innovation, promotion, and adoption of diagnostic technologies to support malaria elimination and ultimately eradication. Add to Reading List Source URL: www.path.org - Date: 2015-04-01 13:30:00
65	On Complete Reasoning about Axiomatic Specifications EPFL-REPORTSwen Jacobs and Viktor Kuncak ´ Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:32:11
66	Sequential product on effect logics Bas Westerbaan Thesis for the Master’s Examination Mathematics at the Radboud University Nijmegen, supervised by prof. dr. B.P.F. Jacobs with second reader drs. J Add to Reading List Source URL: westerbaan.name - Date: 2014-01-26 07:22:50
67	An Effect-Theoretic Account of Lebesgue Integration Bart Jacobs Bram Westerbaan Add to Reading List Source URL: bram.westerbaan.name - Date: 2015-06-29 04:11:40
68	Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:31:42
69	Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨ Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:32:27
70	Quantum Programs as Kleisli Maps Abraham Westerbaan Radboud University Nijmegen Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗ -algebras and Add to Reading List Source URL: bram.westerbaan.name - Date: 2016-05-26 08:29:24

UPDATE