Affiner votre recherche
Disponibilité
-
Auteurs
- Albert, Elvira (1)
- Beierle, Christoph (1)
- Bourgeois, Anu (1)
- Cai, Zhipeng (1)
- Colinet, Margot (1)
- Gonthier, Georges (1)
- Gupta, Gopal (1)
- Höfner, Peter (1)
- Jipsen, Peter (1)
- Kahl, Wolfram (1)
- Kapur, Deepak (1)
- Larchey-Wendling, Do... (1)
- Lodaya, Kamal (1)
- Meghini, Carlo (1)
- Meheus, Joke (1)
- Müller, Martin Eric (1)
- Parent, Xavier (1)
- Peña, Ricardo (1)
- Weidenbach, Christop... (1)
- Zelikovsky, Alex (1)
- Afficher plus
- Afficher moins
-
Types de document
- Ebook (14)
-
Collection
-
Sujets
- Algorithm Analysis a... (4)
- Algorithms (4)
- Artificial Intellige... (14)
- Artificial intellige... (14)
- Computation by Abstr... (3)
- Computer Communicati... (2)
- Computer communicati... (2)
- Computer logic (14)
- Computer programming (5)
- Computer science (28)
- Computer Science (14)
- Computers (3)
- Discrete Mathematics... (11)
- Logics and Meanings ... (14)
- Mathematical logic (12)
- Mathematical Logic a... (12)
- Programming Techniqu... (5)
- Software engineering (6)
- Software Engineering (6)
- Afficher plus
- Afficher moins