License single eBooks

Your results

View Cart

Stabilization, Safety, and Security of Distributed Systems

20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Taisuke Izumi; Petr Kuznetsov

978-3-030-03232-6

2018
Edition 1
€100
Adaptive and Natural Computing Algorithms

11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini; Alberto Antonioni; Fabio Daolio; Pierre Buesser

978-3-642-37213-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Computational Science – ICCS 2024

24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II

Leonardo Franco; Clélia de Mulatier; Maciej Paszynski; Valeria V. Krzhizhanovskaya; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-63751-3

2024
Edition 1
€300
Security, Privacy, and Applied Cryptography Engineering

Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings

Andrey Bogdanov; Somitra Sanadhya

978-3-642-34416-9

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€90
Reversible Computation

17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings

Robert Glück; Robin Kaarsgaard

978-3-031-97063-4

2025
Edition 1
€130
Future Access Enablers for Ubiquitous and Intelligent Infrastructures

6th EAI International Conference, FABULOUS 2022, Virtual Event, May 4, 2022, Proceedings

Dragan Perakovic; Lucia Knapcikova

978-3-031-15101-9

2022
Edition 1
€100
Applications and Techniques in Information Security

6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings

Wenjia Niu; Gang Li; Jiqiang Liu; Jianlong Tan; Li Guo; Zhen Han; Lynn Batten

978-3-662-48683-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Weimarer Nietzsche-Bibliographie in 5 Bänden

Band 4: Sekundärliteratur: Zu Nietzsches philosophisch-literarischem Werk insgesamt; zu einzelnen Werken

;

978-3-476-02733-7

2002
Edition 1
€360
Theoretical Computer Science

7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

Antonio Restivo; Simona Ronchi Della Rocca; Luca Roversi

978-3-540-45446-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales

Proceedings of the IUTAM Symposium held in Hong Kong, China, 31 May - 4 June, 2004

Q. P. Sun; P. Tong

978-1-4020-4946-0

2006
Edition 1
- Size effects on material and structural behaviors are of great interest to physicists, material scientists, and engineers who need to understand and model the mechanical behavior of solids especially at micron- and nano-scales
€280
Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet

Second International Workshop, CIA'98, Paris, France, July 4-7, 1998, Proceedings

Matthias Klusch; Gerhard Weiß

978-3-540-69109-9

1998
Edition 1
€100
Green, Pervasive, and Cloud Computing

17th International Conference, GPC 2022, Chengdu, China, December 2–4, 2022, Proceedings

Chen Yu; Jiehan Zhou; Xianhua Song; Zeguang Lu

978-3-031-26118-3

2023
Edition 1
€130
Distributed Computing

18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings

Rachid Guerraoui

978-3-540-30186-8

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Constructive Side-Channel Analysis and Secure Design

14th International Workshop, COSADE 2023, Munich, Germany, April 3–4, 2023, Proceedings

Elif Bilge Kavun; Michael Pehl

978-3-031-29497-6

2023
Edition 1
€130
Research and Advanced Technology for Digital Libraries

5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001. Proceedings

Panos Constantopoulos; Ingeborg T. Solvberg

978-3-540-44796-2

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Theoretical Aspects of Software Engineering

17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

Cristina David; Meng Sun

978-3-031-35257-7

2023
Edition 1
€150
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Alexander Romanovsky; Elena A. Troubitsyna

978-3-319-65948-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advanced Information Systems Engineering

13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings

Klaus R. Dittrich; Andreas Geppert; Moira C. Norrie

978-3-540-45341-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Jonathan P. Bowen; Michael G. Hinchey; David Till

978-3-540-68490-9

1997
Edition 1
€100
Computational Science – ICCS 2024

24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI

Leonardo Franco; Clélia de Mulatier; Maciej Paszynski; Valeria V. Krzhizhanovskaya; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-63778-0

2024
Edition 1
€300
Digital Economy. Emerging Technologies and Business Innovation

8th International Conference, ICDEc 2023, Braga, Portugal, May 2–4, 2023, Proceedings

Rim Jallouli; Mohamed Anis Bach Tobji; Meriam Belkhir; Ana Maria Soares; Beatriz Casais

978-3-031-42788-6

2023
Edition 1
€160
Pattern Recognition and Image Analysis

10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4–6, 2022, Proceedings

Armando J. Pinho; Petia Georgieva; Luís F. Teixeira; Joan Andreu Sánchez

978-3-031-04881-4

2022
Edition 1
€180
Cardiac Arrhythmias: New Therapeutic Drugs and Devices

Proceedings of the Symposium on New Drugs and Devices, held at Philadelphia, PA October 4 and 5, 1984

J. Morganroth; E. Neil Moore

978-1-4613-2595-6

1985
Edition 1
€280
Distributed Algorithms

6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings

Adrian Segall; Shmuel Zaks

978-3-540-47484-5

1992
Edition 1
€100
Functional and Logic Programming

12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Michael Codish; Eijiro Sumii

978-3-319-07151-0

2014
Edition 1
€100
Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Doron A. Peled; Yih-Kuen Tsay

978-3-540-31969-6

2005
Edition 1
€100
Formal Methods: Foundations and Applications

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

Haniel Barbosa; Yoni Zohar

978-3-031-49342-3

2024
Edition 1
€110
Advances in Grid and Pervasive Computing

4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings

Nabil Abdennadher; Dana Petcu

978-3-642-01671-4

2009
Edition 1
€100
Product-Focused Software Process Improvement

16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Pekka Abrahamsson; Luis Corral; Markku Oivo; Barbara Russo

978-3-319-26844-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Artificial Immune Systems

5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings

Hugues Bersini; Jorge Carneiro

978-3-540-37751-1

2006
Edition 1
€100
Data Warehousing and Knowledge Discovery

8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings

A Min Tjoa

978-3-540-37737-5

2006
Edition 1
€180
Research in Attacks, Intrusions, and Defenses

18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings

Herbert Bos; Fabian Monrose; Gregory Blanc

978-3-319-26362-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Innovation for Systems Information and Decision

Second International Meeting, INSID 2020, Recife, Brazil, December 2–4, 2020, Proceedings

Adiel Teixeira de Almeida; Danielle Costa Morais

978-3-030-64399-7

2020
Edition 1
€100
Advances in Multimedia Modeling

18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012, Proceedings

Klaus Schoeffmann; Bernard Mérialdo; Alexander G. Hauptmann; Chong-Wah Ngo; Yiannis Andreopoulos; Christian Breiteneder

978-3-642-27355-1

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Science and Technologies for Smart Cities

5th EAI International Summit, SmartCity360, Braga, Portugal, December 4-6, 2019, Proceedings

Henrique Santos; Gabriela Viale Pereira; Matthias Budde; Sérgio F. Lopes; Predrag Nikolic

978-3-030-51005-3

2020
Edition 1
€100
Software Process Improvement and Capability Determination

13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

Tanja Woronowicz; Terry Rout; Rory V. O’Connor; Alec Dorling

978-3-642-38833-0

2013
Edition 1
- Fast-track conference proceedings State-of-the-art research Up-to-date results
€100
Pairing-Based Cryptography - Pairing 2007

First International Conference, Pairing 2007, Tokyo, Japan, July 2-4, 2007, Proceedings

Tsuyoshi Takagi; Tatsuaki Okamoto; Eiji Okamoto; Takeshi Okamoto

978-3-540-73489-5

2007
Edition 1
€100
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Alessandro Cimatti; Marjan Sirjani

978-3-319-66197-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Web and Internet Economics

19th International Conference, WINE 2023, Shanghai, China, December 4–8, 2023, Proceedings

Jugal Garg; Max Klimm; Yuqing Kong

978-3-031-48974-7

2024
Edition 1
€260
Collaboration Technologies and Social Computing

31st International Conference, CollabTech 2025, Jakarta, Indonesia, November 4–7, 2025, Proceedings

Irene-Angelica Chounta; Hironori Egi; Ari Nugraha; Harry Budi Santoso; Tomoo Inoue; Tamara Adriani Salim

978-3-032-10156-3

2026
Edition 1
€130
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part IV

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59719-1

2020
Edition 1
€260
Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Annabelle McIver; Andras Horvath

978-3-319-99154-2

2018
Edition 1
€100
Secure IT Systems

21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings

Billy Bob Brumley; Juha Röning

978-3-319-47560-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Distributed Computing and Internet Technology

8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Ram Ramanujam; Srini Ramaswamy

978-3-642-28073-3

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Scalable Uncertainty Management

11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Serafín Moral; Olivier Pivert; Daniel Sánchez; Nicolás Marín

978-3-319-67582-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Multiple Access Communications

8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings

Magnus Jonsson; Alexey Vinel; Boris Bellalta; Olav Tirkkonen

978-3-319-23440-3

2015
Edition 1
- Up-to-date results
€80
Programming Languages and Systems

Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

Wei-Ngan Chin

978-3-540-30477-7

2004
Edition 1
€100
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors

12th International Conference, PERSUASIVE 2017, Amsterdam, The Netherlands, April 4–6, 2017, Proceedings

Peter W. de Vries; Harri Oinas-Kukkonen; Liseth Siemons; Nienke Beerlage-de Jong; Lisette van Gemert-Pijnen

978-3-319-55134-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€130
Business Process Management

6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008, Proceedings

Marlon Dumas; Manfred Reichert; Ming-Chien Shan

978-3-540-85758-7

2008
Edition 1
€100
Thermal Imaging Techniques

Proceedings of a Conference Held October 4–5, 1962 at Arthur D. Little, Inc., Cambridge, Massachusetts

Peter E. Glaser

978-1-4899-5645-3

1964
Edition 1
€100

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.