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

Filtrer vos résultats

31 résultats
Type de document : Ouvrages
Type de dépôt : Annexe
Image document

Advances in Visual Computing: Proceedings of the 12th International Symposium (ISVC, December 12–14, Las Vegas, NV, USA), Part 1

George Bebis , Richard Boyle , Bahram Parvin , Darko Koracin , Fatih Porikli , et al.
, 2016, 978-3-319-50834-4. ⟨10.1007/978-3-319-50835-1⟩
Ouvrages hal-01415869v1

Security of Networks and Services in an All-Connected World

Daphné Tuncer , Robert Koch , Rémi Badonnel , Burkhard Stiller
Springer International Publishing, LNCS-10356, 2017, Lecture Notes in Computer Science, 978-3-319-60773-3. ⟨10.1007/978-3-319-60774-0⟩
Ouvrages hal-01806060v1

System Modeling and Optimization

Lorena Bociu , Jean-Antoine Désidéri , Abderrahmane Habbal
Springer International Publishing, AICT-494, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-55794-6. ⟨10.1007/978-3-319-55795-3⟩
Ouvrages hal-01626887v1

Machine Learning for Networking

Selma Boumerdassi , Eric Renault , Paul Mühlethaler
Springer International Publishing, LNCS-12081, 2019, Machine Learning for Networking, 978-3-030-45777-8. ⟨10.1007/978-3-030-45778-5⟩
Ouvrages hal-02551472v1

Coordination Models and Languages

Simon Bliudze , Laura Bocchi
Simon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Ouvrages hal-03168525v1

Polynomial Optimization, Moments, and Applications

Michal Kočvara , Bernard Mourrain , Cordian Riener
Springer. Springer, 206, pp.258, 2023, SOIA. Springer Optimization and Its Applications, 978-3-031-38658-9
Ouvrages hal-04087030v1

Varia - Préface - 59-1

Emmanuel Morin , Sophie Rosset , Pascale Sébillot
ATALA, 59 (1), pp.7-11, 2019
Ouvrages hal-01789046v1

Distributed Applications and Interoperable Systems

Felber Pascal , Romain Rouvoy
Springer-Verlag, LNCS-6723, 2011, Lecture Notes in Computer Science, 978-3-642-21386-1. ⟨10.1007/978-3-642-21387-8⟩
Ouvrages inria-00635862v1
Image document

Proceedings of the Workshop ''Beyond Time and Errors -- Novel Evaluation Methods for Visualization'' (BELIV 2012, October 14--15, 2012, Seattle, USA)

Enrico Bertini , Adam Perer , Heidi Lam , Petra Isenberg , Tobias Isenberg
ACM, 2012, 978-1-4503-1791-7. ⟨10.1145/2442576⟩
Ouvrages hal-00794695v1

Semantic Web for the Working Ontologist

Dean Allemang , Jim Hendler , Fabien Gandon
ACM, 3, 2020, ⟨10.1145/3382097⟩
Ouvrages hal-02939606v1

Managing the Dynamics of Networks and Services

Isabelle Chrisment , Alva Couch , Rémi Badonnel , Martin Waldburger
Springer, LNCS-6734, 2011, Lecture Notes in Computer Science, 978-3-642-21483-7. ⟨10.1007/978-3-642-21484-4⟩
Ouvrages inria-00628157v1

Symmetric Cryptography 2: Cryptanalysis and Future Directions

Christina Boura , María Naya-Plasencia
John Wiley & Sons, Ltd, pp.272, 2023, 978-1-394-25632-7. ⟨10.1002/9781394256327⟩
Ouvrages hal-04332735v1
Image document

Advances in Visual Computing: Proceedings of the 12th International Symposium (ISVC, December 12–14, Las Vegas, NV, USA), Part 2

George Bebis , Richard Boyle , Bahram Parvin , Darko Koracin , Fatih Porikli , et al.
, 2016, 978-3-319-50831-3. ⟨10.1007/978-3-319-50832-0⟩
Ouvrages hal-01415875v1

Open Source Systems: Towards Robust Practices

Federico Balaguer , Roberto Di Cosmo , Alejandra Garrido , Fabio Kon , Gregorio Robles , et al.
Springer International Publishing, AICT-496, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-57734-0. ⟨10.1007/978-3-319-57735-7⟩
Ouvrages hal-01776287v1

Attractive Ellipsoids in Robust Control

Alexander Poznyak , Andrey Polyakov , Vadim Azhmyakov
Springer, 2014, 978-3-319-09209-6. ⟨10.1007/978-3-319-09210-2⟩
Ouvrages hal-01088632v1
Image document

Proceedings of the Sixth Workshop on “Beyond Time and Errors:Novel Evaluation Methods for Visualization” (BELIV 2016, October 24, Baltimore, Maryland, USA)

Michael Sedlmair , Petra Isenberg , Tobias Isenberg , Narges Mahyar , Heidi Lam
, 2016, 978-1-4503-4818-8. ⟨10.1145/2993901⟩
Ouvrages hal-01375428v1

Data Science

Massih-Reza Amini , Renaud Blanch , Marianne Clausel , Jean-Baptiste Durand , Éric Gaussier , et al.
Eyrolles, 2018, 9782212674101
Ouvrages hal-01978692v1

Information Security Theory and Practice: Securing the Internet of Things

David Naccache , Damien Sauveron
David Naccache; Damien Sauveron. Springer, LNCS-8501, 2014, Lecture Notes in Computer Science, 978-3-662-43825-1. ⟨10.1007/978-3-662-43826-8⟩
Ouvrages hal-01098408v1

L'Empire des Algorithmes

Stéphane Grumbach
2022, 978-2-200-63377-6
Ouvrages hal-04013718v1
Image document

Les interfaces cerveau-ordinateur 2

Maureen Clerc , Laurent Bougrain , Fabien Lotte
Maureen Clerc; Laurent Bougrain; Fabien Lotte. ISTE, 2016, 978-1-78405-148-8
Ouvrages hal-01402544v1

Homogénéisation en milieu périodique... ou non

Xavier Blanc , Claude Le Bris
Springer International Publishing, 88, 2022, Mathématiques et Applications, ⟨10.1007/978-3-031-12801-1⟩
Ouvrages hal-04368339v1

Special issue on coding and cryptography

Pascale Charpin , Thomas Johansson , Gohar M. Kyureghyan , Nicolas Sendrier , Jean-Pierre Tillich
Springer, 2016, Design, Codes and Cryptography - Special issue on coding and cryptography, ⟨10.1007/s10623-016-0307-3⟩
Ouvrages hal-01406954v1

Special Issue Proposal for the Parallel Computing Journal: HeteroPar 2016 and HCW 2016 Workshops

Loris Marchal , Érik Saule , Oliver Sinnen
Elsevier, 2019
Ouvrages hal-02423211v1

Formal Techniques for Distributed Objects, Components, and Systems

Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Ouvrages hal-01398026v1

Management and Security in the Age of Hyperconnectivity

Rémi Badonnel , Robert Koch , Aiko Pras , Martin Drašar , Burkhard Stiller
Springer International Publishing, LNCS-9701, 2016, Lecture Notes in Computer Science, 978-3-319-39813-6. ⟨10.1007/978-3-319-39814-3⟩
Ouvrages hal-01632740v1

Introduction to special issue on sustainable computing for ultrascale computing

Laurent Lefèvre , Jean-Marc Pierson
Lefèvre, Laurent and Pierson, Jean-Marc. Elsevier, 17 (Special issue), pp.25-26, 2018, Sustainable Computing: Informatics and Systems, ⟨10.1016/j.suscom.2018.02.002⟩
Ouvrages hal-02982561v1

Middleware 2011

Fabio Kon , Anne-Marie Kermarrec
Springer, LNCS-7049, 2011, Lecture Notes in Computer Science, 978-3-642-25820-6. ⟨10.1007/978-3-642-25821-3⟩
Ouvrages hal-01597753v1

Density Functional Theory

Eric Cancès , Gero Friesecke
Ouvrages hal-04371921v1

Intelligent Mechanisms for Network Configuration and Security

Steven Latré , Marinos Charalambides , Jérôme François , Corinna Schmitt , Burkhard Stiller
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⟩
Ouvrages hal-01244586v1
Image document

Proceedings of the Seventh International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging (CAe 2011, August 5--7, 2011, Vancouver, Canada)

Douglas W. Cunningham , Tobias Isenberg , S. Spencer
ACM, 2011, 978-1-4503-0908-0. ⟨10.1145/2030441⟩
Ouvrages hal-00781517v1