Refine your search
Availability
-
Authors
- Baier, Christel
- Beyer, Dirk
- Biere, Armin
- Bouyer, Patricia
- Carnell, John
- Dal Lago, Ugo
- Fisman, Dana
- Guerra, Esther
- Hilpisch, Yves J.
- Huaylupo Sánchez, Illary
- Huisman, Marieke
- Impedovo, Donato
- Johnsen, Einar Broch
- Lauret, Arnaud
- Mayer, Christian
- Micheloni, Rino
- Müller, Peter
- PIRLO, Giuseppe
- Parker, David
- Patel, Ankur A.
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms & data structures
- Application software
- Artificial intelligence
- Computer science
- Development
- Mathematical theory of computation
- Natural language & machine translation
- Python (Computer program language)
- Software Engineering
- Systems analysis & design
- Theory of Computation
- artificial intelligence
- distributed computer systems
- embedded systems
- formal logic
- model checking
- program compilers
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages