Refine your search
Availability
-
Authors
- Ao, Sio-Iong (6)
- Bjørner, Dines (5)
- Broy, Manfred (12)
- Bubak, Marian (14)
- Conradi, Reidar (5)
- Dongarra, Jack (41)
- Dongarra, Jack J. (8)
- Ehrig, Hartmut (17)
- Hertzberger, Bob (6)
- Lee, Roger (12)
- Leeuwen, Jan (8)
- Mosses, Peter D. (5)
- Müller, Jörg P. (12)
- 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)
- Waśniewski, Jerzy (11)
- Wirsing, Martin (13)
- Yonezawa, Akinori (6)
- Show more
- Show less
-
Item types
- E-Books (3367)
-
Series
- Advanced Topics in Science and Technology in China (1)
- Advances in Intelligent and Soft Computing (5)
- Advances in Intelligent Systems and Computing (6)
- Analog Circuits and Signal Processing (1)
- CISM International Centre for Mechanical Sciences,... (1)
- Collection Télécom (1)
- Embedded Systems (3)
- Integrated Circuits and Systems (2)
- Intelligent Systems, Control, and Automation: Scie... (2)
- Lecture Notes in Computer Science (3207)
- Lecture Notes in Computer Science, Lecture Notes i... (22)
- Lecture Notes in Computer Science, Lecture Notes i... (1)
- Lecture Notes in Electrical Engineering (20)
- Mathematical Engineering (1)
- Proceedings of the I-ESA Conferences (1)
- Series on Integrated Circuits and Systems (1)
- Signals and Communication Technology (1)
- Springer Series in Advanced Manufacturing (1)
- Springer Series in Reliability Engineering (2)
- SpringerBriefs in Electrical and Computer Engineer... (1)
- Studies in Computational Intelligence (20)
- Studies in Fuzziness and Soft Computing (3)
- Show more
- Show less
-
Topics
- Algorithm Analysis and Problem Complexity (669)
- Artificial intelligence (879)
- Artificial Intelligence (incl. Robotics) (879)
- Business Information Systems (140)
- Computer Communication Networks (1340)
- Computer science (3257)
- Computer Science (3232)
- Computer software (566)
- Engineering (141)
- Information systems (662)
- Information Systems (438)
- Information Systems Applications (incl.Internet) (487)
- Logic design (1107)
- Logics and Meanings of Programs (1226)
- Management information systems (195)
- Management of Computing and Information Systems (493)
- Mathematical Logic and Formal Languages (663)
- Operating Systems (308)
- Operating systems (Computers) (335)
- Programming Languages, Compilers, Interpreters (1024)
- Programming Techniques (832)
- Software engineering (3365)
- Software Engineering (2772)
- Software Engineering/Programming and Operating Sys... (407)
- Special Purpose and Application-Based Systems (485)
- Show more
- Show less