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.
Language and Automata Theory and Applications [Risorsa elettronica] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / 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, Carlos Martín-Vide, Friedrich Otto, Henning Fernau
| Language and Automata Theory and Applications [Risorsa elettronica] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / 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, Carlos Martín-Vide, Friedrich Otto, Henning Fernau |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540882824 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009257670403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
String-rewriting systems / Ronald V. Book, Friedrich Otto
| String-rewriting systems / Ronald V. Book, Friedrich Otto |
| Autore | Book, Ronald V. |
| Pubbl/distr/stampa | New York [etc.], : Springer, c1993 |
| Descrizione fisica | VIII, 189 p. ; 25 cm |
| Disciplina |
005.13
005.131 |
| Altri autori (Persone) | Otto, Friedrich |
| Collana | Texts and monographs in computer science |
| Soggetto topico |
Logica matematica
Logica simbolica Elaboratori elettronici - Programmazione |
| ISBN |
0387979654
3540979654 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10000363 |
Book, Ronald V.
|
||
| New York [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||