top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Automata theory and formal languages / Alberto Pettorossi
Automata theory and formal languages / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [4. ed.]
Pubbl/distr/stampa Roma : Aracne, 2013
Descrizione fisica 266 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto topico Teoria degli automi
ISBN 978-88-548-5977-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996287633203316
PETTOROSSI, Alberto  
Roma : Aracne, 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Elements of computability, decidability, and complexity / Alberto Pettorossi
Elements of computability, decidability, and complexity / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [5. ed.]
Pubbl/distr/stampa Ariccia : Aracne, 2016
Descrizione fisica 189 p. : ill. ; 24 cm
Disciplina 511.3
Collana AOI
Soggetto topico Logica matematica
ISBN 978-88-548-9299-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996235945403316
PETTOROSSI, Alberto  
Ariccia : Aracne, 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Elements of concurrent programming / Alberto Pettorossi
Elements of concurrent programming / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [4. ed.]
Pubbl/distr/stampa Ariccia : ARACNE, copyr. 2014
Descrizione fisica 152 p. : ill. ; 24 cm
Disciplina 005.275
Collana A09
Soggetto topico Programmazione parallela
ISBN 978-88-548-8102-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996227618503316
PETTOROSSI, Alberto  
Ariccia : ARACNE, copyr. 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
First order predicate calculus and logic programming / Alberto Pettorossi, Maurizio Proietti
First order predicate calculus and logic programming / Alberto Pettorossi, Maurizio Proietti
Autore PETTOROSSI, Alberto
Edizione [4. ed.]
Pubbl/distr/stampa Ariccia : Aracne, 2016
Descrizione fisica 147 p. ; 24 cm
Disciplina 005.115
Altri autori (Persone) PROIETTI, Maurizio
Collana A01
Soggetto topico Elaboratori - Programmazione logica
ISBN 978-88-548-9298-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996237548303316
PETTOROSSI, Alberto  
Ariccia : Aracne, 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Programming in C++ / Alberto Pettorossi
Programming in C++ / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Pubbl/distr/stampa Roma : ARACNE, 2001 (rist. 2013)
Descrizione fisica VI, 77 p. ; cm
Disciplina 005.73
Collana A09
Soggetto (Persona) Linguaggio Java
Soggetto topico Elaboratori - Linguaggi di programmazione
Programmazione parallela
ISBN 88-7999-323-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996227614203316
PETTOROSSI, Alberto  
Roma : ARACNE, 2001 (rist. 2013)
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quaderni di informatica / Alberto Pettorossi
Quaderni di informatica / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [2. ed.]
Pubbl/distr/stampa Roma : Aracne, 2004
Descrizione fisica 2 volumi : ill. ; cm
Disciplina 004
Collana A09
Soggetto topico Informatica
ISBN 88-7999-054-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto Pt. 1.: VI, 245 p. - ISBN 88-7999-054-7. - Pt. 2.: <> Chomsky hierarchy, Decidability and closure properties, Contex-free languages & pushdown automata, Regular languages & finite automata; context-free parsing
Record Nr. UNISA-996230448703316
PETTOROSSI, Alberto  
Roma : Aracne, 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Semantics of programming languages / Alberto Pettorossi
Semantics of programming languages / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [3. ed.]
Pubbl/distr/stampa Ariccia (RM) : Aracne, 2016
Descrizione fisica 380 p. : ill. ; 24 cm
Disciplina 005.13
Collana A01
Soggetto topico Linguaggi di programmazione - Semantica
ISBN 978-88-548-9297-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996274243203316
PETTOROSSI, Alberto  
Ariccia (RM) : Aracne, 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Techniques for searching, parsing, and matching / Alberto Pettorossi
Techniques for searching, parsing, and matching / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [4. ed.]
Pubbl/distr/stampa Roma : Aracne, 2013
Descrizione fisica 288 p. : ill. ; 24 cm
Disciplina 006.35
Collana AOI
Soggetto topico Linguistica computazionale
ISBN 978-88-548-6235-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996287633403316
PETTOROSSI, Alberto  
Roma : Aracne, 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theory of computation / Alberto Pettorossi
Theory of computation / Alberto Pettorossi
Autore PETTOROSSI, Alberto
Edizione [2. ed.]
Pubbl/distr/stampa Roma : ARACNE, 1994
Descrizione fisica Volumi (paginazione varia) : ill. ; 30 cm
Disciplina 511.3
Soggetto topico Complessità computazionale
ISBN 88-7999-106-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 3.: 1. Mathematical preliminares, 2. Turing machines, Partial recursive functions, 4. Decidability, 5. Semantics of programming languages, 6. Böhm-Jacopini theorem, 7. More on recursion and parsing, 8. More on finite automata and machines, 9. More on propositional calculus and boolean algebras. - ISBN 88-7999-106-X
Record Nr. UNISA-996283450203316
PETTOROSSI, Alberto  
Roma : ARACNE, 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui