Affiner votre recherche
Disponibilité
-
Auteurs
- Demri, Stéphane (1)
- Hong, Hoon (1)
- Kapur, Deepak (1)
- Malyshkin, Victor (1)
- Weidenbach, Christop... (1)
- Yap, Chee (1)
- Afficher plus
- Afficher moins
-
Types de document
- Ebook (3)
-
Collection
-
Sujets
- Algorithm Analysis a... (2)
- Algorithms (2)
- Artificial Intellige... (1)
- Artificial intellige... (1)
- Computer science (5)
- Computer Science (3)
- Computer simulation (1)
- Computer Systems Org... (1)
- Discrete Mathematics... (1)
- Math Applications in... (1)
- Mathematical Logic a... (1)
- Numeric Computing (3)
- Numerical analysis (3)
- Performance and Reli... (1)
- Simulation and Model... (1)
- Software engineering (3)
- Software Engineering (1)
- Software Engineering... (2)
- Theory of Computatio... (1)
- Afficher plus
- Afficher moins