Refine your search
Availability
-
Authors
- Angel Garrido (Ed.) (1)
- Bast, Hannah (1)
- Blanchette, Jasmin (1)
- Ferreira, Carla (3)
- Harel, David (1)
- Korzen, Claudius (1)
- Kovc̀s, Laura (1)
- Kozen, Dexter (1)
- Lanese, Ivan (3)
- Meyer, Ulrich (1)
- Pattinson, Dirk (1)
- Penschuck, Manuel (1)
- Schultz, Ulrik Pagh (3)
- Shoham, Sharon (2)
- Tiuryn, Jerzy (1)
- Ulidowski, Irek (3)
- Vizel, Yakir (2)
- Show more
- Show less
-
Collections
- E-Books EBSCO (1)
- E-Books Open Access (8)
-
Home libraries
-
Item types
- Electronic-Books (9)
-
Series
-
Topics
- Algorithms & data st... (2)
- Artificial intellige... (3)
- Computer architectur... (3)
- Computer logic (1)
- Computer networking ... (3)
- Computer programming... (1)
- Computer science (1)
- Computer Science (1)
- COMPUTERS (1)
- Engineering & Applie... (1)
- Expert systems / kno... (3)
- Formal methods (Comp... (1)
- Logique informatique (1)
- Mathematical theory ... (2)
- Méthodes formelles (... (1)
- Network hardware (4)
- Operating systems (3)
- Software Engineering (6)
- Systems analysis & d... (3)
- Show more
- Show less