Refine your search
Availability
-
Authors
- Bakker, J. W. de
- Bochmann, Gregor von
- Chaghaghi, Francois S.
- Ehrig, Hartmut
- Encarnação, José Luis
- Genrich, H.
- Goldblatt, Robert
- Gordon, Michael J. C.
- Gruska, Jozef
- Karpínski, Marek
- Kruzela, Ivan
- Protasi, M.
- Ramos, I.
- Sandford, David M.
- Schneider, Hans-Jochen
- Seyr, Katrin
- Svensson, Bertil
- Wadsworth, Christopher P.
- Wirth, Niklaus
- Yao, S. Bing
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Array processors
- Automatic theorem proving
- Computable functions
- Computational complexity
- Computer architecture
- Computer programming
- Computer-aided design
- Data structures (Computer science)
- Database design
- Database management
- Electronic data processing
- Engineering design
- Machine theory
- Mathematics
- Pascal (Computer program language)
- Programming languages (Electronic computers)
- Softwareentwicklung
- Theoretische Informatik
- Show more
- Show less
-
Titles