Refine your search
Availability
-
Authors
- Bjørner, Dines
- Bradley, Aaron R.
- Ehrig, Hartmut
- Ehrig, Karsten
- Fernau, Henning
- Fokkink, Wan
- Futatsugi, Kokichi
- Henson, Martin C.
- Jouannaud, Jean-Pier...
- Kroening, Daniel
- Manna, Zohar
- Martín-Vide, Carlos
- Meseguer, José
- Mills, Bruce
- Otto, Friedrich
- Prange, Ulrike
- Strichman, Ofer
- Taentzer, Gabriele
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra
- Algorithm Analysis a...
- Artificial Intellige...
- Computation by Abstr...
- Computer science [x]
- Computer Science
- Computer software
- Computing Methodolog...
- Electronic data proc...
- Information theory
- Logic design [x]
- Logics and Meanings ...
- Mathematical Logic a... [x]
- Mathematics of Compu...
- Models and Principle...
- Programming Techniqu...
- Software Engineering
- Software engineering
- Symbolic and Algebra...
- Theory of Computatio... [x]
- Show more
- Show less