Refine your search
Availability
-
Authors
- Baier, Christel
- Brinksma, Ed
- Broy, Manfred
- Chechik, Marsha
- Guan, Nan
- Haverkort, Boudewijn...
- Hermanns, Holger
- Jonsson, Bengt
- Katoen, Joost-Pieter
- Katoen, Jost-Pieter
- König, Barbara
- Langerak, Rom
- Leucker, Martin
- Pretschner, Alexande...
- Rensink, Arend
- Siegle, Markus
- Stevens, Perdita
- Sun, Jun
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms
- Compilers (Computer ...
- Compilers and Interp...
- Computer Communicati...
- Computer engineering
- Computer Engineering...
- Computer Modelling
- Computer networks
- Computer science
- Computer Science Log...
- Computer simulation
- Computers, Special p...
- Control Structures a...
- Formal Languages and...
- Machine theory
- Microprogramming
- Software engineering
- Software Engineering
- Special Purpose and ...
- Theory of Computatio...
- Show more
- Show less