Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

209 résultats
Type de document : Ouvrages
Type de dépôt : Document
Page :
triés par
Image document

The Spec UI framework

 Johan Fabry , Stéphane Ducasse
published by the authors, pp.84, 2017
Ouvrages hal-01612690v1
Image document

Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

 Catherine Dubois , Laurence Duchien , Nicole Levy
Catherine Dubois; Laurence Duchien; Nicole Levy. Conservatoire National des Arts et Métiers, pp.239, 2014
Ouvrages hal-01055907v1
Image document

Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07)

 Isabelle Puaut , Nicolas Navet , Françoise Simonot-Lion
Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4
Ouvrages inria-00168530v1
Image document

A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis

 Anne Benoit , Yves Robert , Frédéric Vivien
Chapman & Hall/CRC, pp.380, 2013, Applied Algorithms and Data Structures series, 9781439825648
Ouvrages hal-00908448v1
Image document

Dynamics of a spherical capsule in a planar hyperbolic flow: influence of bending resistance

 Claire Dupont , P Le Tallec , Dominique Barthes-Biesel , Marina Vidrascu , A.-V Salsac
Elsevier, 16, 2015, Procedia IUTAM Volume 16, Pages 1-134 (2015) IUTAM Symposium on Dynamics of Capsules, Vesicles and Cells in Flow (15-19 July 2014; Compiègne, France), ⟨10.1016/j.piutam.2015.03.009⟩
Ouvrages hal-01166967v1
Image document

Proceedings of the First International Workshop on Mathematical Foundations of Computational Anatomy (MFCA'06) - Geometrical and Statistical Methods for Modelling Biological Shape Variability

 Xavier Pennec , Sarang Joshi
Pennec, Xavier and Joshi, Sarang. MICCAI - Inria, pp.187, 2006
Ouvrages inria-00614989v1
Image document

Effect of Phase Correction on DTI and q-space Metrics

 Marco Pizzolato , Timothé Boutelier , Rachid Deriche
International Society for Magnetic Resonance in Medicine, 2016
Ouvrages hal-01408421v1
Image document

Thermodynamics: designing complex fluid and soft solid models

 Pierre Saramito
In press
Ouvrages hal-03893505v1
Image document

Arithmétique des ordinateurs

 Jean-Michel Muller
Masson, pp.214, 1989, 2-225-81689-1
Ouvrages ensl-00086707v1
Image document

Stability in Gagliardo-Nirenberg-Sobolev inequalities: flows, regularity and the entropy method

 Matteo Bonforte , Jean Dolbeault , Bruno Nazaret , Nikita Simonov
In press, Memoirs of the American Mathematical Society
Ouvrages hal-02887010v3
Image document

Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)

 Lisa Nguyen Quang Do , Caterina Urban
ACM, 2021, ⟨10.1145/3460946⟩
Ouvrages hal-04250067v1
Image document

Dialogues autour de la création mathématique

 Nicolas Bouleau
Nicolas Bouleau. Association Laplace-Gauss, pp.93, 1997
Ouvrages halshs-00346564v1
Image document

The Green Book of the Academy Space, Environment, Risk and Resilience

 Pierre-Jean Barre , Christophe den Auwer , Dennis Fox , Frédéric Grognard , Tristan Guillot , et al.
1, 2020, 978-2-9571154-0-2
Ouvrages hal-04111576v1
Image document

Véhicules autonomes et connectés

 Collectif Inria
Inria, pp.49, 2019, Livre Blanc Inria N° 02
Ouvrages hal-03509191v1
Image document

Géométrie algorithmique : des données géométriques à la géométrie des données

 Jean-Daniel Boissonnat
Collège de France / Fayard, 2017
Ouvrages hal-01975080v1
Image document

A simple reflective object kernel

 Stéphane Ducasse
Published by the author, 2018
Ouvrages hal-01900323v1
Image document

Mathématiques pour l'ingénieur

 Jean-Pierre Richard , Hugues Mounier , Abdennebi Achour , Lotfi Belkoura , Selma Ben Attia , et al.
R. Ben Abdennour, K. Abderrahim, H. Mounier. ATAN, Association Tunisienne d'Automatique et de Numérisation, pp.384, 2009, J.P. Richard
Ouvrages hal-00519555v1
Image document

Actes du 5ème atelier "Représentation et raisonnement sur le Temps et l'Espace" RTE 2010

 Maroua Bouzid , Florence Le Ber , Gérard Ligozat , Odile Papini
Maroua Bouzid et Florence Le Ber et Gérard Ligozat et odile Papini. pp.45, 2010
Ouvrages inria-00618328v1
Image document

First International Workshop on Lexical Resources

 Benoît Sagot
, 2011
Ouvrages hal-01178328v1
Image document

Proceedings of the Spatial Computing Workshop (SCW 2012) colocated with AAMAS (W21)

 Jacob Beal , Stefan O. Dulman , Jean-Louis Giavitto , Antoine Spicher
IFAMAAS (International Foundation for Autonomous Agents and Multiagent Systems), pp.60, 2012
Ouvrages hal-00769288v1
Image document

Geometric and Topological Inference

 Jean-Daniel Boissonnat , Frédéric Chazal , Mariette Yvinec
Cambridge University Press, 2018
Ouvrages hal-01615863v2
Image document

Vision par ordinateur: outils fondamentaux

 Radu Horaud , Olivier Monga
Editions Hermès, pp.426, 1995, Traité des nouvelles technologies, Série informatique, 978-2866014810
Ouvrages inria-00590049v1
Image document

Time of Flight Cameras: Principles, Methods, and Applications

 Miles Hansard , Seungkyu Lee , Ouk Choi , Radu Horaud
Springer, pp.95, 2012, SpringerBriefs in Computer Science, ISBN 978-1-4471-4658-2. ⟨10.1007/978-1-4471-4658-2⟩
Ouvrages hal-00725654v1
Image document

Stochastic Geometry and Wireless Networks, Volume I - Theory

 François Baccelli , Bartlomiej Blaszczyszyn
Baccelli, F. and Blaszczyszyn, B. NoW Publishers, 1, pp.150, 2009, Foundations and Trends in Networking Vol. 3: No 3-4, pp 249-449, 978-1-60198-264-3, 978-1-60198-265-0. ⟨10.1561/1300000006⟩
Ouvrages inria-00403039v4
Image document

Agriculture and Digital Technology

 Véronique Bellon Maurel , Ludovic Brossard , Frédérick Garcia , Nathalie Mitton , Alexandre Termier
pp.1-185, 2022, ⟨10.17180/wmkb-ty56-en⟩
Ouvrages hal-03604970v1
Image document

Scientific Visualization: Python + Matplotlib

 Nicolas P. Rougier
Nicolas P. Rougier. , 2021, 978‐2‐9579901‐0‐8
Ouvrages hal-03427242v1
Image document

Unified FFI -Calling Foreign Functions from Pharo

 Guillermo Polito , Stéphane Ducasse , Pablo Tesone , Ted Brunzie
pp.67, 2020
Ouvrages hal-03358607v1
Image document

Concurrent Programming in Pharo

 Stéphane Ducasse , Guillermo Polito
pp.52, 2021
Ouvrages hal-03358770v1
Image document

Stochastic Geometry and Wireless Networks, Volume II - Applications

 François Baccelli , Bartlomiej Blaszczyszyn
Baccelli, F. and Blaszczyszyn, B. NoW Publishers, 2, pp.209, 2009, Foundations and Trends in Networking: Vol. 4: No 1-2, pp 1-312, 978-1-60198-266-7, 978-1-60198-267-4. ⟨10.1561/1300000026⟩
Ouvrages inria-00403040v4
Image document

Categories, Types and Structures.

 Andrea Asperti , Giuseppe Longo
MIT Press, pp.1-300, 1991, 0262011255, 978-0262011259
Ouvrages hal-03316030v1
Page :