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

Filter your results

23 results
Deposit type : Annex

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue
Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7
Books hal-01408765v1

Availability, Reliability, and Security in Information Systems

Stephanie Teufel , Tjoa A Min , Ilsun You , Edgar Weippl
Stephanie Teufel; Tjoa A Min; IlsunYou; EdgarWeippl. Springer, LNCS-8708, 2014, Lecture Notes in Computer Science, 978-3-319-10974-9. ⟨10.1007/978-3-319-10975-6⟩
Books hal-01404011v1

Human-Centered Software Engineering

Stefan Sauer , Cristian Bogdan , Peter Forbrig , Regina Bernhaupt , Marco Winckler
Springer, LNCS-8742, 2014, Lecture Notes in Computer Science, 978-3-662-44810-6. ⟨10.1007/978-3-662-44811-3⟩
Books hal-01405095v1

Traffic Monitoring and Analysis

Alberto Dainotti , Anirban Mahanti , Steve Uhlig
Springer, LNCS-8406, 2014, Lecture Notes in Computer Science, 978-3-642-54998-4. ⟨10.1007/978-3-642-54999-1⟩
Books hal-01396505v1

Testing Software and Systems

Mercedes G. Merayo , Edgardo Montes de Oca
Springer, LNCS-8763, 2014, Lecture Notes in Computer Science, 978-3-662-44856-4. ⟨10.1007/978-3-662-44857-1⟩
Books hal-01405294v1

Building Bridges: HCI, Visualization, and Non-formal Modeling

Achim Ebert , Gerrit van Der Veer , Gitta Domik , Nahum D. Gershon , Inga Scheler
Springer, LNCS-8345, 2014, Coalgebraic Methods in Computer Science, 978-3-642-54893-2. ⟨10.1007/978-3-642-54894-9⟩
Books hal-01414711v1

Theoretical Computer Science

Josep Diaz , Ivan Lanese , Davide Sangiorgi
Josep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Books hal-01402084v1

Communications and Multimedia Security

Bart De Decker , André Zúquete
Springer, LNCS-8735, 2014, Lecture Notes in Computer Science, 978-3-662-44884-7. ⟨10.1007/978-3-662-44885-4⟩
Books hal-01404210v1

Coordination Models and Languages

Eva Kühn , Rosario Pugliese
Springer, LNCS-8459, 2014, Lecture Notes in Computer Science, 978-3-662-43375-1. ⟨10.1007/978-3-662-43376-8⟩
Books hal-01290085v1

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

Computer Information Systems and Industrial Management

Khalid Saeed , Václav Snášel
Springer, LNCS-8838, 2014, Lecture Notes in Computer Science, 978-3-662-45236-3. ⟨10.1007/978-3-662-45237-0⟩
Books hal-01405673v1

Electronic Government

Marijn Janssen , Hans Jochen Scholl , Maria A. Wimmer , Frank Bannister
Springer, LNCS-8653, 2014, Lecture Notes in Computer Science, 978-3-662-44425-2. ⟨10.1007/978-3-662-44426-9⟩
Books hal-01401758v1

Data and Applications Security and Privacy XXVIII

Vijay Atluri , Günther Pernul
Springer, Lecture Notes in Computer Science (LNCS-8566), 2014, 978-3-662-45501-2. ⟨10.1007/978-3-662-43936-4⟩
Books hal-01285073v1

Entertainment Computing - ICEC2014

Yusuf Pisan , Nikitas M. Sgouros , Tim Marsh
Springer, LNCS-8770, 2014, Lecture Notes in Computer Science, 978-3-662-45211-0. ⟨10.1007/978-3-662-45212-7⟩
Books hal-01408567v1

Monitoring and Securing Virtualized Networks and Services

Anna Sperotto , Guillaume Doyen , Steven Latré , Marinos Charalambides , Burkhard Stiller
Springer, LNCS-8508, 2014, Lecture Notes in Computer Science, 978-3-662-43861-9. ⟨10.1007/978-3-662-43862-6⟩
Books hal-01401308v1

Advances in Digital Forensics X

Gilbert Peterson , Sujeet Shenoi
Springer, AICT-433, 2014, Advances in Digital Forensics X, 978-3-662-44951-6. ⟨10.1007/978-3-662-44952-3⟩
Books hal-01393790v1

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

Electronic Participation

Efthimios Tambouris , Ann Macintosh , Frank Bannister
Springer, LNCS-8654, 2014, Electronic Participation, 978-3-662-44913-4. ⟨10.1007/978-3-662-44914-1⟩
Books hal-01396970v1

Distributed Applications and Interoperable Systems

Kostas Magoutis , Peter Pietzuch
Springer, LNCS-8460, 2014, Lecture Notes in Computer Science, 978-3-662-43351-5. ⟨10.1007/978-3-662-43352-2⟩
Books hal-01287760v1

Self-Organizing Systems

Wilfried Elmenreich , Falko Dressler , Vittorio Loreto
Springer, LNCS 8221, 2014, Lecture Notes in Computer Science, 978-3-642-54139-1. ⟨10.1007/978-3-642-54140-7⟩
Books hal-01291531v1

Information and Communication Technology

. Linawati , Made Sudiana Mahendra , Erich J. Neuhold , A Min Tjoa , Ilsun You
Springer, LNCS-8407, 2014, Information and Communication Technology, 978-3-642-55031-7. ⟨10.1007/978-3-642-55032-4⟩
Books hal-01397345v1

Network and Parallel Computing

Ching-Hsien Hsu , Xuanhua Shi , Valentina Salapura
Springer, LNCS-8707, 2014, Lecture Notes in Computer Science, 978-3-662-44916-5. ⟨10.1007/978-3-662-44917-2⟩
Books hal-01403166v1

Service-Oriented and Cloud Computing

Massimo Villari , Wolf Zimmermann , Kung-Kiu Lau
Springer, LNCS-8745, 2014, Lecture Notes in Computer Science, 978-3-662-44878-6. ⟨10.1007/978-3-662-44879-3⟩
Books hal-01318344v1