Search - IFIP Open Digital Library Access content directly

Filter your results

613 results
level0_domain_s : Computer Science [cs]
Document type : Books
Page :
sorted by

Formal Techniques for Distributed Systems

 Roberto Bruni , Juergen Dingel
Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books hal-01583312v1

Testing Software and Systems

 Khaled El-Fakih , Gerassimos Barlas , Nina Yevtushenko
Springer, LNCS-9447, 2015, Testing Software and Systems, 978-3-319-25944-4. ⟨10.1007/978-3-319-25945-1⟩
Books hal-01470162v1

Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth

 Shigeki Umeda , Masaru Nakano , Hajime Mizuyama , Hironori Hibino , Dimitris Kiritsis , et al.
Springer, AICT-460, 2015, Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, 978-3-319-22758-0. ⟨10.1007/978-3-319-22759-7⟩
Books hal-01431159v1

Information Security Theory and Practice

 Gerhard P. Hancke , Ernesto Damiani
Springer International Publishing, LNCS-10741, 2018, Lecture Notes in Computer Science, 978-3-319-93523-2. ⟨10.1007/978-3-319-93524-9⟩
Books hal-01875516v1
Image document

Human Work Interaction Design. Designing Engaging Automation

 Barbara Rita Barricelli , Virpi Roto , Torkil Clemmensen , Pedro Campos , Arminda Guerra Lopes , et al.
Springer International Publishing, AICT-544, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-05296-6. ⟨10.1007/978-3-030-05297-3⟩
Books hal-02264608v1

ICT Systems Security and Privacy Protection

 Hannes Federrath , Dieter Gollmann
Springer, AICT-455, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-18466-1. ⟨10.1007/978-3-319-18467-8⟩
Books hal-01345163v1
Image document

Testing Software and Systems

 Valentina Casola , Alessandra de Benedictis , Massimiliano Rak
Springer International Publishing, LNCS-12543, 2020, Lecture Notes in Computer Science, 978-3-030-64880-0. ⟨10.1007/978-3-030-64881-7⟩
Books hal-03239808v1

Beyond Interpretivism? New Encounters with Technology and Organization

 Lucas Introna , Donncha Kavanagh , Séamas Kelly , Wanda Orlikowski , Susan Scott
AICT-489, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-49732-7. ⟨10.1007/978-3-319-49733-4⟩
Books hal-01619205v1

Electronic Participation

 Noella Edelmann , Csaba Csáki , Sara Hofmann , Thomas J. Lampoltshammer , Laura Alcaide Muñoz , et al.
Springer International Publishing, LNCS-12849, 2021, Lecture Notes in Computer Science, 978-3-030-82823-3. ⟨10.1007/978-3-030-82824-0⟩
Books hal-04014058v1

Electronic Participation

 Efthimios Tambouris , Ann Macintosh , Øystein Sæbø
Springer, LNCS-7444, 2012, Lecture Notes in Computer Science, 978-3-642-33249-4. ⟨10.1007/978-3-642-33250-0⟩
Books hal-01541498v1

Cellular Automata and Discrete Complex Systems

 Jan M. Baetens , Martin Kutrib
Springer International Publishing, LNCS-10875, 2018, Lecture Notes in Computer Science, 978-3-319-92674-2. ⟨10.1007/978-3-319-92675-9⟩
Books hal-01824871v1

Privacy and Identity Management. Data for Better Living: AI and Privacy

 Michael Friedewald , Melek Önen , Eva Lievens , Stephan Krenn , Samuel Fricker
Springer International Publishing, AICT-576, 2020, IFIP Advances in Information and Communication Technology, 978-3-030-42503-6. ⟨10.1007/978-3-030-42504-3⟩
Books hal-03378968v1

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

Creating Value for All Through IT

 Birgitta Bergvall-Kåreborn , Peter Axel Nielsen
Springer, AICT-429, 2014, Creating Value for All Through IT, 978-3-662-43458-1. ⟨10.1007/978-3-662-43459-8⟩
Books hal-01381209v1

Reflections on the History of Computing

 Arthur Tatnall
Springer, AICT-387, 2012, IFIP Advances in Information and Communication Technology (SURVEY), ⟨10.1007/978-3-642-33899-1⟩
Books hal-01526812v1

Formal Techniques for Distributed Objects, Components, and Systems

 Jorge Pérez , Nobuko Yoshida
Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩
Books hal-02313743v1

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges

 Karin Anna Hummel , Helmut Hlavacs , Wilfried Gansterer
Springer, LNCS-6821, 2011, Lecture Notes in Computer Science, 978-3-642-25574-8. ⟨10.1007/978-3-642-25575-5⟩
Books hal-01586887v1

VLSI-SoC: Design Methodologies for SoC and SiP

 Christian Piguet , Ricardo Reis , Dimitrios Soudris
Springer, AICT-313, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-12266-8
Books hal-01552841v1

Computer and Computing Technologies in Agriculture VI

 Daoliang Li , Yingyi Chen
Daoliang Li; Yingyi Chen Springer, AICT-393 (Part II), 2013, IFIP Advances in Information and Communication Technology, 978-3-642-36136-4. ⟨10.1007/978-3-642-36137-1⟩
Books hal-01348291v1

Computer and Computing Technologies in Agriculture IV

 Daoliang Li , Yingyi Chen , Yande Liu
Springer, AICT-344, 2011, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-18333-1⟩
Books hal-01559549v1

VLSI-SoC: New Technology Enabler

 Carolina Metzler , Pierre-Emmanuel Gaillardon , Giovanni de Micheli , Carlos Silva-Cardenas , Ricardo Reis
Springer International Publishing, AICT-586, 2020, IFIP Advances in Information and Communication Technology, 978-3-030-53272-7. ⟨10.1007/978-3-030-53273-4⟩
Books hal-03476615v1

Information Security Theory and Practice

 Raja Naeem Akram , Sushil Jajodia
Raja Naeem Akram; Sushil Jajodia. Springer, LNCS-9311, 2015, Information Security Theory and Practice, 978-3-319-24017-6. ⟨10.1007/978-3-319-24018-3⟩
Books hal-01442559v1

Electronic Participation

 Efthimios Tambouris , Panos Panagiotopoulos , Øystein Sæbø , Maria A. Wimmer , Theresa Pardo , et al.
Springer International Publishing, LNCS-9821, 2016, Lecture Notes in Computer Science, 978-3-319-45073-5. ⟨10.1007/978-3-319-45074-2⟩
Books hal-01637227v1

NETWORKING 2010

 Mark Crovella , Laura Marie Feeney , Dan Rubenstein , S.V. Raghavan
Springer, LNCS-6091, 2010, Lecture Notes in Computer Science, 978-3-642-12962-9. ⟨10.1007/978-3-642-12963-6⟩
Books hal-01555313v1

Critical Infrastructure Protection XIII

 Jason Staggs , Sujeet Shenoi
Springer International Publishing, AICT-570, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-34646-1. ⟨10.1007/978-3-030-34647-8⟩
Books hal-03364567v1

Advances in Digital Forensics XII

 Gilbert Peterson , Sujeet Shenoi
Springer International Publishing, AICT-484, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-46278-3. ⟨10.1007/978-3-319-46279-0⟩
Books hal-01758686v1
Image document

Advances in Digital Forensics XVI

 Gilbert Peterson , Sujeet Shenoi
Springer International Publishing, AICT-589, 2020, IFIP Advances in Information and Communication Technology, 978-3-030-56223-6
Books hal-03657590v1

ICT for Promoting Human Development and Protecting the Environment

 Francisco J. Mata , Ana Pont
Springer, AICT-481, 2016, ICT for Promoting Human Development and Protecting the Environment, 978-3-319-44446-8
Books hal-01429954v1

NETWORKING 2011 - Workshops

 Vicente Casares-Giner , Pietro Manzoni , Ana Pont
Springer, LNCS-6827, 2011, Lecture Notes in Computer Science, 978-3-642-23040-0. ⟨10.1007/978-3-642-23041-7⟩
Books hal-01587831v1

Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data

 Eleni Kosta , Jo Pierson , Daniel Slamanig , Simone Fischer-Hübner , Stephan Krenn
Springer International Publishing, AICT-547, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-16743-1. ⟨10.1007/978-3-030-16744-8⟩
Books hal-02271725v1
Page :