Refine your search
Availability
-
Authors
- Leino, K. Rustan M. (8)
- Silva, Alexandra (8)
-
Collections
-
Home libraries
-
Item types
- Electronic-Books (8)
-
Series
-
Topics
- Artificial intellige... (8)
- Artificial Intellige... (2)
- Computer Modelling (2)
- Computer modelling &... (6)
- Computer programming... (6)
- Computer science (2)
- Computer Science Log... (2)
- Computer simulation (2)
- Formal Languages and... (2)
- Machine theory (2)
- Mathematical theory ... (6)
- Software Engineering (8)
- Software engineering (2)
- Show more
- Show less