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.
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2008-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
LFMTP 2010 - Preface
2010-01-01 Crary, K.; Miculan, M.
Preface
2017-01-01 Altenkirch, T.; Chaudhuri, K.; Dowek, G.; Felty, A.; Filinski, A.; Miculan, M.; Rabe, F.; Ricciotti, W.; Coen, C.; Sojakova, K.
Theoretical Computer Science: Preface
2003-01-01 Honsell, Furio; Miculan, Marino
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | 1-gen-2008 | Miculan, Marino; Scagnetto, Ivan; Honsell, Furio | |
LFMTP 2010 - Preface | 1-gen-2010 | Crary, K.; Miculan, M. | |
Preface | 1-gen-2017 | Altenkirch, T.; Chaudhuri, K.; Dowek, G.; Felty, A.; Filinski, A.; Miculan, M.; Rabe, F.; Ricciotti, W.; Coen, C.; Sojakova, K. | |
Theoretical Computer Science: Preface | 1-gen-2003 | Honsell, Furio; Miculan, Marino |
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
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
- 2 Contributo in Volume 4
- 2 Contributo in Volume::2.2 Prefa... 4
Data di pubblicazione
- 2010 - 2017 2
- 2003 - 2009 2
Editore
- Association for Computing Machinery 1
- ELSEVIER SCIENCE BV 1
- Open Publishing Association 1
- Springer Verlag 1
Serie
- ACM INTERNATIONAL CONFERENCE PROC... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- Theoretical Computer Science 2
- Biochemistry 1
- Computational Theory and Mathematics 1
- Computer Science (all) 1
- Genetics and Molecular Biology (all) 1
- Human-Computer Interaction 1
- Logical Frameworks 1
- Type Theory 1
Lingua
- eng 4
Accesso al fulltext
- no fulltext 3
- reserved 1