36 results  save search


  • 1
  • 2
inria-00600894v1  Books
Lyes BenyoucefBernard Grabot. Artificial Intelligence Techniques for Networked Manufacturing Enterprises Management
Lyes Benyoucef and Bernard Grabot. Springer, pp.510, 2010, Springer Series in Advanced Manufacturing, 978-1-84996-118-9. ⟨10.1007/978-1-84996-119-6⟩
hal-01255470v1  Books
Nacer BoudjlidaSahbi SidhomMalek Ghenima. Information Systems and Economic Intelligence (SIIE'2015)
N. Boudjlida, S. Sidhom, M. Ghenima (Eds.). IEEE Conference Publications, 1 (1), 2015, Information Systems and Economic Intelligence (Proceedings of SIIE'2015), ⟨10.1109/ISEI.2015.7358713⟩
hal-00856352v1  Books
Stéphane CotinFernando Bello. Biomedical Simulation: 5th International Symposium, ISBMS 2010, Phoenix, Az, USA, January 23-24, 2010
Stéphane Cotin; Fernando Bello. Springer, 5958, pp.193, 2010, Lecture Notes in Computer Science, 3642116140
...
hal-00452115v2  Books
Mathieu LoiseauMyriam AbouzaidLaurence BusonBannour RachidFlorinela Comanescu et al.  Autour des langues et du langage
Mathieu Loiseau, Myriam Abouzaïd, Laurence Buson, Cristelle Cavalla, Ali Djaroun, Céline Dugua, Anna Ghimenton, Vannina Goossens, Thomas Lebarbé, Aurélie Nardy, Fanny Rinck, Christian Surcouf. Presses Universitaires de Grenoble, pp.472, 2008, 978-2-7061-1427-4
hal-01806060v1  Books
Daphné TuncerRobert KochRémi BadonnelBurkhard Stiller. Security of Networks and Services in an All-Connected World
Springer International Publishing, LNCS-10356, 2017, Lecture Notes in Computer Science, 978-3-319-60773-3. ⟨10.1007/978-3-319-60774-0⟩
hal-01408991v1  Books
Maureen ClercLaurent BougrainFabien Lotte. Brain-Computer Interfaces 1
Maureen Clerc; Laurent Bougrain; Fabien Lotte. Wiley-ISTE, 2016, Maureen Clerc, 978-1-84821-826-0
inria-00580143v1  Books
Patrick BlackburnJohan van BenthemFrank Wolter. Handbook of Modal Logic
Elsevier, pp.1231, 2007, Studies in logic and practical reasoning - ISSN 1570-2464 ; 3, 978-0-444-51690-9
inria-00323836v1  Books
Carlos ArecesStephane Demri. Methods for Modalities 2007
Electronic Notes in Computer Science, pp.1, 2008
inria-00323839v1  Books
Carlos ArecesRob Goldblatt. Advances in Modal Logic, Volume 7
College Publications, VIII-406 p., 2008, 978-1-904987-68-0
hal-00087731v1  Books
Antoine Henrot. Extremum Problems for Eigenvalues of Elliptic Operators
Birkhäuser Verlag, Basel - Boston - Berlin, pp.202, 2006
hal-00590673v1  Books
Marius TucsnakGeorge Weiss,. Observation and Control for Operator Semigroups
Birkhäuser Verlag, pp.483, 2009, Birkhäuser Advanced Texts / Basler Lehrbücher, ⟨10.1007/978-3-7643-8994-9⟩
hal-01244586v1  Books
Steven LatréMarinos CharalambidesJérôme FrançoisCorinna SchmittBurkhard Stiller. Intelligent Mechanisms for Network Configuration and Security
Steven Latré; Marinos Charalambides; Jérôme François; Corinna Schmitt; Burkhard Stiller. Springer, LNCS-9122, 2015, Intelligent Mechanisms for Network Configuration and Security, 978-3-319-20034-7. ⟨10.1007/978-3-319-20034-7⟩
hal-00770036v1  Books
Fatiha Alabau-BoussouiraRoger BrockettOlivier GlassJérôme Le RousseauEnrique Zuazua. Control of partial differential equations
Cannarsa, Piermarco and Coron, Jean-Michel. Springer, 2048, pp.344, 2012, Lecture Notes in Mathemics
hal-01814386v1  Books
Guillaume BonfanteBruno GuillaumeGuy Perrier. Application of Graph Rewriting to Natural Language Processing
ISTE Wiley, 1, pp.272, 2018, Logic, Linguistics and Computer Science Set, Christian Rétoré, 1786300966
hal-01726072v1  Books
Esther GalbrunPauli Miettinen. Redescription Mining
Springer, Cham, 2017, SpringerBriefs in Computer Science, 978-3-319-72889-6. ⟨10.1007/978-3-319-72889-6⟩
inria-00424347v1  Books
Richard BrentPaul Zimmermann. Modern Computer Arithmetic
Cambridge University Press, 18, 221 p., 2010, Cambridge Monographs on Applied and Computational Mathematics, 978-0-521-19469-3
hal-01079247v1  Books
Maxime Amblard. Calculs de représentations sémantiques et syntaxe générative
Editions universitaires europeennes, pp.332, 2010, 978-613-1-51599-6
hal-01930591v1  Books
Guillaume BonfanteBruno GuillaumeGuy Perrier. Application de la réécriture de graphes au traitement automatique des langues
ISTE editions, 1, pp.242, 2018, Série Logique, linguistique et informatique, Christian Rétoré, 9781784054762
hal-01632740v1  Books
Rémi BadonnelRobert KochAiko PrasMartin DrašarBurkhard Stiller. Management and Security in the Age of Hyperconnectivity
Springer International Publishing, LNCS-9701, 2016, Lecture Notes in Computer Science, 978-3-319-39813-6. ⟨10.1007/978-3-319-39814-3⟩
hal-00743808v1  Books
Dimitra GiannakopoulouDominique Méry. FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-32758-2. ⟨10.1007/978-3-642-32759-9⟩
hal-01238611v1  Books
Jean-Francois Scheid. Programmation linéaire. Méthodes et applications
Editions T.I., Mathématiques pour l'ingénieur - Méthodes numériques, 2015, Techniques de l'ingénieur
  • 1
  • 2