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 - 10 di 17 (tempo di esecuzione: 0.095 secondi).
Automata theory and formal languages
2008-01-01 Pettorossi, A
Automata theory and formal languages
2013-01-01 Pettorossi, A
Automata Theory and Formal Languages (Third Edition)
2011-01-01 Pettorossi, A
Automata theory and formal languages (Second edition)
2009-01-01 Pettorossi, A
Elements of computability, decidability, and complexity
2014-01-01 Pettorossi, A
Elements of computability, decidability, and complexity (Third edition)
2009-01-01 Pettorossi, A
Elements of computability, decidability, and complexity. Fifth Edition
2016-01-01 Pettorossi, A
Elements of concurrent programming (Second edition)
2005-01-01 Pettorossi, A
Elements of concurrent programming (Third edition)
2008-01-01 Pettorossi, A
First order predicate calculus and logic programming (Second edition)
2005-01-01 Pettorossi, A; Proietti, M
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2008 | Automata theory and formal languages | Pettorossi, A | Monografia | |
1-gen-2013 | Automata theory and formal languages | Pettorossi, A | Monografia | |
1-gen-2011 | Automata Theory and Formal Languages (Third Edition) | Pettorossi, A | Monografia | |
1-gen-2009 | Automata theory and formal languages (Second edition) | Pettorossi, A | Monografia | |
1-gen-2014 | Elements of computability, decidability, and complexity | Pettorossi, A | Monografia | |
1-gen-2009 | Elements of computability, decidability, and complexity (Third edition) | Pettorossi, A | Monografia | |
1-gen-2016 | Elements of computability, decidability, and complexity. Fifth Edition | Pettorossi, A | Monografia | |
1-gen-2005 | Elements of concurrent programming (Second edition) | Pettorossi, A | Monografia | |
1-gen-2008 | Elements of concurrent programming (Third edition) | Pettorossi, A | Monografia | |
1-gen-2005 | First order predicate calculus and logic programming (Second edition) | Pettorossi, A; Proietti, M | Monografia |
Risultati 1 - 10 di 17 (tempo di esecuzione: 0.095 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
- Pubblicazioni 17
- Pubblicazioni::04 - Monografia 17
Data di pubblicazione
- 2010 - 2016 10
- 2005 - 2009 7
Editore
- Aracne Editrice 8
- Aracne editrice S.r.l. 6
- Aracne 3
Settore disciplinare
- Settore ING-INF/05 17
- Settore INF/01 3
Keyword
- Automata Theory 1
- automatic program verification 1
- axiomatic and fixpoint semantics 1
- Axiomatic Semantics 1
- complexity theory 1
- Computability Theory 1
- computability theory 1
- concurrency theory 1
- Concurrent programming 1
- Concurrent Programs 1
Lingua
- eng 17
Accesso al fulltext
- open 11
- no fulltext 3
- restricted 3
Settori ISICRUI
- Scienza e Ingegneria Informatica 8
- 01 - Scienze matematiche e inform... 3
- 09 - Ingegneria industriale e del... 3
- Scienza e Ingegneria Informatica ... 3
- Tecnologia dell'Informazione e Si... 2
- Ingegneria Matematica 1
Appartenenza
- Dipartimento di Ingegneria Civile... 14
- ex-Dipartimento di Ingegneria Civ... 3