Raimondi - PDFSEARCH.IO - Document Search Engine

Raimondi
Results: 280

#	Item
1	CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:37
2	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:28:54 Artificial intelligence Multi-agent systems Modeling and simulation Systems science Agent-based model Artificial life Complex systems theory Model checking Temporal logic Intelligent agent Sociology
3	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:33:47 Software engineering Java Pathfinder Computer programming Computing Const Obfuscation Assembly languages Programming language syntax Java P-code machine
4	SHOCK METHOD AND PLYOMETRICS: UPDATES AND AN IN-DEPTH EXAMINATION NATALIA VERKHOSHANSKY THANKS TO DANNY RAIMONDI FOR HIS ENGLISH TEXT REVIEWCVASPS Add to Reading List Source URL: www.verkhoshansky.com Language: English - Date: 2012-07-14 19:41:30
5	INNOVAZIONE DAL 1974 “LUPETTO” battipiastrelle Il primo prodotto Raimondi: il battipiastrelle “Lupetto”. Nel 1974 il 99% dei pavimenti veniva posato con il sistema “a malta” e le piastrelle necessi Add to Reading List Source URL: www.raimondispa.com Language: Italian - Date: 2017-12-01 09:54:14
6	Intendente Municipal: Dr. Gustavo Bevilacqua Director del Instituto Cultural: Lic. Sergio Raimondi julio2014 Add to Reading List Source URL: cultura.bahiablanca.gov.ar - Date: 2014-08-11 19:45:04
7	Intendente Municipal: Dr. Gustavo Bevilacqua Director del Instituto Cultural: Lic. Sergio Raimondi abril2014 Add to Reading List Source URL: cultura.bahiablanca.gov.ar - Date: 2014-08-11 22:06:47
8	Intendente Municipal: Dr. Gustavo Bevilacqua Director del Instituto Cultural: Lic. Sergio Raimondi mayo2014 Add to Reading List Source URL: cultura.bahiablanca.gov.ar - Date: 2014-08-11 22:04:03
9	Intendente Municipal: Dr. Gustavo Bevilacqua Director del Instituto Cultural: Lic. Sergio Raimondi septiembre2014 Add to Reading List Source URL: cultura.bahiablanca.gov.ar - Date: 2014-09-07 11:29:48
10	Intendente Municipal: Dr. Gustavo Bevilacqua Director del Instituto Cultural: Lic. Sergio Raimondi junio2014 Add to Reading List Source URL: cultura.bahiablanca.gov.ar - Date: 2014-08-11 19:49:18

UPDATE