Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
- Bhanu, Bir (1)
- Burgin, Mark (1)
- Crossley, John Newsome (1)
- Krawiec, Krzysztof (1)
- Lin, Yingqiang (1)
- McIver, Annabelle (1)
- Morgan, Carroll (1)
- Poernomo, Iman Hafiz (1)
- Potrich, Alessandra (1)
- Selig, J. M. (1)
- Tonella, Paolo (1)
- Wirsing, Martin (1)
- Show more
- Show less
-
Topics
- Computer Science (6)
- Programming Techniques (3)
- Artificial Intelligence (incl. Robotics) (2)
- Artificial intelligence (2)
- Logic design (2)
- Logics and Meanings of Programs (2)
- Programming Languages, Compilers, Interpreters (2)
- Software Engineering/Programming and Operating Systems (2)
- Software engineering (2)
- Algorithm Analysis and Problem Complexity (1)
- Applications of Mathematics (1)
- Automation (1)
- Automation and Robotics (1)
- Computation by Abstract Devices (1)
- Computer Imaging, Graphics and Computer Vision (1)
- Computer software (1)
- Differential Geometry (1)
- Global differential geometry (1)
- Image Processing (1)
- Information theory (1)
- Logic Design (1)
- Logic, Symbolic and mathematical (1)
- Math Applications in Computer Science (1)
- Mathematical Logic and Formal Languages (1)
- Mathematical Logic and Foundations (1)
- Models and Principles (1)
- Optical pattern recognition (1)
- Pattern Recognition (1)
- Theory of Computation (1)
- Topological Groups (1)
- Topological Groups, Lie Groups (1)
- User Interfaces and Human Computer Interaction (1)
- mathematics (1)
- Show more
- Show less