Refine your search
Availability
-
Authors
- Barbier, Franck
- Blanchet, Gerard
- Boulanger, Jean-Loui...
- De Dinechin, Benoit ...
- Delahaye, Daniel
- Deroussi, Laurent
- Dupouy, Bertrand
- Durand, Nicolas
- Labadie, Nacima
- Lucas, Laurent
- Marlet, Renaud
- Miller, Russ
- Oussalah, Mourad
- Remion, Yannick
- Rochange, Christine
- Scragg, Greg W.
- Touati, Sid
- Uhrig, Sascha
- Zhao, Hai-Xiang
- Zhao, Hai-xiang
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Air traffic control
- B method (Computer s...
- Buildings
- Compilers (Computer ...
- Computer architectur...
- Computer engineering
- COMPUTERS
- Data mining
- Embedded computer sy...
- Formal methods (Comp...
- Human-machine system...
- Interactive computer...
- Large scale systems
- Machine learning
- Mathematical optimiz...
- Program transformati...
- Software architectur...
- TECHNOLOGY & ENGINEE...
- Three-dimensional di...
- Transportation probl...
- Show more
- Show less