Refine your search
Availability
-
Authors
- Aguiar, Ademar
- Baier, Christel
- Bast, Hannah
- Bentley, Caitlin M.
- Berthold, Michael
- Bertogna, Marko
- Beyer, Dirk
- Bouyer, Patricia
- Caires, Luís
- Chib, Arul
- Dal Lago, Ugo
- Duzha, Armend
- Feelders, Ad
- Ferreira, Carla
- Garbajosa, Juan
- Guerra, Esther
- Hilpisch, Yves J.
- Huisman, Marieke
- Johnsen, Einar Broch
- Kiefer, Stefan
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Lecture Notes in Business Information Processing
- Lecture Notes in Computer Science
- Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI
- Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
- Texts in Computational Science and Engineering
- Theoretical Computer Science and General Issues
- Show more
- Show less
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer programming
- Computer programming / software development
- Computer programming / software engineering
- Computer science
- Databases
- Information technology: general issues
- Mathematical theory of computation
- Natural language & machine translation
- Software Engineering
- artificial intelligence
- formal logic
- formal methods
- parallel processing systems
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages