Refine your search
Availability
-
Authors
- Alur, Rajeev (5)
- Bernardo, Marco (10)
- Bjørner, Dines (5)
- Broy, Manfred (10)
- Börger, Egon (9)
- Ehrig, Hartmut (15)
- Graf, Susanne (10)
- Hartenstein, Reiner W. (5)
- Hermanns, Holger (7)
- Hinchey, Michael G. (6)
- Leeuwen, Jan (5)
- Levi, Giorgio (6)
- Montanari, Ugo (10)
- Mosses, Peter D. (5)
- Möller, Bernhard (8)
- Nerode, Anil (8)
- Nipkow, Tobias (7)
- Richter, Michael M. (5)
- Roever, Willem-Paul (8)
- Rossi, Francesca (9)
- Rozenberg, Grzegorz (26)
- Rudolph, Larry (6)
- Stafford, Judith A. (7)
- Voronkov, Andrei (21)
- Wirsing, Martin (11)
- Show more
- Show less
-
Item types
- E-Books (1761)
-
Series
- Intelligent Systems, Control and Automation: Scien... (1)
- Lecture Notes Electrical Engineering (1)
- Lecture Notes in Artificial Intelligence (1)
- Lecture Notes in Computer Science (1718)
- Lecture Notes in Computer Science, Lecture Notes i... (15)
- Lecture Notes in Electrical Engineering (6)
- Springer Series in Advanced Microelectronics (1)
- SpringerBriefs in Electrical and Computer Engineer... (1)
- Studies in Computational Intelligence (1)
- Systems on silicon (1)
- Show more
- Show less
-
Topics
- Algorithm Analysis and Problem Complexity (320)
- Artificial intelligence (526)
- Artificial Intelligence (incl. Robotics) (526)
- Combinatorics (38)
- Computation by Abstract Devices (348)
- Computer Communication Networks (410)
- Computer science (1735)
- Computer Science (1730)
- Computer software (315)
- Engineering (27)
- Logic design (1759)
- Logic Design (147)
- Logic, Symbolic and mathematical (81)
- Logics and Meanings of Programs (1642)
- Management of Computing and Information Systems (134)
- Mathematical Logic and Formal Languages (845)
- Mathematical Logic and Foundations (81)
- Operating Systems (116)
- Operating systems (Computers) (128)
- Processor Architectures (87)
- Programming Languages, Compilers, Interpreters (864)
- Programming Techniques (561)
- Software engineering (1107)
- Software Engineering (1048)
- Special Purpose and Application-Based Systems (124)
- Show more
- Show less