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.
A tight, pratical integration of relations and functions / Harold Boley
| A tight, pratical integration of relations and functions / Harold Boley |
| Autore | Boley, Harold |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | XI, 169 p. : ill. ; 24 cm |
| Disciplina | 005.13 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
linguaggi di programmazione
linguaggi formali |
| ISBN | 3-540-66644-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200160203316 |
Boley, Harold
|
||
| Berlin : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability, complexity and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, ElaineJ. Weyuker
| Computability, complexity and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, ElaineJ. Weyuker |
| Autore | Davis, Martin D. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Boston [etc.] : Adademic Press, copyr. 1994 |
| Descrizione fisica | XVIII, 609 p. : ill. ; 24 cm. - (Computer science and scientific computing) |
| Disciplina | 5113 |
| Soggetto non controllato |
complessita' computazionale
linguaggi formali teoria delle macchine |
| ISBN | 0-12-206382-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000246800203316 |
|
Davis, Martin D.
|
||
| Boston [etc.] : Adademic Press, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability, complexity and languages : fundamentals of theoretical science / Martin D. Davsi, Elaine J. Weyuker
| Computability, complexity and languages : fundamentals of theoretical science / Martin D. Davsi, Elaine J. Weyuker |
| Autore | Davis, Martin D. |
| Pubbl/distr/stampa | Orlando (Fla.) [etc.] : Academic Press, 1983 |
| Descrizione fisica | XIX, 425 p. ; 24 cm |
| Collana | a series of monographs andtextbooks |
| Soggetto non controllato |
linguaggi formali
teoria delle macchine |
| ISBN | 0-12-206380-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000106500203316 |
|
Davis, Martin D.
|
||
| Orlando (Fla.) [etc.] : Academic Press, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DNA computing : new computing paradigms / Gheorghe Paun, Grzegorz Rozenberg ; Arto Salomaa
| DNA computing : new computing paradigms / Gheorghe Paun, Grzegorz Rozenberg ; Arto Salomaa |
| Autore | Paun, Gheorghe |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1998 |
| Descrizione fisica | IX, 402 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Soggetto non controllato |
elaborazione elettronica
linguaggi formali teoria delle macchine |
| ISBN | 3-540-64196-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000249300203316 |
|
Paun, Gheorghe
|
||
| Berlin [etc.] : Springer Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Finiteness and regularity in semigroups and formal languages / Aldo De Luca, Stefano Varricchio
| Finiteness and regularity in semigroups and formal languages / Aldo De Luca, Stefano Varricchio |
| Autore | De_Luca, Aldo |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | X, 240 p. : ill. ; 24 cm |
| Disciplina | 5122 |
| Soggetto non controllato |
linguaggi formali
semigruppi |
| ISBN | 3-540-63771-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000251770203316 |
|
De_Luca, Aldo
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal languages : automata and structures / Erwin Engeler
| Formal languages : automata and structures / Erwin Engeler |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Chicago : Markham Publishing Company, copyr. 1968 |
| Descrizione fisica | VII, 81 p. : ill. ; 23 cm |
| Disciplina | 5113 |
| Collana | Lectures in advanced mathematics |
| Soggetto non controllato | linguaggi formali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000199660203316 |
|
Engeler, Erwin
|
||
| Chicago : Markham Publishing Company, copyr. 1968 | ||
| 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 | ||
| ||
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 | ||
| ||
Machines, languages and complexity : 5th international meeting, Smolenice Czechoslovakia, November 14-18, 1988 / J. Dassow, J. Kelemen (eds.)
| Machines, languages and complexity : 5th international meeting, Smolenice Czechoslovakia, November 14-18, 1988 / J. Dassow, J. Kelemen (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1989 |
| Descrizione fisica | VI, 244 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
algoritmi
intelligenza artificiale linguaggi formali teoria delle macchine |
| ISBN | 3-540-51516-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202830203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Teoria degli algoritmi e della calcolabilita' / Giorgio Ausiello
| Teoria degli algoritmi e della calcolabilita' / Giorgio Ausiello |
| Autore | Ausiello, Giorgio |
| Pubbl/distr/stampa | Roma : Edizioni Scientifiche SIDEREA, copyr. 1990 |
| Descrizione fisica | 158 p. : ill. ; 24 cm |
| Disciplina | 5118 |
| Soggetto non controllato |
algoritmi
elaborazione elettronica - modelli matematici linguaggi formali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000269100203316 |
|
Ausiello, Giorgio
|
||
| Roma : Edizioni Scientifiche SIDEREA, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||