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.
Formal languages / Arto Salomaa
| Formal languages / Arto Salomaa |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | New York : Academic Press, 1973 |
| Descrizione fisica | XIII, 322 p. : ill. ; 23 cm |
| Disciplina | 5113 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000152130203316 |
Salomaa, Arto
|
||
| New York : Academic Press, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
| Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Pubbl/distr/stampa | Reading (Mass.) [etc.] : Addison-Wesley, copyr. 1969 |
| Descrizione fisica | X, 242 p. : ill. ; 23 cm |
| Disciplina | 5113 |
| Collana | Addison-Wesley series in computer science and information processing |
| Soggetto non controllato |
linguaggi formali
logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000100290203316 |
|
Hopcroft, John E.
|
||
| Reading (Mass.) [etc.] : Addison-Wesley, copyr. 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph drawing : DIMACS International workshop, GD '94 : Princeton, New Jersey, USA, October 10-12, 1994 : proceedings / Roberto Tamassia, Ioannis G. Tollis (eds.)
| Graph drawing : DIMACS International workshop, GD '94 : Princeton, New Jersey, USA, October 10-12, 1994 : proceedings / Roberto Tamassia, Ioannis G. Tollis (eds.) |
| Autore | International workshop GD'94 : 1994 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | X, 469 p. : ill. ; 25 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - princeton - 1994
grafi - congressi - 1994 |
| ISBN | 3-540-58950-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211540203316 |
|
International workshop GD'94 : 1994
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph drawing : symposium on graph drawing, GD '95: Passau, Germany, September 20-22, 1995 : proceedings / Franz J. Brandenburg (ed.)
| Graph drawing : symposium on graph drawing, GD '95: Passau, Germany, September 20-22, 1995 : proceedings / Franz J. Brandenburg (ed.) |
| Autore | Symposium on graph drawing GD'95 : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | XII, 526 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - passau - 1995
grafi - congressi - 1995 |
| ISBN | 3-540-60723-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211850203316 |
|
Symposium on graph drawing GD'95 : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph drawing : Symposium on graph drawing, GD '96: Berkeley, California, USA, September 18-20, 1996 : proccedings / Stephen North (ed.)
| Graph drawing : Symposium on graph drawing, GD '96: Berkeley, California, USA, September 18-20, 1996 : proccedings / Stephen North (ed.) |
| Autore | Symposium on graph drawing GD'96 : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XI, 408 p. : ill. ; 23 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - berkeley - 1996
fisica sperimentale grafi - congressi - 1996 |
| ISBN | 3-540-62495-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205590203316 |
|
Symposium on graph drawing GD'96 : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 1993 : proceedings / Hans Jürgen Schneider (ed.)
| Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 1993 : proceedings / Hans Jürgen Schneider (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | VIII, 394 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - dagstuhl castel - 1993
grafi - congressi - 1993 |
| ISBN | 3-540-57787-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202650203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hyperedge replacement : grammars and languages / A. Habel
| Hyperedge replacement : grammars and languages / A. Habel |
| Autore | Habel, Annegret |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | X, 214 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
grafi
ipergrafi |
| ISBN | 3-540-56005-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203800203316 |
|
Habel, Annegret
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lezioni di logica matematica / Gabriele Lolli
| Lezioni di logica matematica / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, copyr. 1978 |
| Descrizione fisica | 199 p. : ill. ; 21 cm |
| Disciplina | 5113 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000257880203316 |
|
LOLLI, Gabriele
|
||
| Torino : Boringhieri, copyr. 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lindenmayer systems : structure, languages and growth functions / P. M. B. Vitanyi
| Lindenmayer systems : structure, languages and growth functions / P. M. B. Vitanyi |
| Autore | Vitanyi, P. M. B. |
| Pubbl/distr/stampa | Amsterdam : Mathematisch Centrum, 1980 |
| Descrizione fisica | VII, 209 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Mathematical centre tracts |
| Soggetto non controllato |
biologia - sviluppo - modelli matematici
linguaggi formali linguaggi macchina |
| ISBN | 90-6196-164-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000222650203316 |
|
Vitanyi, P. M. B.
|
||
| Amsterdam : Mathematisch Centrum, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Machine learning : from theory to applications : cooperative research at Siemens and MIT / S. J. Hanson (ed.)
| Machine learning : from theory to applications : cooperative research at Siemens and MIT / S. J. Hanson (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VIII, 271 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | teoria delle macchine |
| ISBN | 3-540-56483-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203850203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
