Refine your search
Availability
-
Authors
- Barkaoui, Kamel
- Broy, Manfred
- Buttazzo, Giorgio
- Cavalcanti, Ana
- Cosp, Jordi
- Ehrig, Hartmut
- Haddow, Pauline C.
- Kolaitis, Phokion G.
- Krüger, Ingolf H.
- Liu, Zhiming
- Madrenas, Jordi
- Meisinger, Michael
- Mishra, Bud
- Moreno, J. Manuel
- Paulin-Mohring, Chri...
- Rozenberg, Grzegorz
- Sassone, Vladimiro
- Sekanina, Lukáš
- Tiwari, Ashish
- Weinstein, Scott
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Artificial Intellige...
- Artificial intellige...
- Bioinformatics
- Computation by Abstr...
- Computer aided desig...
- Computer Communicati...
- Computer Science
- Computer science
- Computer simulation
- Computer-Aided Engin...
- Logic design
- Logic Design
- Logics and Meanings ...
- Mathematical Logic a...
- Processor Architectu...
- Programming Language...
- Simulation and Model...
- Software Engineering
- Software engineering
- Special Purpose and ...
- Show more
- Show less