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.
Automata, languages and programming : 12th colloquium, Nafplion, Greece,July 15-19, 1985 / Wilfried Brauer (ed.)
| Automata, languages and programming : 12th colloquium, Nafplion, Greece,July 15-19, 1985 / Wilfried Brauer (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1985 |
| Descrizione fisica | VII, 519 p. : ill. ; 24 cm |
| Disciplina | 00513 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - nafplion - 1985
elaboratori elettronici - programmazione - congressi - 1985 linguaggi di programmazione - congressi - 1985 teoria delle macchine - congressi - 1985 |
| ISBN | 3-540-15650-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207620203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal and natural computing : Essays dedicated to Grzegorz Rozenberg / Wilfried Braurer... <et al.> (Eds.)
| Formal and natural computing : Essays dedicated to Grzegorz Rozenberg / Wilfried Braurer... <et al.> (Eds.) |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr.2002 |
| Descrizione fisica | XXXVI,429 p. : ill. ; 20 cm |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-43190-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001159240203316 |
| Berlin : Springer-Verlag, copyr.2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
| Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | 442 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Collana | NATO ASI series, . Series F, Computer and systems sciences |
| Soggetto topico |
Logica matematica - Congressi - 1991
Logica simbolica - Congressi - 1991 Informatica - Metodi matematici |
| ISBN |
0387558136
3540558136 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10001456 |
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Net Theory and Applications : Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8-19, 1979 / edited by Wilfried Brauer
| Net Theory and Applications : Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8-19, 1979 / edited by Wilfried Brauer |
| Autore | Brauer, Wilfried |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1980 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-10001-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000967540403321 |
Brauer, Wilfried
|
||
| Berlin [etc.] : Springer-Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||