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.
Combinatorial factors / J.N. Crossley and anil Nerode
| Combinatorial factors / J.N. Crossley and anil Nerode |
| Autore | CROSSLEY, John N. |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1974 |
| Descrizione fisica | VIII, 146 p. : ill. ; 24 cm |
| Disciplina | 515.1 |
| Collana | Ergebnisse der Mathematik und Ihre Grenzgebiete |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000631600203316 |
CROSSLEY, John N.
|
||
| Berlin : Springer Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for application / Ani Nerode, Richard A. Shore
| Logic for application / Ani Nerode, Richard A. Shore |
| Autore | NERODE, Anil |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | New York [etc.] : Springer, copyr. 1997 |
| Descrizione fisica | XIII,456 p. ; 24 cm |
| Disciplina | 005.101 511 3 NER |
| Altri autori (Persone) | SHORE, Richard A. |
| Collana | Graduate texts in computer science |
| Soggetto topico |
Matematica applica agli elaboratori
Logica simbolica Logica matematica |
| ISBN | 0-387-94893-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001187650203316 |
|
NERODE, Anil
|
||
| New York [etc.] : Springer, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for applications / Anil Nerode, Richard A. Shore
| Logic for applications / Anil Nerode, Richard A. Shore |
| Autore | NERODE, Anil |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : Springer Verlag, c1997 |
| Descrizione fisica | XIII, 456 p. : ill. ; 25 cm |
| Altri autori (Persone) | SHORE, Richard A. |
| Collana | Graduate texts in computer science |
| Soggetto topico |
Elaboratori elettronici - Matematica
Logica matematica |
| ISBN | 0-387-94893-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000306080203316 |
|
NERODE, Anil
|
||
| New York : Springer Verlag, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for applications / Anil Nerode, Richard A. Shore
| Logic for applications / Anil Nerode, Richard A. Shore |
| Autore | NERODE, Anil |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | XVII, 365 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | SHORE, Richard A. |
| Collana | Text and monographs in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Logica matematica |
| ISBN | 3-540-94129-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000237300203316 |
|
NERODE, Anil
|
||
| New York [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical foundations of computer science : International symposium, LFCS 2007 : New York, NY, USA, June 4-7, 2007 : proceedings / Sergei N. Artemov, Anil Nerode (Eds.)
| Logical foundations of computer science : International symposium, LFCS 2007 : New York, NY, USA, June 4-7, 2007 : proceedings / Sergei N. Artemov, Anil Nerode (Eds.) |
| Autore | International symposium, LFCS 2007 : 2007; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | XI, 511 p. : ill. ; 24 cm |
| Disciplina | 005.13 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Linguaggi di programmazione - Congressi - New York - 2007 |
| ISBN | 978-3-540-72732-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003078600203316 |
|
International symposium, LFCS 2007 : 2007; >
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical foundations of computer science : International symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings / Sergei Artemov, Anil Nerode (Eds.)
| Logical foundations of computer science : International symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings / Sergei Artemov, Anil Nerode (Eds.) |
| Autore | International symposium, LFCS 2009 : <2009 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XI, 467 p. : ill. ; 24 cm |
| Disciplina | 005.13 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Linguaggi di programmazione - Congressi - Deerfield Beach - 2009 |
| ISBN | 978-3-540-92686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003192190203316 |
|
International symposium, LFCS 2009 : <2009
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||