Indexation 511.3 : Logica matematica (Logica simbolica) - Teoria degli automi
Opere della biblioteca con questa indicizzazione 511.3 (3)
Perfeziona la ricerca
Titolo : Elementi di logica : con gli esercizi risolti Tipo di documento: materiale a stampa Autori: Edward John Lemmon ; traduzione di Massimo Prampolini Indicazione d'edizione: 8° edizione Editore: Roma ; Bari : Laterza Data di pubblicazione: 2008 Collane: Biblioteca Universale Laterza n. 182 Numero di pagine: XI, 296 p ISBN/ISSN/EAN: 88-420-2772-0 Prezzo: € 18,00 Lingua : Italiano (ita) Indicizzazione: 511.3 Logica matematica (Logica simbolica) - Teoria degli automi Permalink : https://biblioteca.unimarconi.it/pmb/opac_css/index.php?lvl=notice_display&id=46 Elementi di logica : con gli esercizi risolti [materiale a stampa] / Edward John Lemmon ; traduzione di Massimo Prampolini . - 8° edizione . - Roma ; Bari : Laterza, 2008 . - XI, 296 p. - (Biblioteca Universale Laterza; 182) .
ISSN : 88-420-2772-0 : € 18,00
Lingua : Italiano (ita)
Indicizzazione: 511.3 Logica matematica (Logica simbolica) - Teoria degli automi Permalink : https://biblioteca.unimarconi.it/pmb/opac_css/index.php?lvl=notice_display&id=46 Exemplaires(2)
Inventario Collocazione Tipo documento Ubicazione Sezione Status 5263 511.3 LEM Libro Biblioteca USGM Biblioteca USGM Disponibile 5555 511.3 LEM Libro Biblioteca USGM Biblioteca USGM Disponibile
Titolo : Introduction to Automata Theory, Languages, and Computation Tipo di documento: materiale a stampa Autori: John E. Hopcroft, Rajeev Motwani e Jeffrey D. Ullman Indicazione d'edizione: 3. ed. Editore: Boston, San Francisco [etc.] : Addison-Wesley Data di pubblicazione: ©2007 Altro editore: [s.l.] : Gradiance Corporation Numero di pagine: XVII, 535 p. Ill.: ill. Dimensioni: 25 cm. ISBN/ISSN/EAN: 978-0-321-45536-9 Lingua : Inglese (eng) Indicizzazione: 511.3 Logica matematica (Logica simbolica) - Teoria degli automi Permalink : https://biblioteca.unimarconi.it/pmb/opac_css/index.php?lvl=notice_display&id=57 Introduction to Automata Theory, Languages, and Computation [materiale a stampa] / John E. Hopcroft, Rajeev Motwani e Jeffrey D. Ullman . - 3. ed. . - Boston, San Francisco [etc.] : Addison-Wesley : [s.l.] : Gradiance Corporation, ©2007 . - XVII, 535 p. : ill. ; 25 cm.
ISBN : 978-0-321-45536-9
Lingua : Inglese (eng)
Indicizzazione: 511.3 Logica matematica (Logica simbolica) - Teoria degli automi Permalink : https://biblioteca.unimarconi.it/pmb/opac_css/index.php?lvl=notice_display&id=57 Exemplaires(1)
Inventario Collocazione Tipo documento Ubicazione Sezione Status 6322 511.3 HOP Libro Biblioteca USGM Biblioteca USGM Disponibile
Titolo : Logic for Mathematics and Computer Science Tipo di documento: materiale a stampa Autori: Stanley N. Burris Editore: Upper Saddle River (New Jersey, USA) : Pearson Prentice Hall Data di pubblicazione: ©1998 Numero di pagine: XIX, 420 p. Ill.: ill. Dimensioni: 23 cm. ISBN/ISSN/EAN: 978-0-13-285974-5 Lingua : Inglese (eng) Indicizzazione: 511.3 Logica matematica (Logica simbolica) - Teoria degli automi Permalink : https://biblioteca.unimarconi.it/pmb/opac_css/index.php?lvl=notice_display&id=57 Logic for Mathematics and Computer Science [materiale a stampa] / Stanley N. Burris . - Upper Saddle River (New Jersey, USA) : Pearson Prentice Hall, ©1998 . - XIX, 420 p. : ill. ; 23 cm.
ISBN : 978-0-13-285974-5
Lingua : Inglese (eng)
Indicizzazione: 511.3 Logica matematica (Logica simbolica) - Teoria degli automi Permalink : https://biblioteca.unimarconi.it/pmb/opac_css/index.php?lvl=notice_display&id=57 Exemplaires(1)
Inventario Collocazione Tipo documento Ubicazione Sezione Status 6343 511.3 BUR Libro Biblioteca USGM Biblioteca USGM Disponibile
511 Calcolo numerico (Matem)
