Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

25 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

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

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

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

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

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

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

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

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

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

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

Network and Parallel Computing

 Xuanhua Shi , Hong An , Chao Wang , Mahmut Kandemir , Hai Jin
Springer International Publishing, LNCS-10578, 2017, Lecture Notes in Computer Science, 978-3-319-68209-9. ⟨10.1007/978-3-319-68210-5⟩
Books hal-01705443v1

Distributed Applications and Interoperable Systems

 Lydia Y. Chen , Hans Reiser
Springer International Publishing, LNCS-10320, 2017, Lecture Notes in Computer Science, 978-3-319-59664-8. ⟨10.1007/978-3-319-59665-5⟩
Books hal-01800116v1

Recent Trends in Algebraic Development Techniques

 Phillip James , Markus Roggenbach
Springer International Publishing, LNCS-10644, 2017, Lecture Notes in Computer Science, 978-3-319-72043-2. ⟨10.1007/978-3-319-72044-9⟩
Books hal-01767477v1

Data and Applications Security and Privacy XXXI

 Giovanni Livraga , Sencun Zhu
Springer International Publishing, LNCS-10359, 2017, Lecture Notes in Computer Science, 978-3-319-61175-4. ⟨10.1007/978-3-319-61176-1⟩
Books hal-01684365v1

Human-Computer Interaction – INTERACT 2017

 Regina Bernhaupt , Girish Dalvi , Anirudha Joshi , Devanuj K. Balkrishan , Jacki O’neill , et al.
Springer International Publishing, LNCS-10516, 2017, Lecture Notes in Computer Science, 978-3-319-68058-3. ⟨10.1007/978-3-319-68059-0⟩
Books hal-01679769v1

Human-Computer Interaction – INTERACT 2017

 Regina Bernhaupt , Girish Dalvi , Anirudha Joshi , Devanuj K. Balkrishan , Jacki O'Neill , et al.
Springer International Publishing, LNCS-10515, 2017, Lecture Notes in Computer Science, 978-3-319-67686-9. ⟨10.1007/978-3-319-67687-6⟩
Books hal-01717200v1

Human-Computer Interaction - INTERACT 2017

 Regina Bernhaupt , Girish Dalvi , Anirudha Joshi , Devanuj K. Balkrishan , Jacki O'Neill , et al.
Springer International Publishing, LNCS-10513, 2017, Lecture Notes in Computer Science, 978-3-319-67743-9. ⟨10.1007/978-3-319-67744-6⟩
Books hal-01676186v1

Service-Oriented and Cloud Computing

 Flavio de Paoli , Stefan Schulte , Einar Broch Johnsen
Springer International Publishing, LNCS-10465, 2017, Lecture Notes in Computer Science, 978-3-319-67261-8. ⟨10.1007/978-3-319-67262-5⟩
Books hal-01677615v1

Testing Software and Systems

 Nina Yevtushenko , Ana Rosa Cavalli , Husnu Yenigun
Springer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books hal-01678967v1

Electronic Participation

 Peter Parycek , Yannis Charalabidis , Andrei V. Chugunov , Panos Panagiotopoulos , Theresa A. Pardo , et al.
Springer International Publishing, LNCS-10429, 2017, Lecture Notes in Computer Science, 978-3-319-64321-2. ⟨10.1007/978-3-319-64322-9⟩
Books hal-01703329v1
Page :