Refine your search
Availability
-
Authors
- Abrahão, Silvia
- Arbab, Farhad
- Bakker, J. W. de
- Balagurusamy, E.
- Bartocci, Ezio
- Beckert, Bernhard
- Bensalem, Saddek
- Bernardo, Marco
- Boer, Frank S. de
- Bonsangue, Marcello M,
- Calinescu, Radu
- Chapman, Barbara M,
- Chiba, Shigeru
- Dahl, Veronica
- Damiani, Ferruccio
- Dastani, Mehdi
- Duan, Zhenhua
- Felleisen, Matthias
- Merriam, Daniel F.
- Voronkov, Andrei
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Special report
- A.P.I.C. studies in data processing
- ACM distinguished dissertations
- ACM monograph series
- Acronyms, initialisms and abbreviations dictionary subject guide series
- Addison-Wesley series in computer science and information processing
- BPB Laboratory work book series
- CSIR Campaign on IT Literacy
- IT Series for all
- Lecture Notes in Computer Science
- Lecture notes in computer science
- MIT Press series in computer science
- MIT Press series in the history of computing
- McGraw-Hill computer science series
- National Bureau of Standars, technical no
- Prentice-Hall series in automatic computation
- State geological survey
- Texts in Computer Science
- The MIT Press series in computer science
- Undergraduate Topics in Computer Science
- Show more
- Show less
-
Topics
- Algorithms
- Artificial intelligence
- Computer communication systems
- Computer logic
- Computer programming
- Computer science
- Computer simulation
- Computer system failures
- Computers
- Congresses
- Electronic data processing
- Electronic digital computers
- Management information systems
- Mathematical logic
- Operating systems (Computers)
- Programming Language
- Programming languages (Electronic computers)
- Semantics
- Software engineering
- Special purpose computers
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages
