Refine your search
Availability
-
Authors
- Chockler, Hana
- Cordón, Oscar
- Damas, Sergio
- Dillig, Isil
- Eckroth, David
- Freeman, Jonathan
- Gärdenfors, Peter
- Hindin, Harvey J.
- Ibáñez, Oscar
- Liang, Ying-Chang
- Mondada, Francesco
- Rauch-Hindin, Wendy B.
- Shapiro, Stuart Charles
- Spyns, Peter
- Tasiran, Serdar
- Vojnar, Tomáš
- Warwick, Kevin
- Weissenbacher, Georg
- Xu, Zhihao
- Zhang, Lijun
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- -80: IFIP congress series
- A Wiley-Interscience publication
- Artificial intelligence for social good
- Cambridge tracts in theoretical computer science
- CAMRI policy briefs
- Communications in Computer and Information Science
- IFIP Advances in Information and Communication Technology
- Information Systems and Applications, incl. Internet/Web, and HCI
- Lecture Notes in Artificial Intelligence
- Oxford logic guides
- Security and Cryptology
- Signals and Communication Technology
- Studies in computer science and artificial intelligence
- Studies in natural language processing
- Studies in Systems, Decision and Control
- Texts and monographs in computer science
- The basics
- The Information Retrieval Series
- The Springer Series on Challenges in Machine Learning
- Theoretical Computer Science and General Issues
- Show more
- Show less
-
Topics
- Algorithms
- Application software
- Artificial intelligence
- Artificial Intelligence
- Computer logic
- Computer organization
- Computer Systems Organization and Communication Networks
- Computers
- Information Systems and Communication Service
- Information Systems Applications (incl. Internet)
- Logics and Meanings of Programs
- Mathematical logic
- Mathematical Logic and Formal Languages
- Robotics
- Software engineering
- Software Engineering/Programming and Operating Systems
- System Performance and Evaluation
- User interfaces (Computer systems)
- User Interfaces and Human Computer Interaction
- Show more
- Show less
-
Titles