Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa
| Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa |
| Pubbl/distr/stampa | Amsterdam : North-Holland |
| Descrizione fisica | 2 v. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Demetrovics, Janós
Katona, G. Salomaa, Arto |
| Altri autori (Convegni) | Colloquium on algebra, combinatories, and logic in computer Science <1983 ; Györ, Hungary> |
| Collana | Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 42 |
| Soggetto topico |
Computer arithmetic - Congresses
Algebra - Congresses Symbolic and mathematical logic - Congresses |
| ISBN | 0444878696 (set) |
| Classificazione |
LC QA76.9.C62
AMS 03-06 AMS 05-06 AMS 68-06 AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000652819707536 |
| Amsterdam : North-Holland | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automata, languages and programming : 15th International Colloquium Tampere, Finland, July 11-15, 1988 / Edit by Timo Lepisto and Arto Salomaa
| Automata, languages and programming : 15th International Colloquium Tampere, Finland, July 11-15, 1988 / Edit by Timo Lepisto and Arto Salomaa |
| Autore | Lepisto, Timo |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1988 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001210210403321 |
Lepisto, Timo
|
||
| Berlin [etc.] : Springer-Verlag, 1988 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata, languages and programming : Fourth Colloquium, University of Turku, Finland July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
| Automata, languages and programming : Fourth Colloquium, University of Turku, Finland July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-540-08342-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001022370403321 |
| Berlin [etc.] : Springer-Verlag, 1977 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1997 / Arto Salomaa ... [et al.] (eds.)
| Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1997 / Arto Salomaa ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1977 |
| Descrizione fisica | X, 569 p. : ill. ; 24 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - turku - 1977
elaboratori elettronici - programmazione - congressi - 1977 linguaggi di programmazione - congressi - 1977 teoria delle macchine - congressi - 1977 |
| ISBN | 3-540-08342-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207640203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1977 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata-theoretic aspects of formal power series / by Salomaa Arto and Soittola Matti
| Automata-theoretic aspects of formal power series / by Salomaa Arto and Soittola Matti |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1978 |
| Descrizione fisica | Texts and Monographs in Computer Science |
| Soggetto non controllato | Computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001279000403321 |
Salomaa, Arto
|
||
| New York [etc.] : Springer-Verlag, 1978 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation and automata / Arto Salomaa
| Computation and automata / Arto Salomaa |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, stampa 1989 |
| Descrizione fisica | XIII, 284 p. ; 25 cm. |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-05-213-0245-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051630 |
Salomaa, Arto
|
||
| Cambridge, : Cambridge university, stampa 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation and automata / Arto Salomaa
| Computation and automata / Arto Salomaa |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, stampa 1989 |
| Descrizione fisica | XIII, 284 p. ; 25 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-05-213-0245-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0051630 |
Salomaa, Arto
|
||
| Cambridge, : Cambridge university, stampa 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation and automata / Arto Salomaa
| Computation and automata / Arto Salomaa |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, stampa 1989 |
| Descrizione fisica | XIII, 284 p. ; 25 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 978-05-213-0245-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051630 |
Salomaa, Arto
|
||
| Cambridge, : Cambridge university, stampa 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation and automata / A. Salomaa
| Computation and automata / A. Salomaa |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1985 |
| Descrizione fisica | XIII, 284 p. ; 24 cm |
| Disciplina |
510.78
511 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale Computation and automata |
| ISBN | 0-521-30245-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001089740403321 |
Salomaa, Arto
|
||
| Cambridge : Cambridge University Press, 1985 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Current trends in theoretical computer science : essays and tutorials / edited by G. Rozenberg and A. Salomaa
| Current trends in theoretical computer science : essays and tutorials / edited by G. Rozenberg and A. Salomaa |
| Pubbl/distr/stampa | Singapore [etc.] : World Scientific, copyr. 1993 |
| Descrizione fisica | IX, 628 p. : ill. ; 22 cm |
| Disciplina | 00401 |
| Collana | World scientific series in computer science |
| Soggetto non controllato |
elaborazione elettronica - modelli matematici
informatica |
| ISBN | 981-02-1462-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000240300203316 |
| Singapore [etc.] : World Scientific, copyr. 1993 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||