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

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci; C. R. Ramakrishnan

978-3-642-39176-7

2013
Edition 1

€100 €90
10% OFF
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Tiziana Margaria; Bernhard Steffen

978-3-662-45234-9

2014
Edition 1

€100 €90
10% OFF
Pattern Recognition - Applications and Methods

International Conference, ICPRAM 2012 Vilamoura, Algarve, Portugal, February 6-8, 2012 Revised Selected Papers

Pedro Latorre Carmona; J. Salvador Sánchez; Ana L.N. Fred

978-3-642-36530-0

2013
Edition 1

€280 €252
10% OFF
Emerging Technology Trends in Electronics, Communication and Networking

Third International Conference, ET2ECN 2020, Surat, India, February 7–8, 2020, Revised Selected Papers

Shilpi Gupta; Jignesh N. Sarvaiya

978-981-15-7219-7

2020
Edition 1

€100 €90
10% OFF
Bioinformatics and Biomedical Engineering

7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Ignacio Rojas; Olga Valenzuela; Fernando Rojas; Francisco Ortuño

978-3-030-17938-0

2019
Edition 1

€160 €144
10% OFF
Computer Aided Architectural Design Futures 2001

Proceedings of the Ninth International Conference held at the Eindhoven University of Technology, Eindhoven, The Netherlands, on July 8–11, 2011

Bauke de Vries; Jos P. van Leeuwen; Henri Achten

978-94-010-0868-6

2001
Edition 1

€578 €520
10% OFF
Intelligent Robotics and Applications

4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II

Sabina Jeschke; Honghai Liu; Daniel Schilberg

978-3-642-25489-5

2011
Edition 1

€100 €90
10% OFF
Ubiquitous Mobile Information and Collaboration Systems

Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers

Luciano Baresi; Schahram Dustdar; Harald Gall; Maristella Matera

978-3-540-30188-2

2005
Edition 1

€100 €90
10% OFF
Machine Learning for Cyber Security

Third International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part III

Xiaofeng Chen; Hongyang Yan; Qiben Yan; Xiangliang Zhang

978-3-030-62463-7

2020
Edition 1

€100 €90
10% OFF
Business Modeling and Software Design

Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers

Boris Shishkov

978-3-319-06671-4

2014
Edition 1

€100 €90
10% OFF
Product Focused Software Process Improvement

5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings

Frank Bomarius; Hajimu Iida

978-3-540-24659-6

2004
Edition 1

€100 €90
10% OFF
Intelligent Networked Things

5th China Conference, CINT 2022, Urumqi, China, August 7-8, 2022, Revised Selected Papers

Lin Zhang; Wensheng Yu; Haijun Jiang; Yuanjun Laili

978-981-19-8915-5

2022
Edition 1

€180 €162
10% OFF
Computer Vision – ACCV 2024

17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8–12, 2024, Proceedings, Part VII

Minsu Cho; Ivan Laptev; Du Tran; Angela Yao; Hongbin Zha

978-981-96-0963-5

2025
Edition 1

€300 €270
10% OFF
Artificial Intelligence

30th Benelux Conference, BNAIC 2018, ‘s-Hertogenbosch, The Netherlands, November 8–9, 2018, Revised Selected Papers

Martin Atzmueller; Wouter Duivesteijn

978-3-030-31978-6

2019
Edition 1

€100 €90
10% OFF
Tunneling

Proceedings of the Nineteenth Jerusalem Symposium on Quantum Chemistry and Biochemistry Held in Jerusalem, Israel, May 5–8, 1986

Joshua Jortner; A. Pullman

978-94-009-4752-8

1986
Edition 1

€100 €90
10% OFF
Algorithms and Data Structures

5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings

Frank Dehne; Andrew Rau-Chaplin; Jörg-Rüdiger Sack; Roberto Tamassia

978-3-540-69422-9

1997
Edition 1

€100 €90
10% OFF
Advances in Information Retrieval

39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings

Joemon M Jose; Claudia Hauff; Ismail Sengor Altıngovde; Dawei Song; Dyaa Albakour; Stuart Watt; John Tait

978-3-319-56608-5

2017
Edition 1

€180 €162
10% OFF
Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II

Luca Aceto; Monika Henzinger; Jiri Sgall

978-3-642-22012-8

2011
Edition 1

€180 €162
10% OFF
Generative Programming and Component Engineering

ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings

Don Batory; Charles Consel; Walid Taha

978-3-540-45821-0

2002
Edition 1

€100 €90
10% OFF
Monoclonal Antibodies and Breast Cancer

Proceedings of the International Workshop on Monoclonal Antibodies and Breast Cancer San Francisco, California — November 8–9, 1984

R. Ceriani

978-1-4613-2617-5

1985
Edition 1

€400 €360
10% OFF
Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Mandayam Srivas; Albert Camilleri

978-3-540-49567-3

1996
Edition 1

€100 €90
10% OFF
Advances in Enterprise Engineering VI

Second Enterprise Engineering Working Conference, EEWC 2012, Delft, The Netherlands, May 7-8, 2012, Proceedings

Antonia Albani; David Aveiro; Joseph Barjis

978-3-642-29903-2

2012
Edition 1

€100 €90
10% OFF
Intelligent Robotics and Applications

12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

Haibin Yu; Jinguo Liu; Lianqing Liu; Zhaojie Ju; Yuwang Liu; Dalin Zhou

978-3-030-27541-9

2019
Edition 1

€100 €90
10% OFF
Innovative Security Solutions for Information Technology and Communications

15th International Conference, SecITC 2022, Virtual Event, December 8–9, 2022, Revised Selected Papers

Giampaolo Bella; Mihai Doinea; Helge Janicke

978-3-031-32636-3

2023
Edition 1

€150 €135
10% OFF
Constructive Side-Channel Analysis and Secure Design

4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

Emmanuel Prouff

978-3-642-40026-1

2013
Edition 1

€90 €81
10% OFF
Advanced Intelligent Computing Technology and Applications

20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part XI

De-Shuang Huang; Yijie Pan; Qinhu Zhang

978-981-97-5612-4

2024
Edition 1

€150 €135
10% OFF
Advances in Software Engineering

Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Egon Börger; Antonio Cisternino

978-3-540-89762-0

2008
Edition 1

€419 €377
10% OFF
Advanced Intelligent Computing Technology and Applications

20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part VII

De-Shuang Huang; Chuanlei Zhang; Qinhu Zhang

978-981-97-5600-1

2024
Edition 1

€150 €135
10% OFF
Information Technologies for Performing Arts, Media Access, and Entertainment

Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers

Paolo Nesi; Raffaella Santucci

978-3-642-40050-6

2013
Edition 1

€100 €90
10% OFF
Logic Programming and Nonmonotonic Reasoning

7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Vladimir Lifschitz; Ilkka Niemelä

978-3-540-24609-1

2004
Edition 1

€100 €90
10% OFF
Multimedia Technology and Enhanced Learning

Third EAI International Conference, ICMTEL 2021, Virtual Event, April 8–9, 2021, Proceedings, Part I

Weina Fu; Yuan Xu; Shui-Hua Wang; Yudong Zhang

978-3-030-82562-1

2021
Edition 1

€100 €90
10% OFF
Unifying Theories of Programming

Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Andrew Butterfield

978-3-642-14521-6

2010
Edition 1

€100 €90
10% OFF
Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Ali E. Abdallah; Cliff B. Jones; Jeff W. Sanders

978-3-540-32265-8

2005
Edition 1

€100 €90
10% OFF
Simulation Science

Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers

Nina Gunkelmann; Marcus Baum

978-3-030-45718-1

2020
Edition 1

€100 €90
10% OFF
Advanced Intelligent Computing Technology and Applications

20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part VIII

De-Shuang Huang; Wei Chen; Yijie Pan

978-981-97-5603-2

2024
Edition 1

€170 €153
10% OFF
Environments for Multi-Agent Systems III

Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers

Danny Weyns; H. Van Dyke Parunak; Fabien Michel

978-3-540-71103-2

2007
Edition 1

€100 €90
10% OFF
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky

25th International Conference, AIED 2024, Recife, Brazil, July 8–12, 2024, Proceedings, Part II

Andrew M. Olney; Irene-Angelica Chounta; Zitao Liu; Olga C. Santos; Ig Ibert Bittencourt

978-3-031-64312-5

2024
Edition 1

€280 €252
10% OFF
Biotechnology for Fuels and Chemicals

Proceedings of the Nineteenth Symposium on Biotechnology for Fuels and Chemicals Held May 4-8. 1997, at Colorado Springs, Colorado

Mark Finkelstein; Brian H. Davison

978-1-4612-1814-2

1998
Edition 1

€280 €252
10% OFF
Cellular Automata Technology

4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6–8, 2025, Revised Selected Papers

Supreeti Kamilya; Sukanta Das; Enrico Formenti

978-3-031-94121-4

2025
Edition 1

€340 €306
10% OFF
Social, Cultural, and Behavioral Modeling

10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings

Dongwon Lee; Yu-Ru Lin; Nathaniel Osgood; Robert Thomson

978-3-319-60240-0

2017
Edition 1

€100 €90
10% OFF
Topics in Cryptology - CT-RSA 2001

The Cryptographer's Track at RSA Conference 2001 San Francisco, CA, USA, April 8-12, 2001 Proceedings

David Naccache

978-3-540-45353-6

2001
Edition 1

€100 €90
10% OFF
Critical Information Infrastructures Security

12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers

Gregorio D'Agostino; Antonio Scala

978-3-319-99843-5

2018
Edition 1

€100 €90
10% OFF
Agile Methods

11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers

Carla Rocha; Celio Santana Júnior; Fernando De Sá; Tiago Silva da Silva

978-3-031-25648-6

2023
Edition 1

€130 €117
10% OFF
Radio Frequency Identification: Security and Privacy Issues

6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers

Siddika Berna Ors Yalcin

978-3-642-16822-2

2010
Edition 1

€100 €90
10% OFF
Parameterized and Exact Computation

6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

Dániel Marx; Peter Rossmanith

978-3-642-28050-4

2012
Edition 1

€100 €90
10% OFF
Data Science

30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings

Sebastian Maneth

978-3-319-20424-6

2015
Edition 1

€94 €85
10% OFF
Argumentation in Multi-Agent Systems

Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers

Nicolas Maudet; Simon D. Parsons; Iyad Rahwan

978-3-540-75526-5

2007
Edition 1

€100 €90
10% OFF
Intelligent Robotics and Applications

12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II

Haibin Yu; Jinguo Liu; Lianqing Liu; Zhaojie Ju; Yuwang Liu; Dalin Zhou

978-3-030-27532-7

2019
Edition 1

€100 €90
10% OFF
Information Management

10th International Conference, ICIM 2024, Cambridge, UK, March 8–10, 2024, Revised Selected Papers

Shuliang Li

978-3-031-64359-0

2024
Edition 1

€240 €216
10% OFF
Image and Graphics

11th International Conference, ICIG 2021, Haikou, China, August 6–8, 2021, Proceedings, Part III

Yuxin Peng; Shi-Min Hu; Moncef Gabbouj; Kun Zhou; Michael Elad; Kun Xu

978-3-030-87361-5

2021
Edition 1

€220 €198
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.