Refine your search
Availability
-
Authors
- Calude, Cristian S.
- Dastani, Mehdi
- Dingel, Juergen
- Gleizes, Marie-Pierr...
- Granström, Johan Geo...
- Herrmann, Peter
- Hübner, Jomi
- Leite, João
- Mezini, Mira
- Morazán, Marco T.
- Pihlajasaari, Pekka
- Prieto, Manuel
- Rozenberg, Grzegorz
- Scholz, Sven-Bodo
- Schätz, Bernhard
- Sicard, Gilles
- Simao, Adenilso
- Sofronie-Stokkermans...
- Tripakis, Stavros
- Wolff, Burkhart
- Show more
- Show less
-
Series
-
Topics
- Algebra
- Algorithm Analysis a...
- Artificial Intellige...
- Artificial intellige...
- Computation by Abstr...
- Computational comple...
- Computer Communicati...
- Computer science
- Computer Science
- Computer software
- Discrete Mathematics...
- Logic design
- Logics and Meanings ...
- Management of Comput...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software Engineering
- Software engineering
- Symbolic and Algebra...
- Show more
- Show less