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 Methods: Foundations and Applications

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings

Maurice H. ter Beek; Leopoldo Teixeira

978-3-032-12086-1

2026
Edition 1

€114 €103
10% OFF
Information Technology in Bio- and Medical Informatics

6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings

M. Elena Renda; Miroslav Bursa; Andreas Holzinger; Sami Khuri

978-3-319-22741-2

2015
Edition 1

€80 €72
10% OFF
Automated Deduction in Geometry

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Xiao-lu Gao; Dongming Wang; Lu Yang

978-3-540-47997-0

1999
Edition 1

€100 €90
10% OFF
Operations Research Proceedings 1999

Selected Papers of the Symposium on Operations Research (SOR ’99), Magdeburg, September 1–3, 1999

Karl Inderfurth; Gerhard Schwödiauer; Wolfgang Domschke; Friedrich Juhnke; Peter Kleinschmidt; Gerhard Wäscher

978-3-642-58300-1

2000
Edition 1

€467 €420
10% OFF
Algorithmic Learning Theory

20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009, Proceedings

Ricard Gavaldà; Gabor Lugosi; Thomas Zeugmann; Sandra Zilles

978-3-642-04414-4

2009
Edition 1

€100 €90
10% OFF
Foundations of Intelligent Systems

26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3–5, 2022, Proceedings

Michelangelo Ceci; Sergio Flesca; Elio Masciari; Giuseppe Manco; Zbigniew W. Raś

978-3-031-16564-1

2022
Edition 1

€100 €90
10% OFF
Software Engineering Approaches for Offshore and Outsourced Development

Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Olly Gotel; Mathai Joseph; Bertrand Meyer

978-3-642-02987-5

2009
Edition 1

€100 €90
10% OFF
Information Security

4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings

George I. Davida; Yair Frankel

978-3-540-45439-7

2001
Edition 1

€100 €90
10% OFF
Modeling Decisions for Artificial Intelligence

Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings

Vincenc Torra; Yasuo Narukawa; Aïda Valls; Josep Domingo-Ferrer

978-3-540-32781-3

2006
Edition 1

€100 €90
10% OFF
Trust, Privacy and Security in Digital Business

6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009, Proceedings

Simone Fischer-Hübner; Costas Lambrinoudakis; Günther Pernul

978-3-642-03748-1

2009
Edition 1

€100 €90
10% OFF
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV

International Workshop, COINE 2021, London, UK, May 3, 2021, Revised Selected Papers

Andreas Theodorou; Juan Carlos Nieves; Marina De Vos

978-3-031-16617-4

2022
Edition 1

€110 €99
10% OFF
Fundamentals of Computation Theory

11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings

Bogdan S. Chlebus; Ludwik Czaja

978-3-540-69529-5

1997
Edition 1

€100 €90
10% OFF
Advanced Mineralogy

Volume 3: Mineral Matter in Space, Mantle, Ocean Floor, Biosphere, Environmental Management, and Jewelry

Arnold S. Marfunin

978-3-642-18154-2

1998
Edition 1

€400 €360
10% OFF
Virtual Worlds

First International Conference, VW’98 Paris, France, July 1–3, 1998 Proceedings

Jean-Claude Heudin

978-3-540-68686-6

1998
Edition 1

€100 €90
10% OFF
Genetic Programming

5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings

James A. Foster; Evelyne Lutton; Julian F. Miller; Conor Ryan; Andra G.B. Tezzamanzi

978-3-540-45984-2

2002
Edition 1

€100 €90
10% OFF
Ambient Intelligence

First European Symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3.-4, 2003, Proceedings

Emile Aarts; René Collier; Evert van Loenen; Boris de Ruyter

978-3-540-39863-9

2003
Edition 1

€100 €90
10% OFF
Innovations in ICT: Sustainability for Societal and Industrial Impact

Proceedings of 5th International Conference on Data Engineering and Communication Technology (ICDECT 2024), Volume 3

Vikrant Bhateja; Vazeerudeen Abdul Hameed; Siba K. Udgata; Jinshan Tang

978-981-96-5220-4

2025
Edition 1

€479 €431
10% OFF
Software Process Improvement

15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008, Proceedings

Rory O'Connor; Nathan Baddoo; Kari Smolander; Richard Messnarz

978-3-540-85936-9

2008
Edition 1

€180 €162
10% OFF
Mining Intelligence and Knowledge Exploration

9th International Conference, MIKE 2021, Hammamet, Tunisia, November 1–3, 2021, Proceedings

Richard Chbeir; Yannis Manolopoulos; Rajendra Prasath

978-3-031-21517-9

2022
Edition 1

€130 €117
10% OFF
Intelligent Computing in Bioinformatics

10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

De-Shuang Huang; Kyungsook Han; Michael Gromiha

978-3-319-09330-7

2014
Edition 1

€100 €90
10% OFF
Big Data Analytics and Knowledge Discovery

20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings

Carlos Ordonez; Ladjel Bellatreche

978-3-319-98539-8

2018
Edition 1

€100 €90
10% OFF
Distributed Computing and Networking

14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Davide Frey; Michel Raynal; Saswati Sarkar; Rudrapatna K. Shyamasundar; Prasun Sinha

978-3-642-35668-1

2013
Edition 1

€100 €90
10% OFF
Implementation and Application of Automata

28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings

Szilárd Zsolt Fazekas

978-3-031-71112-1

2024
Edition 1

€260 €234
10% OFF
Business Modeling and Software Design

15th International Symposium, BMSD 2025, Milan, Italy, July 1–3, 2025, Proceedings

Boris Shishkov

978-3-031-98033-6

2026
Edition 1

€260 €234
10% OFF
Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Tarmo Uustalu

978-3-540-35632-5

2006
Edition 1

€100 €90
10% OFF
Dark Matter in Astro- and Particle Physics

Proceedings of the International Conference DARK 2004, College Station, USA, 3-9 October, 2004

Hans-Volker Klapdor-Kleingrothaus; Richard Arnowitt

978-3-540-26373-9

2006
Edition 1

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

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Giuseppe Borruso; Carmelo M. Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Elena Stankova; Alfredo Cuzzocrea

978-3-319-62404-4

2017
Edition 1

€100 €90
10% OFF
Practical Aspects of Knowledge Management

4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings

Dimitris Karagiannis; Ulrich Reimer

978-3-540-36277-7

2002
Edition 1

€180 €162
10% OFF
Information Security

6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings

Colin Boyd; Wenbo Mao

978-3-540-39981-0

2003
Edition 1

€100 €90
10% OFF
Business Information Systems

13th International Conference, BIS 2010, Berlin, Germany, May 3-5, 2010, Proceedings

Witold Abramowicz; Robert Tolksdorf

978-3-642-12814-1

2010
Edition 1

€100 €90
10% OFF
Discrete Geometry for Computer Imagery

10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002. Proceedings

Achille Braquelaire; Jacques-Olivier Lauchaud; Anne Vialard

978-3-540-45986-6

2002
Edition 1

€100 €90
10% OFF
EPIA'91

5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings

Pedro Barahona; Luis Moniz Pereira; Antonio Porto

978-3-540-38459-5

1991
Edition 1

€100 €90
10% OFF
Business Information Systems Workshops

BIS 2010 International Workshop, Berlin, Germany, May 3-5, 2010, Revised Papers

Witold Abramowicz; Robert Tolksdorf; Krzysztof Wecel

978-3-642-15402-7

2010
Edition 1

€100 €90
10% OFF
Artificial Intelligence and Internet of Things

Proceedings of the 8th International Symposium, MISC 2024, Tamanghasset, Algeria, December 1-3, 2024

Salim Chikhi; Amine Bermak; Abdelmalek Amine; Allaoua Chaoui; Djamel Eddine Saidouni; Mohamed Khireddine Kholladi

978-3-031-82112-7

2025
Edition 1

€380 €342
10% OFF
Quantitative Evaluation of Systems

12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Javier Campos; Boudewijn R. Haverkort

978-3-319-22264-6

2015
Edition 1

€100 €90
10% OFF
Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Madhavan Mukund; Supratik Chakraborty

978-3-642-33386-6

2012
Edition 1

€100 €90
10% OFF
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection

14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

Yves Demazeau; Takayuki Ito; Javier Bajo; Maria José Escalona

978-3-319-39324-7

2016
Edition 1

€100 €90
10% OFF
Fahrerassistenzsysteme 2017

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

Rolf Isermann

978-3-658-19059-0

2017
Edition 1

€514 €463
10% OFF
Computer Vision Systems

Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

James Crowley; Justus Piater; Markus Vincze; Lucas Paletta

978-3-540-36592-1

2003
Edition 1

€180 €162
10% OFF
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Deepak D'Souza; K. Narayan Kumar

978-3-319-68167-2

2017
Edition 1

€100 €90
10% OFF
Simulation for a Sustainable Future

11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3–5, 2023, Proceedings, Part I

Miguel Mujica Mota; Paolo Scala

978-3-031-68435-7

2024
Edition 1

€200 €180
10% OFF
Multimedia Communications, Services and Security

4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011. Proceedings

Andrzej Dziech; Andrzej Czyzewski

978-3-642-21512-4

2011
Edition 1

€100 €90
10% OFF
Modular Functions of One Variable II

Proceedings International Summer School, University of Antwerp, RUCA, July 17 - August 3, 1972

P. Deligne; Willem Kuyk

978-3-540-37855-6

1973
Edition 1

€130 €117
10% OFF
Safety-Critical Systems: Problems, Process and Practice

Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009

Chris Dale; Tom Anderson

978-1-84882-349-5

2009
Edition 1

€280 €252
10% OFF
Multimedia Communications, Services and Security

11th International Conference, MCSS 2022, Kraków, Poland, November 3–4, 2022, Proceedings

Andrzej Dziech; Wim Mees; Marcin Niemiec

978-3-031-20215-5

2022
Edition 1

€140 €126
10% OFF
Operations Research Proceedings 2001

Selected Papers of the International Conference on Operations Research (OR 2001), Duisburg, September 3–5, 2001

Peter Chamoni; Rainer Leisten; Alexander Martin; Joachim Minnemann; Hartmut Stadtler

978-3-642-50282-8

2002
Edition 1

€100 €90
10% OFF
Relational and Algebraic Methods in Computer Science

20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings

Roland Glück; Luigi Santocanale; Michael Winter

978-3-031-28083-2

2023
Edition 1

€110 €99
10% OFF
Multi-disciplinary Trends in Artificial Intelligence

14th International Conference, MIWAI 2021, Virtual Event, July 2–3, 2021, Proceedings

Phatthanaphong Chomphuwiset; Junmo Kim; Pornntiwa Pawara

978-3-030-80253-0

2021
Edition 1

€100 €90
10% OFF
Intelligent Computing and Technologies

Second International Conference, ICTCon 2024, Kokrajhar, India, December 2–3, 2024, Proceedings

Pankaj Pratap Singh; Shitala Prasad; Pranav Kumar Singh; Petia Radeva

978-3-032-10250-8

2026
Edition 1

€180 €162
10% OFF

Not published yet

Available from
2026-01-16
Evolutionary Computation in Combinatorial Optimization

13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf; Christian Blum

978-3-642-37198-1

2013
Edition 1

€90 €81
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.