Refine your search
Availability
-
Bibliographic level
- Книги (667)
-
Authors
- Steffen, Bernhard (35)
- Nierstrasz, Oscar (34)
- Hutchison, David (32)
- Kanade, Takeo (32)
- Kittler, Josef (32)
- Kleinberg, Jon M. (32)
- Mattern, Friedemann (32)
- Mitchell, John C. (32)
- Naor, Moni (32)
- Pandu Rangan, C. (32)
- Sudan, Madhu (32)
- Terzopoulos, Demetri (32)
- Tygar, Doug (32)
- Vardi, Moshe Y. (32)
- Weikum, Gerhard (32)
- Bernardo, Marco (6)
- Bonsangue, Marcello M. (6)
- Dastani, Mehdi (5)
- Maciaszek, Leszek A. (5)
- Aksit, Mehmet (4)
- Baldoni, Matteo (4)
- Barthe, Gilles (4)
- Boer, Frank S. (4)
- Bordini, Rafael H. (4)
- Butler, Michael (4)
- Cordeiro, José (4)
- Gilmore, W. Jason (4)
- Havelund, Klaus (4)
- Johnsen, Einar Broch (4)
- Kordon, Fabrice (4)
- Liu, Zhiming (4)
- MacDonald, Matthew (4)
- Bennett, Gary (3)
- Bjørner, Dines (3)
- Chiba, Shigeru (3)
- Cisternino, Antonio (3)
- Crnkovic, Ivica (3)
- Graf, Susanne (3)
- Leucker, Martin (3)
- Szyperski, Clemens (3)
- Tanter, Éric (3)
- Wirsing, Martin (3)
- Acuna, Silvia T. (2)
- Agarwal, Vidya Vrat (2)
- Aldini, Alessandro (2)
- Araki, Keijiro (2)
- Baier, Christel (2)
- Banâtre, Jean-Pierre (2)
- Barnes, John (2)
- Bartocci, Ezio (2)
- Show more
- Show less
-
Topics
- Programming Languages, Compilers, Interpreters [x]
- Computer Science (664)
- Software engineering (432)
- Software Engineering (393)
- Logics and Meanings of Programs (340)
- Programming Techniques (304)
- Logic design (298)
- Mathematical Logic and Formal Languages (157)
- Computer Communication Networks (135)
- Programming languages (Electronic computers) (113)
- Computer science (89)
- Artificial Intelligence (incl. Robotics) (85)
- Artificial intelligence (85)
- Information systems (85)
- Management of Computing and Information Systems (79)
- Operating systems (Computers) (59)
- Operating Systems (56)
- Software Engineering/Programming and Operating Systems (55)
- Computation by Abstract Devices (53)
- Computer logic (47)
- Computer programming (45)
- Algorithm Analysis and Problem Complexity (40)
- Special Purpose and Application-Based Systems (40)
- Computer software (36)
- Computer simulation (32)
- Simulation and Modeling (32)
- Mathematical logic (30)
- System Performance and Evaluation (22)
- Computer system performance (20)
- Data Structures (20)
- Data structures (Computer science) (20)
- Information Systems Applications (incl. Internet) (19)
- Models and Principles (17)
- engineering (17)
- Electronic data processing (16)
- Arithmetic and Logic Structures (14)
- Processor Architectures (14)
- Circuits and Systems (13)
- Engineering (13)
- Systems engineering (13)
- Management information systems (12)
- Computer communication systems (11)
- Algorithms (10)
- Computer Appl. in Administrative Data Processing (10)
- Computer Science, general (10)
- Numeric Computing (10)
- Algebra (9)
- Discrete Mathematics in Computer Science (9)
- Symbolic and Algebraic Manipulation (9)
- Computer network architectures (8)
- Show more
- Show less