Refine your search
Availability
-
Bibliographic level
- Книги (15)
-
Authors
- Bjørner, Dines (2)
- Hromkovič, Juraj (2)
- Badouel, Eric (1)
- Bernardinello, Luca (1)
- Brauer, W. (1)
- Darondeau, Philippe (1)
- Drewes, Frank (1)
- Flum, Jörg (1)
- Fokkink, Wan (1)
- Gorrieri, Roberto (1)
- Grohe, Martin (1)
- Grädel, Erich (1)
- Hutter, Marcus (1)
- Klasing, Ralf (1)
- Kluge, W. (1)
- Kolaitis, Phokion G. (1)
- Kroening, Daniel (1)
- Kröger, Fred (1)
- Kurki-Suonio, Reino (1)
- Libkin, Leonid (1)
- Marx, Maarten (1)
- Merz, Stephan (1)
- Pelc, Andrzej (1)
- Rozenberg, G. (1)
- Ružička, Peter (1)
- Salomaa, A. (1)
- Spencer, Joel (1)
- Strichman, Ofer (1)
- Unger, Walter (1)
- Vardi, Moshe Y. (1)
- Venema, Yde (1)
- Versari, Cristian (1)
- Weinstein, Scott (1)
- Show more
- Show less
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- Computer Science (14)
- Logic design (9)
- Logics and Meanings of Programs (9)
- Software engineering (9)
- Software Engineering (7)
- Theory of Computation (7)
- Information theory (5)
- Mathematical Logic and Formal Languages (5)
- Programming Languages, Compilers, Interpreters (4)
- Algorithm Analysis and Problem Complexity (3)
- Computation by Abstract Devices (3)
- Computer software (3)
- Mathematical Logic and Foundations (3)
- Mathematics of Computing (3)
- Artificial Intelligence (incl. Robotics) (2)
- Artificial intelligence (2)
- Computer science (2)
- Mathematical logic (2)
- Mathematics (2)
- Probability and Statistics in Computer Science (2)
- Programming Techniques (2)
- Software Engineering/Programming and Operating Systems (2)
- computers (2)
- Algebra (1)
- Algorithms (1)
- Coding and Information Theory (1)
- Coding theory (1)
- Computational complexity (1)
- Computer Communication Networks (1)
- Computer drawing (1)
- Data processing (1)
- Database Management (1)
- Database management (1)
- Digital techniques (1)
- Discrete Mathematics in Computer Science (1)
- Image processing (1)
- Logic, Symbolic and mathematical (1)
- Symbolic and Algebraic Manipulation (1)
- вычислительная математика (1)
- деревья (1)
- дискретная математика (1)
- компьютерная графика (1)
- теория графов (1)
- формальные языки (1)
- Show more
- Show less