Refine your search
Availability
-
Authors
- Abdulrazak, Bessam. (2)
- Aloulou, Hamdi. (2)
- Chockler, Hana. (2)
- Dillig, Isil. (2)
- Freeman, Jonathan. (1)
- Fritz, Oliver, (1)
- Grant, Thomas D. (1)
- Kallel, Slim. (1)
- Lahiri, Shuvendu K. (2)
- Lv, Xiaojing. (1)
- Mokhtari, Mounir. (2)
- Mondada, Francesco. (1)
- Spyns, Peter. (1)
- Tasiran, Serdar. (2)
- Vojnar, Tomáš. (2)
- Wang, Chao. (2)
- Weissenbacher, Georg... (2)
- Xu, Zhihao. (1)
- Yokota, Rio. (1)
- Zhang, Lijun. (2)
- Show more
- Show less
-
Item types
- e-Books (42)
-
Series
- Communications in Co... (1)
- IFIP Advances in Inf... (1)
- Information Systems ... (7)
- Lecture Notes in Art... (2)
- PoliMI SpringerBrief... (1)
- Security and Cryptol... (1)
- Signals and Communic... (1)
- Simula SpringerBrief... (1)
- Studies in Systems, ... (1)
- The Information Retr... (1)
- The Springer Series ... (1)
- Theoretical Computer... (15)
- Theory and Applicati... (1)
- Show more
- Show less
-
Topics
- Algorithms. (5)
- Application software... (8)
- Artificial intellige... (41)
- Artificial Intellige... (37)
- Computer logic. (9)
- Computer organizatio... (10)
- Computer Systems Org... (10)
- Computers. (15)
- Information Systems ... (8)
- Information Systems ... (7)
- Logics and Meanings ... (7)
- Mathematical Logic a... (6)
- Mathematical logic. (7)
- Software engineering... (13)
- Software Engineering... (7)
- Software Engineering... (6)
- Special Purpose and ... (6)
- Special purpose comp... (6)
- User interfaces (Com... (6)
- User Interfaces and ... (6)
- Show more
- Show less