Search - IFIP Open Digital Library Access content directly

Filter your results

45 results
Deposit type : Annex
Page :
sorted by

Descriptional Complexity of Formal Systems

 Giovanni Pighizzini , Cezar Câmpeanu
Springer International Publishing, LNCS-10316, 2017, Lecture Notes in Computer Science, 978-3-319-60251-6. ⟨10.1007/978-3-319-60252-3⟩
Books hal-01656999v1

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

 Hermann Lödding , Ralph Riedel , Klaus-Dieter Thoben , Dimitris Kiritsis , Gregor von Cieminski
Springer International Publishing, AICT-514, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-66925-0. ⟨10.1007/978-3-319-66926-7⟩
Books hal-01707250v1

Wired/Wireless Internet Communications

 Yevgeni Koucheryavy , Lefteris Mamatas , Ibrahim Matta , Aleksandr Ometov , Panagiotis Papadimitriou
Springer International Publishing, LNCS-10372, 2017, Lecture Notes in Computer Science, 978-3-319-61381-9. ⟨10.1007/978-3-319-61382-6⟩
Books hal-01675432v1

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⟩
Books 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⟩
Books hal-01626887v1

Formal Techniques for Distributed Objects, Components, and Systems

 Ahmed Bouajjani , Alexandra Silva
Springer International Publishing, LNCS-10321, 2017, Lecture Notes in Computer Science, 978-3-319-60224-0. ⟨10.1007/978-3-319-60225-7⟩
Books hal-01658426v1

Intelligence Science I

 Zhongzhi Shi , Ben Goertzel , Jiali Feng
Springer International Publishing, AICT-510, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-68120-7. ⟨10.1007/978-3-319-68121-4⟩
Books hal-01820902v1

Trust Management XI

 Jan-Philipp Steghöfer , Babak Esfandiari
Springer International Publishing, AICT-505, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-59170-4. ⟨10.1007/978-3-319-59171-1⟩
Books hal-01651153v1

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⟩
Books hal-01776287v1

Electronic Government

 Marijn Janssen , Karin Axelsson , Olivier Glassey , Bram Klievink , Robert Krimmer , et al.
Springer International Publishing, LNCS-10428, 2017, Lecture Notes in Computer Science, 978-3-319-64676-3. ⟨10.1007/978-3-319-64677-0⟩
Books hal-01702988v1

Digital Nations – Smart Cities, Innovation, and Sustainability

 Arpan Kumar Kar , P. Vigneswara Ilavarasan , M. P. Gupta , Yogesh K. Dwivedi , Matti Mäntymäki , et al.
Springer International Publishing, LNCS-10595, 2017, Lecture Notes in Computer Science, 978-3-319-68556-4. ⟨10.1007/978-3-319-68557-1⟩
Books hal-01768522v1

Fundamentals of Software Engineering

 Mehdi Dastani , Marjan Sirjani
Springer International Publishing, LNCS-10522, 2017, Lecture Notes in Computer Science, 978-3-319-68971-5. ⟨10.1007/978-3-319-68972-2⟩
Books hal-01760860v1

Topics in Theoretical Computer Science

 Mohammad Reza Mousavi , Jiří Sgall
Springer International Publishing, LNCS-10608, 2017, Lecture Notes in Computer Science, 978-3-319-68952-4. ⟨10.1007/978-3-319-68953-1⟩
Books hal-01760635v1

Advances in Digital Forensics XIII

 Gilbert Peterson , Sujeet Shenoi
Springer International Publishing, AICT-511, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-67207-6. ⟨10.1007/978-3-319-67208-3⟩
Books hal-01716406v1

The Practice of Enterprise Modeling

 Geert Poels , Frederik Gailly , Estefania Serral Asensio , Monique Snoeck
Springer International Publishing, LNBIP-305, 2017, Lecture Notes in Business Information Processing, 978-3-319-70240-7. ⟨10.1007/978-3-319-70241-4⟩
Books hal-01765245v1

Human-Computer Interaction - INTERACT 2017

 Regina Bernhaupt , Girish Dalvi , Anirudha Joshi , Devanuj K. Balkrishan , Jacki O'Neill , et al.
Springer International Publishing, LNCS-10514, 2017, Lecture Notes in Computer Science, 978-3-319-67683-8. ⟨10.1007/978-3-319-67684-5⟩
Books hal-01678459v1

Technological Innovation for Smart Systems

 Luis M. Camarinha-Matos , Mafalda Parreira-Rocha , Javaneh Ramezani
Springer International Publishing, AICT-499, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-56076-2. ⟨10.1007/978-3-319-56077-9⟩
Books hal-01629560v1

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science

 Christian Derksen , Christoph Weber
Springer International Publishing, AICT-495, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-66552-8. ⟨10.1007/978-3-319-66553-5⟩
Books hal-01691207v1

Open Problems in Network Security

 Jan Camenisch , Dogan Kesdogan
INETSEC-2017, 2017, Open Problems in Network Security
Books hal-01666537v1

Cellular Automata and Discrete Complex Systems

 Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio E. Porreca
Springer International Publishing, LNCS-10248, 2017, Lecture Notes in Computer Science, 978-3-319-58630-4. ⟨10.1007/978-3-319-58631-1⟩
Books hal-01656363v1

Machine Learning and Knowledge Extraction

 Andreas Holzinger , Peter Kieseberg , a Min Tjoa , Edgar Weippl
Springer International Publishing, LNCS-10410, 2017, Lecture Notes in Computer Science, 978-3-319-66807-9. ⟨10.1007/978-3-319-66808-6⟩
Books hal-01677131v1

Information Security Education

 Matt Bishop , Lynn Futcher , Natalia Miloslavskaya , Marianthi Theocharidou
Springer International Publishing, AICT-503, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-58552-9. ⟨10.1007/978-3-319-58553-6⟩
Books hal-01690972v1

Computer Information Systems and Industrial Management

 Khalid Saeed , Władysław Homenda , Rituparna Chaki
Springer International Publishing, LNCS-10244, 2017, Lecture Notes in Computer Science, 978-3-319-59104-9. ⟨10.1007/978-3-319-59105-6⟩
Books hal-01656213v1

Information and Communication Technologies for Development

 Jyoti Choudrie , M. Sirajul Islam , Fathul Wahid , Julian M. Bass , Johanes Eka Priyatma
Springer International Publishing, AICT-504, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-59110-0. ⟨10.1007/978-3-319-59111-7⟩
Books hal-01650116v1

System Level Design from HW/SW to Memory for Embedded Systems

 Marcelo Götz , Gunar Schirner , Marco Aurélio Wehrmeister , Mohammad Abdullah Al Faruque , Achim Rettberg
Springer International Publishing, AICT-523, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-90022-3. ⟨10.1007/978-3-319-90023-0⟩
Books hal-01854158v1

Coordination Models and Languages

 Jean-Marie Jacquet , Mieke Massink
Springer International Publishing, LNCS-10319, 2017, Lecture Notes in Computer Science, 978-3-319-59745-4. ⟨10.1007/978-3-319-59746-1⟩
Books hal-01657345v1

Critical Infrastructure Protection XI

 Mason Rice , Sujeet Shenoi
Springer International Publishing, AICT-512, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-70394-7. ⟨10.1007/978-3-319-70395-4⟩
Books hal-01819132v1

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

 Hermann Lödding , Ralph Riedel , Klaus-Dieter Thoben , Gregor von Cieminski , Dimitris Kiritsis
Springer International Publishing, AICT-513, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-66922-9. ⟨10.1007/978-3-319-66923-6⟩
Books hal-01666197v1

Collaboration in a Data-Rich World

 Luis M. Camarinha-Matos , Hamideh Afsarmanesh , Rosanna Fornasiero
Springer International Publishing, AICT-506, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-65150-7. ⟨10.1007/978-3-319-65151-4⟩
Books hal-01674868v1

Product Lifecycle Management and the Industry of the Future

 José Ríos , Alain Bernard , Abdelaziz Bouras , Sebti Foufou
IFIP Advances in Information and Communication Technology, AICT-517, Springer International Publishing; Springer International Publishing, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-72904-6. ⟨10.1007/978-3-319-72905-3⟩
Proceedings hal-01762997v1
Page :