Refine your search
Availability
-
Authors
- Achten, Peter
- Bramer, Max
- Clarke, Dave
- Dastani, Mehdi
- Felleisen, Matthias
- Fokker, Jeroen D.
- Frey, Davide
- Gorp, Pieter Van
- Hartman, Roel
- Hill, Richard
- Hirsch, Laurie
- Kalkan, Sinan
- Kasahara, Hironori
- Logozzo, Francesco
- Rajopadhye, Sanjay
- Ringeissen, Christop...
- Singh, Neeraj Kumar
- Veanes, Margus
- Voronkov, Andrei
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms
- Computer logic
- Computer programming
- Computer science
- Computer Science
- Computer Science, ge...
- Database Management
- Information storage ...
- Input-output equipme...
- Models and Principle...
- Performance and Reli...
- Programming language...
- Programming Techniqu...
- Software engineering
- Show more
- Show less