IRIS
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 1 - 10 di 17 (tempo di esecuzione: 0.01 secondi).
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.01 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
  • 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