Filtrer vos résultats
- 6
- 2196
- 1654
- 6
- 661
- 50
- 47
- 31
- 30
- 24
- 18
- 12
- 6
- 5
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
|
|
Handbook of Robotics 2nd edition, Chapter 62 on "Intelligent VehiclesBruno Siciliano; Oussama Khatib. Handbook of Robotics 2nd Edition, Springer, pp.1627-1656, 2016, 978-3-319-32550-7. ⟨10.1007/978-3-319-32552-1_62⟩
Chapitre d'ouvrage
hal-01260280v1
|
||
IntroductionFrançois Scharffe. Web de données. Méthodes et outils pour les données liées, Pearson, pp.5, 2012, 978-2-7440-4746-6
Chapitre d'ouvrage
hal-01246960v1
|
|||
Electromagnetic Nanonetworks for Sensing and Drug DeliveryJunichi Suzuki; Tadashi Nakano; Michael J. Moore. Modeling, Methodologies and Tools for Molecular and Nano-scale Communications, Springer, 2014
Chapitre d'ouvrage
hal-01076206v1
|
|||
|
|
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed AutomataFORMATS 2020: Formal Modeling and Analysis of Timed Systems, pp.215 - 230, 2020, ⟨10.1007/978-3-030-57628-8_13⟩
Chapitre d'ouvrage
hal-03136066v1
|
||
Inductive PredicatesJasmin Blanchette; Assia Mahboubi. Proof Assistants and Their Applications to Mathematics and Computer Science, 04, pp.37, In press
Chapitre d'ouvrage
hal-04311869v1
|
|||
|
|
Discriminant Learning MachinesGuyon, Isabelle; Statnikov, Alexander; Batu, Berna Bakir. Cause Effect Pairs in Machine Learning, Springer Verlag, pp.155-189, 2019, The Springer Series on Challenges in Machine Learning, 978-3-030-21809-6. ⟨10.1007/978-3-030-21810-2_4⟩
Chapitre d'ouvrage
hal-02433203v1
|