CINI - PDFSEARCH.IO - Document Search Engine

CINI
Results: 124

#	Item
31	An LTL Proof System for Runtime Verification Clare Cini1 and Adrian Francalanza1 Computer Science, ICT, University of Malta {clare.cini.08,adrian.francalanza}@um.edu.mt Abstract. We propose a local proof system for LTL Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2015-01-10 10:46:30
32	Fulvio Bianconi, Vasi a fasce orizzontali, 1953 ca. Piazza S. Marco San Add to Reading List Source URL: www.cini.it Language: Italian - Date: 2015-01-26 07:15:36
33	PDF Document Add to Reading List Source URL: www.cini-minis.com Language: German
34	NÁRODNÍ ALOKAČNÍ PLÁN ČESKÉ REPUBLIKY NA ROKYCelkový maximální alokovaný objem povolenek na období je pětinásobek roční kvóty stanovené Evropskou komisí, která činí 86,83 Add to Reading List Source URL: www.ote-cr.cz Language: Czech - Date: 2010-10-18 11:34:30
35	Comunicato Stampa Il futuro si programma fra i banchi Progetto Miur-Cini, già 1.176 classi e oltrestudenti hanno sperimentato il #coding a scuola Dall’8 al 14 dicembre la “Computer Science Education Week” Add to Reading List Source URL: www.telecomitalia.com Language: Italian - Date: 2015-07-19 16:46:37
36	Biblioteche e Fototeca Regolamento utenti Descrizione Le biblioteche della Fondazione Giorgio Cini conservano e rendono fruibili documenti concernenti prevalentemente le arti, la storia di Venezia, la letteratura, la mu Add to Reading List Source URL: www.cini.it - Date: 2012-08-21 13:35:27
37	Seminario coordinato da Gianmario Borio e Giada Viviani Comitato scientifico: Michele Girardi, Paolo Pinamonti, Emilio Sala, Luca Zoppelli 3 2 Add to Reading List Source URL: www.cini.it - Date: 2015-05-13 08:48:40
38	AOI -‐ CINI -‐ LINK 2007 AUDIZIONE IN COMMISSIONE ESTERI DEL SENATO Add to Reading List Source URL: www.cininet.org - Date: 2014-03-27 10:44:21
39	Biblioteche e Fototeca Carta dei servizi CHE COS’È LA CARTA DEI SERVIZI La Carta dei servizi è un documento che informa gli utenti sui servizi che la Nuova Manica Lunga intende garantire e pone la sua attenzione all Add to Reading List Source URL: www.cini.it - Date: 2012-08-21 13:35:29
40	Commenti e proposte del CINI – Coordinamento Italiano ONG Internazionali -‐ Add to Reading List Source URL: www.cininet.org Language: Italian - Date: 2014-06-17 11:58:21

UPDATE