Refine your search
Availability
-
Authors
- Cordeiro, José.
- Dastani, Mehdi.
- Dediu, Adrian-Horia.
- Dillmann, Rüdiger.
- Ferrández Vicente, J...
- Filipe, Joaquim.
- Halldórsson, Magnús ...
- Helfert, Markus.
- Italiano, Giuseppe F...
- Kubota, Naoyuki.
- Kurosu, Masaaki.
- Liu, Honghai.
- Nguyen, Ngoc Thanh.
- Nielsen, Jesper Buus...
- Rumpe, Bernhard.
- Schach, Stephen R.
- Voronkov, Andrei.
- Y A Ryan, Peter.
- Zhou, Dalin.
- Zhu, Xiangyang.
- Show more
- Show less
-
Collections
-
Item types
-
Home libraries
-
Titles
-
Holding libraries
-
Series
- Atlantis Thinking Ma...
- Communications in Co...
- Computer Communicati...
- Cooperative informat...
- Genetic and Evolutio...
- Hayat Yayınları; 133...
- Human–Computer Inter...
- IFIP Advances in Inf...
- Image Processing, Co...
- Information Systems ...
- Lecture Notes in Art...
- Lecture Notes in Bio...
- Lecture Notes in Bus...
- Programming and Soft...
- Security and Cryptol...
- Texts in Theoretical...
- The Addison-Wesley o...
- The software pattern...
- Theoretical Computer...
- Transactions on Comp...
- Show more
- Show less
-
Topics
- Algorithm Analysis a...
- Artificial Intellige...
- Artificial intellige...
- Computation by Abstr...
- Computational comple...
- Computer Communicati...
- Computer science.
- Computer software.
- Cryptology.
- Data encryption (Com...
- Discrete Mathematics...
- Information Systems ...
- Logic design.
- Logics and Meanings ...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software engineering...
- Software Engineering...
- Systems and Data Sec...
- Show more
- Show less
-
Locations