Refine your search
Availability
-
Authors
- Alur, Rajeev (5)
- Bjørner, Dines (5)
- Bowen, Jonathan P. (9)
- Broy, Manfred (12)
- Bubak, Marian (14)
- Conradi, Reidar (5)
- Dongarra, Jack (41)
- Dongarra, Jack J. (8)
- Ehrig, Hartmut (17)
- Hertzberger, Bob (6)
- Hinchey, Michael G. (8)
- Ito, Takayasu (5)
- Leeuwen, Jan (8)
- Müller, Jörg P. (11)
- Omicini, Andrea (10)
- Paar, Christof (6)
- Prasanna, Viktor K. (11)
- Rozenberg, G. (6)
- Rozenberg, Grzegorz (23)
- Sloot, Peter M. A. (26)
- Strohmeier, Alfred (6)
- Tan, C. J. Kenneth (15)
- Unland, Rainer (12)
- Wirsing, Martin (13)
- Yonezawa, Akinori (6)
- Show more
- Show less
-
Item types
- E-Books (3263)
-
Series
- Advanced Topics in Science and Technology in China (1)
- Collection Télécom (1)
- Embedded Systems (1)
- Integrated Circuits and Systems (1)
- Lecture Notes in Computer Science (3202)
- Lecture Notes in Computer Science, Lecture Notes i... (22)
- Lecture Notes in Computer Science, Lecture Notes i... (1)
- Lecture Notes in Electrical Engineering (5)
- Series on Integrated Circuits and Systems (1)
- Springer Series in Reliability Engineering (2)
- Studies in Computational Intelligence (1)
- Show more
- Show less
-
Topics
- Algorithm Analysis and Problem Complexity (666)
- Artificial intelligence (864)
- Artificial Intelligence (incl. Robotics) (864)
- Business Information Systems (135)
- Computation by Abstract Devices (322)
- Computer Communication Networks (1339)
- Computer science (3257)
- Computer Science (3232)
- Computer software (563)
- Information systems (658)
- Information Systems (432)
- Information Systems Applications (incl.Internet) (487)
- Logic design (1103)
- Logics and Meanings of Programs (1224)
- Management information systems (190)
- Management of Computing and Information Systems (487)
- Mathematical Logic and Formal Languages (663)
- Operating Systems (308)
- Operating systems (Computers) (335)
- Programming Languages, Compilers, Interpreters (1024)
- Programming Techniques (832)
- Software engineering (3262)
- Software Engineering (2729)
- Software Engineering/Programming and Operating Sys... (373)
- Special Purpose and Application-Based Systems (456)
- Show more
- Show less