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 : Automata and Structures / Erwin Engeler
| Formal Languages : Automata and Structures / Erwin Engeler |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Chicago : Markham, 1968 |
| Disciplina | 510.78 |
| Collana | Lectures in Advanced Mathematics |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000989160403321 |
Engeler, Erwin
|
||
| Chicago : Markham, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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: automata and structures / BY ENGELER,E
| Formal languages: automata and structures / BY ENGELER,E |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Chicago : Markham, 1968 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001245290403321 |
|
Engeler, Erwin
|
||
| Chicago : Markham, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic of programs : workshop, ETH Zurich, May-July 1979 / edited by Erwin Engeler
| Logic of programs : workshop, ETH Zurich, May-July 1979 / edited by Erwin Engeler |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | 245 p. : ill. ; 25 cm. |
| Disciplina |
001.6425
511.3 |
| Soggetto topico |
Computer programs - Congresses
Computer science - Congresses Symbolic logic - Congresses |
| ISBN | 3540111603 |
| Classificazione |
AMS 68-06
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001095289707536 |
|
Engeler, Erwin
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Symposium on Semantics of Algorithmic Languages / Edite by E. Engeler
| Symposium on Semantics of Algorithmic Languages / Edite by E. Engeler |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1971 |
| Disciplina | 510.78 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-540-05377-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000989170403321 |
|
Engeler, Erwin
|
||
| Berlin [etc.] : Springer-Verlag, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symposium on semantics of algorithmic languages / edited by E. Engeler
| Symposium on semantics of algorithmic languages / edited by E. Engeler |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1971 |
| Descrizione fisica | 372 p. ; 26 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 188 |
| Soggetto topico |
Computer algorithms - Congresses
Formal languages - Congresses Programming languages-semantics - Congresses |
| ISBN | 3540053778 |
| Classificazione |
510.65
621.3.8 AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001408729707536 |
|
Engeler, Erwin
|
||
| Berlin ; New York : Springer-Verlag, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Symposium on Semantics of Algorithmic Languages / edited by E. Engeler
| Symposium on Semantics of Algorithmic Languages / edited by E. Engeler |
| Pubbl/distr/stampa | Berlin, : Springer, 1971 |
| Descrizione fisica | vi, 366 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N17 - Logic programming [MSC 2020] 68Q45 - Formal languages and automata [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] 68P20 - Information storage and retrieval of data (aspects in computer science) [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Algebra
Semantics Semantics of Algorithmic Languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255411 |
| Berlin, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||