License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

View Cart

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Sriram Sankaranarayanan; Enrico Vicario

978-3-319-22975-1

2015
Edition 1

€100 €90
10% OFF
Computational Science and Its Applications - ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42089-9

2016
Edition 1

€100 €90
10% OFF
Cyberspace Safety and Security

15th International Symposium, CSS 2025, Hangzhou, China, July 4–7, 2025, Proceedings

Yang Xiang; Jian Shen

978-981-95-3551-4

2026
Edition 1

€146 €131
10% OFF

Not published yet

Available from
2025-12-22
The Human Society and the Internet: Internet Related Socio-Economic Issues

First International Conference, Human.Society.Internet 2001, Seoul, Korea, July 4-6 2001. Proceedings

Won Kim; Tok-Wang Ling; Yoon-Joon Lee; Seung-Soo Park

978-3-540-47749-5

2001
Edition 1

€100 €90
10% OFF
Ant Colony Optimization and Swarm Intelligence

5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings

Marco Dorigo; Luca Maria Gambardella; Mauro Birattari; Alcherio Martinoli; Riccardo Poli; Thomas Stützle

978-3-540-38483-0

2006
Edition 1

€180 €162
10% OFF
Algorithmic Game Theory

16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings

Argyrios Deligkas; Aris Filos-Ratsikas

978-3-031-43254-5

2023
Edition 1

€160 €144
10% OFF
Combinatorial Optimization and Applications

5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings

Weifan Wang; Xuding Zhu; Ding-Zhu Du

978-3-642-22616-8

2011
Edition 1

€100 €90
10% OFF
Model and Data Engineering

12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings

Mohamed Mosbah; Tahar Kechadi; Ladjel Bellatreche; Faiez Gargouri

978-3-031-49333-1

2024
Edition 1

€150 €135
10% OFF
Artificial Intelligence: Methodology, Systems, and Applications

13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings

Daniel Dochev; Paolo Traverso; Marco Pistore

978-3-540-85776-1

2008
Edition 1

€100 €90
10% OFF
Fuzzy Logik

Theorie und Praxis 4. Dortmunder Fuzzy-Tage Dortmund, 6.–8. Juni 1994

Bernd Reusch

978-3-642-79386-8

1994
Edition 1

€201 €181
10% OFF
Sequences and Their Applications -- SETA 2012

7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings

Tor Helleseth; Jonathan Jedwab

978-3-642-30615-0

2012
Edition 1

€100 €90
10% OFF
New Developments in Semiconductor Physics

Proceedings of the Third Summer School, Held at Szeged, Hungary, August 31 – September 4, 1987

George Ferenczi; F. Beleznay

978-3-540-39145-6

1988
Edition 1

€100 €90
10% OFF
Advances in Computing Science – ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing

7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings

Jean-Marie Alain

978-3-540-36184-8

2002
Edition 1

€100 €90
10% OFF
Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra

4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986. Proceedings

Thomas Beth; Michael Clausen

978-3-540-39133-3

1988
Edition 1

€100 €90
10% OFF
Information Security and Privacy

10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings

Colin Boyd; Juan M. González Nieto

978-3-540-31684-8

2005
Edition 1

€100 €90
10% OFF
Discovery Science

Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings

Setsuo Arikawa; Shinichi Morishita

978-3-540-44418-3

2000
Edition 1

€100 €90
10% OFF
Dynamic Data Driven Applications Systems

Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings

Frederica Darema; Erik Blasch; Sai Ravela; Alex Aved

978-3-030-61725-7

2020
Edition 1

€100 €90
10% OFF
Advances in Case-Based Reasoning

8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings

Thomas Roth-Berghofer; Mehmet H. Göker; H. Altay Güvenir

978-3-540-36846-5

2006
Edition 1

€100 €90
10% OFF
Fahrerassistenzsysteme 2018

Von der Assistenz zum automatisierten Fahren 4. Internationale ATZ-Fachtagung Automatisiertes Fahren

Torsten Bertram

978-3-658-23751-6

2019
Edition 1

€421 €379
10% OFF
Security Protocols

11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

Bruce Christianson; Bruno Crispo; James A. Malcolm; Michael Roe

978-3-540-31836-1

2005
Edition 1

€100 €90
10% OFF
Analytical and Stochastic Modeling Techniques and Applications

19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Khalid Al-Begain; Dieter Fiems; Jean-Marc Vincent

978-3-642-30782-9

2012
Edition 1

€100 €90
10% OFF
Advances in Rice Blast Research

Proceedings of the 2nd International Rice Blast Conference 4–8 August 1998, Montpellier, France

D. Tharreau; M.H. Lebrun; N.J. Talbot; J.L. Notteghem

978-94-015-9430-1

2000
Edition 1

€280 €252
10% OFF
Software Engineering for Resilient Systems

5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Anatoliy Gorbenko; Alexander Romanovsky; Vyacheslav Kharchenko

978-3-642-40894-6

2013
Edition 1

€90 €81
10% OFF
The Use of Supercomputers in Stellar Dynamics

Proceedings of a Workshop Held at the Institute for Advanced Study, Princeton, USA, June 2-4, 1986

Piet Hut; Stephen L.W. McMillian

978-3-540-47361-9

1986
Edition 1

€160 €144
10% OFF
Logical Aspects of Computational Linguistics

7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

Denis Bechet; Alexandre Dikovsky

978-3-642-31262-5

2012
Edition 1

€100 €90
10% OFF
Database and Expert Systems Applications

11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings

Mohamed Ibrahim; Josef Küng; Norman Revell

978-3-540-44469-5

2000
Edition 1

€180 €162
10% OFF
Algebraic Methodology and Software Technology

7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings

Armando M. Haeberer

978-3-540-49253-5

1999
Edition 1

€100 €90
10% OFF
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

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

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

978-3-030-59728-3

2020
Edition 1

€180 €162
10% OFF
Swarm Intelligence

13th International Conference, ANTS 2022, Málaga, Spain, November 2–4, 2022, Proceedings

Marco Dorigo; Heiko Hamann; Manuel López-Ibáñez; José García-Nieto; Andries Engelbrecht; Carlo Pinciroli; Volker Strobel; Christian Camacho-Villalón

978-3-031-20176-9

2022
Edition 1

€150 €135
10% OFF
Structural Information and Communication Complexity

32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings

Ulrich Schmid; Roman Kuznets

978-3-031-91736-3

2025
Edition 1

€280 €252
10% OFF
Chemical Evolution: Physics of the Origin and Evolution of Life

Proceedings of the Fourth Trieste Conference on Chemical Evolution, Trieste, Italy, 4–8 September 1995

Julian Chela-Flores; François Raulin

978-94-009-1712-5

1996
Edition 1

€400 €360
10% OFF
String Processing and Information Retrieval

28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings

Thierry Lecroq; Hélène Touzet

978-3-030-86692-1

2021
Edition 1

€130 €117
10% OFF
Telematics and Computing

8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings

Miguel Felix Mata-Rivera; Roberto Zagal-Flores; Cristian Barría-Huidobro

978-3-030-33229-7

2019
Edition 1

€100 €90
10% OFF
Noise and Vibration Mitigation for Rail Transportation Systems

Proceedings of the 9th International Workshop on Railway Noise, Munich, Germany, 4 - 8 September 2007

Burkhard Schulte-Werning; David Thompson; Pierre-Etienne Gautier; Carl Hanson; Brian Hemsworth; James Nelson; Tatsuo Maeda; Paul de Vos

978-3-540-74893-9

2008
Edition 1

€400 €360
10% OFF
Computational Science and Its Applications – ICCSA 2022

22nd International Conference, Malaga, Spain, July 4–7, 2022, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Eligius M. T. Hendrix; David Taniar; Bernady O. Apduhan

978-3-031-10450-3

2022
Edition 1

€240 €216
10% OFF
Multi-Agent Systems and Agent-Based Simulation

First International Workshop, MABS '98, Paris, France, July 4-6, 1998, Proceedings

Jaime S. Sichman; Rosaria Conte; Nigel Gilbert

978-3-540-49246-7

1998
Edition 1

€100 €90
10% OFF
Advances in Information Technology

4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010, Proceedings

Borworn Papasratorn; Kittichai Lavangnananda; Wichian Chutimaskul; Vajirasak Vanijja

978-3-642-16699-0

2010
Edition 1

€100 €90
10% OFF
Distributed Computing

14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings

Maurice Herlihy

978-3-540-40026-4

2000
Edition 1

€100 €90
10% OFF
Computational Science and Its Applications - ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42111-7

2016
Edition 1

€170 €153
10% OFF
Computational Science and Its Applications – ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42092-9

2016
Edition 1

€100 €90
10% OFF
Document Analysis and Recognition - ICDAR 2024

18th International Conference, Athens, Greece, August 30–September 4, 2024, Proceedings, Part I

Elisa H. Barney Smith; Marcus Liwicki; Liangrui Peng

978-3-031-70533-5

2024
Edition 1

€146 €131
10% OFF
Intelligent Agents for Telecommunication Applications

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

Sahin Albayrak; Francisco J. Garijo

978-3-540-69102-0

1998
Edition 1

€100 €90
10% OFF
Information Security and Cryptology - ICISC 2009

12th International Conference, Seoul, Korea, December 2-4. 2009. Revised Selected Papers

Donghoon Lee; Seokhie Hong

978-3-642-14423-3

2010
Edition 1

€100 €90
10% OFF
Active Media Technology

8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings

Runhe Huang; Ali A. Ghorbani; Takahira Yamaguchi; Gabriella Pasi; Neil Yen; Beihong Jin

978-3-642-35236-2

2012
Edition 1

€100 €90
10% OFF
Computational Science and Its Applications – ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42108-7

2016
Edition 1

€100 €90
10% OFF
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Louis-Martin Rousseau; Kostas Stergiou

978-3-030-19212-9

2019
Edition 1

€100 €90
10% OFF
Patterns and Processes of Speciation in Ancient Lakes

Proceedings of the Fourth Symposium on Speciation in Ancient Lakes, Berlin, Germany, September 4-8, 2006

Thomas Wilke; Risto Väinolä; Frank Riedel

978-1-4020-9582-5

2009
Edition 1

€400 €360
10% OFF
Reversible Computation

16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings

Torben Ægidius Mogensen; Łukasz Mikulski

978-3-031-62076-8

2024
Edition 1

€180 €162
10% OFF
Web Reasoning and Rule Systems

9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Balder ten Cate; Alessandra Mileo

978-3-319-22002-4

2015
Edition 1

€80 €72
10% OFF
Technologies for Interactive Digital Storytelling and Entertainment

Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings

Stefan Göbel; Rainer Malkewitz; Ido Iurgel

978-3-540-49935-0

2006
Edition 1

€100 €90
10% OFF

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.