Algol theorie et pratique / J. Arsac, A. Lentin, M. Nivat, L. Nolin |
Autore | Arsac, J. |
Pubbl/distr/stampa | Paris : Gauthier-Villars, 1965 |
Disciplina | 005.133 |
Soggetto non controllato | Algol - Guide |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990001124130403321 |
Arsac, J. | ||
Paris : Gauthier-Villars, 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata on infinite words : Ecole de Printemps d'informatique theorique, Le Mont Dore, may 14-18, 1984 / edited by M. Nivat, D. Perrin |
Autore | Ecole de Printemps d'Informatique Theorique : <1984 |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, ©1985 |
Descrizione fisica | 215 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Teoria delle macchine - Congressi |
ISBN | 3-540-15641-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000470540403321 |
Ecole de Printemps d'Informatique Theorique : <1984 | ||
Berlin ; Heidelberg : Springer-Verlag, ©1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata, languages and programming : proceedings of a symposium organized by IRIA Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France, July 3-7, 1972 / edited by M. Nivat |
Autore | Nivat, M. |
Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : American Elsevier, 1973 |
Descrizione fisica | 622 p. ; 23 cm. |
Disciplina | 001.6464 |
Altri autori (Enti) | Institut de recherche d'informatique et d'automatique |
Soggetto topico |
Programming
Programming languages |
ISBN | 0720420741 |
Classificazione | AMS 68N15 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000708149707536 |
Nivat, M. | ||
Amsterdam : North-Holland ; New York : American Elsevier, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Automata, languages and programming : Proceedings of a symposium organized by IRIA, Rocquencourt, France, July 3-7, 1972 / edited by M. Nivat |
Autore | Symposium on automata, languages and programming : <1972 |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1973 |
Disciplina | 510.78 |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale - Congressi |
ISBN | 0-444-10426-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001039690403321 |
Symposium on automata, languages and programming : <1972 | ||
Amsterdam [etc.] : North-Holland, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|