Automata, languages and programming : seventh colloquium Noordwijkerhout, the Netherlands July 14-18, 1980 / edited by J.W. de Bakker, J. van Leeuwen
| Automata, languages and programming : seventh colloquium Noordwijkerhout, the Netherlands July 14-18, 1980 / edited by J.W. de Bakker, J. van Leeuwen |
| Autore | Colloquium on automata, languages and programming : <7. ; : 1980 |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1980 |
| Descrizione fisica | 671 p. : ill. ; 24 cm |
| Disciplina | 628.891 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Teoria delle macchine sequenziali - Congressi |
| ISBN | 3-540-10003-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470420403321 |
| Colloquium on automata, languages and programming : <7. ; : 1980 | ||
| Berlin ; Heidelberg : Springer-Verlag, 1980 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Computer Science / J.W. De Bakker (ed.)
| Foundations of Computer Science / J.W. De Bakker (ed.) |
| Autore | Bakker, Jacobus Willem : de |
| Edizione | [2nd printing] |
| Pubbl/distr/stampa | Amsterdam : Mathematische Centrum, 1975 |
| Disciplina | 510.78 |
| Collana | Mathematical Centre Tracts |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 90-6196-111-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000981420403321 |
Bakker, Jacobus Willem : de
|
||
| Amsterdam : Mathematische Centrum, 1975 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of computer science IV distributed systems : Part 1, Algorithms and complexity Part 2, Semantic and logic / Eds. J.W. De Bakker, J. Van Leeuwen
| Foundations of computer science IV distributed systems : Part 1, Algorithms and complexity Part 2, Semantic and logic / Eds. J.W. De Bakker, J. Van Leeuwen |
| Pubbl/distr/stampa | Amsterdam : Mathematische Centrum, 1983 |
| Collana | Mathematical Centre Tracts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001291130403321 |
| Amsterdam : Mathematische Centrum, 1983 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Languages for parallel architectures : design, semantics, implementation models / ed. J. W. de Bakker
| Languages for parallel architectures : design, semantics, implementation models / ed. J. W. de Bakker |
| Autore | Bakker, Jacobus Willem : de |
| Descrizione fisica | 273 p. ; 24 cm |
| Collana | Wiley series in parallel computing |
| Soggetto topico |
Computer architecture
Computer science Electronic computers Parallel programming Programming languages |
| ISBN | 0471921777 |
| Classificazione | QA76.6.L3353 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001057179707536 |
Bakker, Jacobus Willem : de
|
||
| Lo trovi qui: Univ. del Salento | ||
| ||
Recursive Procedures / J.W. De Bakker
| Recursive Procedures / J.W. De Bakker |
| Autore | Bakker, Jacobus Willem : de |
| Pubbl/distr/stampa | Amsterdam : Matematisch Centrum, 1971 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000981430403321 |
Bakker, Jacobus Willem : de
|
||
| Amsterdam : Matematisch Centrum, 1971 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||