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.
PEACH: Intelligent Interfaces for Museum Visits
2007-01-01 Stock, Oliviero; Zancanaro, Massimo
Perspectives on Contexts
2008-01-01 Bouquet, Paolo; Serafini, Luciano; Richmond, Thomason
Pore-forming peptides and protein toxins
2003-01-01 G., Menestrina; Dalla Serra, Mauro; P., Lazarovici
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis
2005-01-01 Armando, Alessandro; Viganò, L.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
2006-01-01 Armando, Alessandro; Cimatti, Alessandro
Preface
2009-01-01 Ranise, Silvio; U., Hustadt
Preface
2007-01-01 Roderick, Bloem; Roveri, Marco; Fabio, Somenzi
Proceedings of 3rd International i* Workshop (iStar 2008)
2008-01-01 Jaelson Brelaz de, Castro; Xavier, Franch; Perini, Anna; Eric S. K., Yu
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney
2008-01-01 Armando, Alessandro; P., Baumgartner; G., Dowek
Proceedings of the 8th Italian Conference on Sensors and Microsystems [AISEM 2003]
2004-01-01 C., Di Natale; A., D'Amico; Soncini, Giovanni; Ferrario, Lorenza; Zen, Mario
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| PEACH: Intelligent Interfaces for Museum Visits | 1-gen-2007 | Stock, Oliviero; Zancanaro, Massimo | |
| Perspectives on Contexts | 1-gen-2008 | Bouquet, Paolo; Serafini, Luciano; Richmond, Thomason | |
| Pore-forming peptides and protein toxins | 1-gen-2003 | G., Menestrina; Dalla Serra, Mauro; P., Lazarovici | |
| Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis | 1-gen-2005 | Armando, Alessandro; Viganò, L. | |
| Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning | 1-gen-2006 | Armando, Alessandro; Cimatti, Alessandro | |
| Preface | 1-gen-2009 | Ranise, Silvio; U., Hustadt | |
| Preface | 1-gen-2007 | Roderick, Bloem; Roveri, Marco; Fabio, Somenzi | |
| Proceedings of 3rd International i* Workshop (iStar 2008) | 1-gen-2008 | Jaelson Brelaz de, Castro; Xavier, Franch; Perini, Anna; Eric S. K., Yu | |
| Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney | 1-gen-2008 | Armando, Alessandro; P., Baumgartner; G., Dowek | |
| Proceedings of the 8th Italian Conference on Sensors and Microsystems [AISEM 2003] | 1-gen-2004 | C., Di Natale; A., D'Amico; Soncini, Giovanni; Ferrario, Lorenza; Zen, Mario |
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
Opzioni
Scopri
Tipologia
- 7 Curatele 70
- 7 Curatele::7.1 Curatela 70
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