Refine your search
Availability
-
Authors
- Alur, Rajeev
- Bomarius, Frank
- Das, Sajal K.
- Falsafi, Babak
- Felici, Massimo
- Henzinger, Thomas A.
- Kohn, Wolf
- Larsen, Kim G.
- Liggesmeyer, Peter
- Margaria, Tiziana
- Moreno-Diaz, Roberto
- Nerode, Anil
- Pichler, Franz
- Romanovsky, Alexande...
- Sastry, Shankar
- Sifakis, Joseph
- Steinmetz, Ralf
- Strohmeier, Alfred
- Woodcook, Jim
- Yonezawa, Akinori
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Application software
- Compilers (Computer ...
- Compilers and Interp...
- Computer and Informa...
- Computer Communicati...
- Computer engineering
- Computer Engineering...
- Computer networks
- Computer programming
- Computer science
- Computer Science Log...
- Computers and civili...
- Computers, Special p...
- Operating Systems
- Operating systems (C...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Special Purpose and ...
- Theory of Computatio...
- Show more
- Show less