Refine your search
Availability
-
Authors
- Bitsch, Friedemann
- Blazy, Sandrine
- Chapman, Barbara M.
- D'Souza, Deepak
- Dastani, Mehdi
- De Nicola, Rocco
- de Supinski, Bronis ...
- Duan, Zhenhua
- Imam, Neena
- Legay, Axel
- Liu, Shaoying
- Margaria, Tiziana
- Müller, Matthias S.
- Proença, José
- Sirjani, Marjan
- Steffen, Bernhard
- Tonetta, Stefano
- Voronkov, Andrei
- Zhang, Zili
- Ábrahám, Erika
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
- Computer Communicati...
- Information Systems ...
- Lecture Notes in Art...
- Lecture notes in com...
- Lecture notes in com...
- Lecture notes in com...
- Lecture notes in com...
- Lecture notes in mat...
- Programming and Soft...
- Security and Cryptol...
- Studies in computer ...
- Theoretical Computer...
- Transactions on Aspe...
- Transactions on Foun...
- Transactions on Modu...
- Show more
- Show less
-
Topics
- Algorithm Analysis a...
- Algorithms
- Application software
- Artificial intellige...
- Artificial Intellige...
- Computer Communicati...
- Computer communicati...
- Computer logic
- Computer programming
- Computers
- Logics and Meanings ...
- Management informati...
- Management of Comput...
- Mathematical logic
- Mathematical Logic a...
- Programming Language...
- Programming language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Show more
- Show less