Computability and complexity : from a programming perspective / Neil D. Jones |
Autore | Jones, Neil D. |
Pubbl/distr/stampa | Cambridge [etc.] : The MIT Press, copyr. 1997 |
Descrizione fisica | XVI, 466 p. : ill. ; 20 cm |
Disciplina | 005.131 |
Soggetto non controllato |
Linguaggi formali
Complessità computazionale |
ISBN | 0-262-10064-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000491230203316 |
Jones, Neil D.
![]() |
||
Cambridge [etc.] : The MIT Press, copyr. 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic language and computation / Neil D. Jones ... [et al.] (eds.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | XII, 269 p. : ill. ; 24 cm |
Disciplina | 005131 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
elaborazione elettronica
linguaggi di programmazione logica matematica |
ISBN | 3-540-57935-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000202870203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic, language and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | XII, 269 p. ; 24 cm |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Takasu, Satoru <1931- >
Informatica |
ISBN |
0387579354
3540579354 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10006365 |
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Tempo : A Unified Treatement in Programming Languages / by Neil D. Jones, Steve S. Muchnick |
Autore | Jones, Neil D. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1978 |
Descrizione fisica | IX, 118 |
Collana | Lecture notes in computer science |
ISBN | 3-540-09085 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001319090403321 |
Jones, Neil D.
![]() |
||
Berlin : Springer-Verlag, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification, Model Checking, and Abstract Interpretation [Risorsa elettronica] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540939009 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009259100403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|