Refine your search
Availability
-
Authors
- Aguiar, Ademar
- Amaral, Vasco
- Anido, Luis
- Baier, Christel
- Bast, Hannah
- Bentley, Caitlin M.
- Berthold, Michael
- Beyer, Dirk
- Bieder, Corinne
- Biere, Armin
- Burrows, Andrea
- Donnat, Frederic
- Fisman, Dana
- Golasowski, Martin
- Groote, Jan Friso
- Huisman, Marieke
- Larsen, Kim Guldstrand
- Martinovič, Jan
- Rosu, Grigore
- Vermesan, Ovidiu
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Communications in Computer and Information Science
- Human–Computer Interaction Series; SpringerBriefs in Human-Computer Interaction
- 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
- SpringerBriefs in Applied Sciences and Technology
- SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs
- SpringerBriefs in Applied Sciences and Technology; SpringerBriefs in Safety Management
- Texts in Computational Science and Engineering
- Theoretical Computer Science and General Issues
- Show more
- Show less
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer Systems Organization and Communication Networks
- Computer networking & communications
- Computer science
- Computers
- Mathematical theory of computation
- Software Engineering
- Software engineering
- Theory of Computation
- artificial intelligence
- formal logic
- formal methods
- model checking
- parallel processing systems
- program compilers
- semantics
- software engineering
- verification
- Программирование
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages