IRIS Institutional Research Information System

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 21 - 30 di 70 (tempo di esecuzione: 0.068 secondi).
Titolo Data di pubblicazione Autore(i) File
Formal Methods for Hardware Verification 1-gen-2006 Marco, Bernardo; Cimatti, Alessandro
Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008 1-gen-2008 Cimatti, Alessandro; Robert B., Jones
Forme della comunicazione politica in Europa nei secoli XV-XVIII. Suppliche, gravamina, lettere 1-gen-2004 Nubola, Cecilia; A., Wuergler
Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers 1-gen-2009 John, Domingue; Dieter, Fensel; Traverso, Paolo
H. Arendt, Antologia. Pensiero, azione e critica nell’epoca dei totalitarismi 1-gen-2006 Costa, Paolo
Il saggio tedesco del Novecento 1-gen-2009 M., Bonifazio; D., Nelva; Sisto, Michele
Introduction to special issue 1-gen-2008 J., Terken; S., Subramaniam; Zancanaro, Massimo
Introduction to the special issue on multimodal corpora for modeling human multimodal behavior 1-gen-2008 J. C., Martin; P., Paggio; P., Kuehnlein; Pianesi, Fabio; R., Stiefelhagen
L'invenzione del futuro. Breve storia letteraria della DDR dal dopoguerra a oggi 1-gen-2009 Sisto, Michele
La Comunità europea e le relazioni esterne, 1957-1992 1-gen-2008 A., Bitumi; D'Ottavio, Gabriele; G., Laschi
Risultati 21 - 30 di 70 (tempo di esecuzione: 0.068 secondi).
↑ Back to top
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 7 Curatele 70
  • 7 Curatele::7.1 Curatela 70
Autore
  • Armando, Alessandro 6
  • Costa, Paolo 6
  • Nubola, Cecilia 6
  • Stock, Oliviero 6
  • Traverso, Paolo 6
  • Zancanaro, Massimo 5
  • Catto, Michela 3
  • Cau, Maurizio 3
  • Cimatti, Alessandro 3
  • Ghidini, Chiara 3
Data di pubblicazione
  • 2009 18
  • 2008 11
  • 2007 7
  • 2006 12
  • 2005 9
  • 2004 7
  • 2003 2
  • 2002 1
  • 2001 2
  • 2000 1
Editore
  • Springer 9
  • Il Mulino 5
  • Feltrinelli 3
  • il Mulino 3
  • CEUR-WS.org 2
  • IOS Press 2
  • Meltemi 2
  • `Al. I. Cuza` University Publishi... 1
  • Clueb 1
  • CSLI Publications 1
Rivista
  • ELECTRONIC NOTES IN THEORETICAL C... 3
  • AI MAGAZINE 1
  • ANNALS OF MATHEMATICS AND OF ARTI... 1
  • AUTONOMOUS AGENTS AND MULTI-AGENT... 1
  • INFORMATION AND COMPUTATION 1
  • JOURNAL OF AUTOMATED REASONING 1
  • JOURNAL OF SYMBOLIC COMPUTATION 1
  • LA RÉVOLUTION FRANÇAISE 1
  • LABORATOIRE ITALIEN 1
  • LANGUAGE RESOURCES AND EVALUATION 1
Keyword
  • Germanistica 2
  • Letteratura tedesca 2
  • NLP 2
  • religione 2
  • Secolarizzazione 2
  • adaptation 1
  • antropologia filosofica 1
  • context 1
  • contexts 1
  • contextual reasoning 1
Lingua
  • eng 41
  • ita 23
  • ger 4
  • fre 3
Accesso al fulltext
  • no fulltext 70