Refine your search
Availability
-
bib-level
- m (2)
-
Authors
- Bjørner, Dines (1)
- Drewes, Frank (1)
-
Topics
- Computer Graphics (1)
- Computer Science (2)
- Computer graphics (1)
- Computer simulation (1)
- Computer vision (1)
- Image Processing and Computer Vision (1)
- Information theory (1)
- Logic design (1)
- Logics and Meanings of Programs (1)
- Mathematics of Computing (1)
- Programming Languages, Compilers, Interpreters (1)
- Programming Techniques (1)
- Simulation and Modeling (1)
- Software Engineering (1)
- Software engineering (1)
- Theory of Computation (1)
- Show more
- Show less