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 for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Marco Bernardo; Pierpaolo Degano; Gianluigi Zavattaro

978-3-540-68894-5

2008
Edition 1

€100 €90
10% OFF
Artificial Intelligence Applications and Innovations

16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part II

Ilias Maglogiannis; Lazaros Iliadis; Elias Pimenidis

978-3-030-49186-4

2020
Edition 1

€180 €162
10% OFF
Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions

Selected Papers from KICSS’2013 - 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland

Andrzej M.J. Skulimowski; Janusz Kacprzyk

978-3-319-19090-7

2016
Edition 1

€280 €252
10% OFF
Advances in Cryptology – ASIACRYPT 2017

23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

Tsuyoshi Takagi; Thomas Peyrin

978-3-319-70697-9

2017
Edition 1

€100 €90
10% OFF
Computer Information Systems and Industrial Management

13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings

Khalid Saeed; Václav Snášel

978-3-662-45237-0

2014
Edition 1

€100 €90
10% OFF
Understanding the Brain Function and Emotions

8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I

José Manuel Ferrández Vicente; José Ramón Álvarez-Sánchez; Félix de la Paz López; Javier Toledo Moreo; Hojjat Adeli

978-3-030-19591-5

2019
Edition 1

€100 €90
10% OFF
Abdominal Imaging -Computational and Clinical Applications

International Workshop, CCAAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Proceedings

Hiroyuki Yoshida; David Hawkes; Michael Vannier

978-3-642-33612-6

2012
Edition 1

€100 €90
10% OFF
Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue; Pedro Merino

978-3-540-79707-4

2008
Edition 1

€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXI

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78305-0

2025
Edition 1

€146 €131
10% OFF
Extensions of Logic Programming

4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

Roy Dyckhoff

978-3-540-48417-2

1994
Edition 1

€100 €90
10% OFF
Computer Vision - ECCV 2000

6th European Conference on Computer Vision Dublin, Ireland, June 26 - July 1, 2000 Proceedings, Part I

David Vernon

978-3-540-45054-2

2000
Edition 1

€180 €162
10% OFF
Functional Imaging and Modeling of the Heart

13th International Conference, FIMH 2025, Dallas, TX, USA, June 1–5, 2025, Proceedings, Part I

Radomír Chabiniok; Qing Zou; Tarique Hussain; Hoang H. Nguyen; Vlad G. Zaha; Maria Gusseva

978-3-031-94559-5

2025
Edition 1

€300 €270
10% OFF
Analysis and Optimization of Systems

Proceedings of the Sixth International Conference on Analysis and Optimization of Systems, Nice, June 19–22, 1984. Part 1

A. Bensoussan; J. L. Lions

978-3-540-39007-7

1984
Edition 1

€100 €90
10% OFF
Applications of Evolutionary Computation

19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

Giovanni Squillero; Paolo Burelli

978-3-319-31204-0

2016
Edition 1

€180 €162
10% OFF
Optimization and Applications

9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers

Yury Evtushenko; Milojica Jaćimović; Michael Khachay; Yury Kochetov; Vlasta Malkova; Mikhail Posypkin

978-3-030-10934-9

2019
Edition 1

€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXVI

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78395-1

2025
Edition 1

€146 €131
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part VIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78186-5

2025
Edition 1

€146 €131
10% OFF
Theory of Quantum Computation, Communication, and Cryptography

Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers

Yasuhito Kawano; Michele Mosca

978-3-540-89304-2

2008
Edition 1

€100 €90
10% OFF
Proceedings of the 4th International Conference on Numerical Modelling in Engineering

Volume 1: Numerical modelling in Civil Engineering, NME 2021, 24-25 August, Ghent University, Belgium

Magd Abdel Wahab

978-981-16-8185-1

2022
Edition 1

€340 €306
10% OFF
Intelligent Agents VIII

8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

John-Jules C. Meyer; Milind Tambe

978-3-540-45448-9

2002
Edition 1

€100 €90
10% OFF
Financial Cryptography and Data Security

FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers

Andrew A. Adams; Michael Brenner; Matthew Smith

978-3-642-41320-9

2013
Edition 1

€90 €81
10% OFF
Computer Engineering and Technology

23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers

Weixia Xu; Liquan Xiao; Jinwen Li; Zhenzhen Zhu

978-981-15-1850-8

2019
Edition 1

€100 €90
10% OFF
Encyclopedia of Sex and Gender

Men and Women in the World's Cultures Topics and Cultures A-K - Volume 1; Cultures L-Z - Volume 2

Carol R. Ember; Melvin Ember

978-0-387-29907-5

2004
Edition 1

€765 €689
10% OFF
Advanced Environments, Tools, and Applications for Cluster Computing

NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

Dan Grigoras; Alex Nicolau; Bernard Toursel; Bertil Folliot

978-3-540-47840-9

2002
Edition 1

€100 €90
10% OFF
Subject-Oriented Business Process Management. Models for Designing Digital Transformations

14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 – June 1, 2023, Proceedings

Matthes Elstermann; Anke Dittmar; Matthias Lederer

978-3-031-40213-5

2023
Edition 1

€150 €135
10% OFF
Bildung im Cyberspace

Vom Grafik-Design zum künstlerischen Arbeiten in Netzen. Entwicklung und Erprobung eines Weiterbildungskonzeptes. Projektband 1

Udo Thiedeke; Deutsches Inst. f. Erwachsenenbildung

978-3-322-83351-8

2000
Edition 1

€173 €156
10% OFF
Information Processing and Management of Uncertainty in Knowledge-Based Systems

20th International Conference, IPMU 2024, Lisbon, Portugal, July 22-26, 2024, Proceedings, Volume 1

Marie-Jeanne Lesot; Susana Vieira; Marek Z. Reformat; João Paulo Carvalho; Fernando Batista; Bernadette Bouchon-Meunier; Ronald R. Yager

978-3-031-74003-9

2024
Edition 1

€380 €342
10% OFF
Generic Programming

International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers

Mehdi Jazayeri; Rüdiger G.K. Loos; David R. Musser

978-3-540-39953-7

2000
Edition 1

€100 €90
10% OFF
Intelligent Systems

11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 – December 1, 2022, Proceedings, Part I

João Carlos Xavier-Junior; Ricardo Araújo Rios

978-3-031-21686-2

2022
Edition 1

€180 €162
10% OFF
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV

Honghai Liu; Zhouping Yin; Lianqing Liu; Li Jiang; Guoying Gu; Xinyu Wu; Weihong Ren

978-3-031-13841-6

2022
Edition 1

€220 €198
10% OFF
Databases Theory and Applications

34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023, Proceedings

Zhifeng Bao; Renata Borovica-Gajic; Ruihong Qiu; Farhana Choudhury; Zhengyi Yang

978-3-031-47843-7

2024
Edition 1

€150 €135
10% OFF
Graph-Based Representation and Reasoning

24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

Dominik Endres; Mehwish Alam; Diana Şotropa

978-3-030-23182-8

2019
Edition 1

€100 €90
10% OFF
Pattern Recognition. Competitions

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXXIV

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-80139-6

2025
Edition 1

€260 €234
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XIX

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78495-8

2025
Edition 1

€300 €270
10% OFF
Computational Intelligence Methods for Bioinformatics and Biostatistics

13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers

Andrea Bracciali; Giulio Caravagna; David Gilbert; Roberto Tagliaferri

978-3-319-67834-4

2017
Edition 1

€100 €90
10% OFF
Middleware 2008

ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

Valérie Issarny; Richard E. Schantz

978-3-540-89856-6

2008
Edition 1

€100 €90
10% OFF
Symmetries and Semiclassical Features of Nuclear Dynamics

Invited Lectures of the 1986 International Summer School Held at Poiana Brasov, Romania, September 1-13, 1986

A.A. Raduta

978-3-540-47112-7

1987
Edition 1

€160 €144
10% OFF
Theory of Security and Applications

Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

Sebastian Moedersheim; Catuscia Palamidessi

978-3-642-27375-9

2012
Edition 1

€100 €90
10% OFF
Constructive Side-Channel Analysis and Secure Design

11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers

Guido Marco Bertoni; Francesco Regazzoni

978-3-030-68773-1

2021
Edition 1

€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part III

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78122-3

2025
Edition 1

€146 €131
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXVII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78398-2

2025
Edition 1

€146 €131
10% OFF
Artificial Intelligence and Soft Computing

13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

Leszek Rutkowski; Marcin Korytkowski; Rafał Scherer; Ryszard Tadeusiewicz; Lotfi A. Zadeh; Jacek M. Zurada

978-3-319-07176-3

2014
Edition 1

€180 €162
10% OFF
Games for Training, Education, Health and Sports

4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings

Stefan Göbel; Josef Wiemeyer

978-3-319-05972-3

2014
Edition 1

€100 €90
10% OFF
Applications of Self-Adjoint Extensions in Quantum Physics

Proceedings of a Conference Held at the Laboratory of Theoretical Physics, JINR, Dubna, USSR, September 29–October 1, 1987

Pavel Exner; Petr Seba

978-3-540-46104-3

1989
Edition 1

€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXXIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-80136-5

2025
Edition 1

€300 €270
10% OFF
Knowledge Intensive Computer Aided Design

IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1–4, 1998, Tokyo, Japan

Susan Finger; Tetsuo Tomiyama; Martti Mäntylä

978-0-387-35582-5

2000
Edition 1

€400 €360
10% OFF
Produktionswirtschaft - Controlling industrieller Produktion

Band 1+2: Grundlagen, Führung und Organisation, Produkte und Produktprogramm, Material und Dienstleistungen, Prozesse

Dietger Hahn; J. Lauber; Gert Laßmann; M. Polke

978-3-662-12805-3

1999
Edition 3

€437 €393
10% OFF
The Practice of Enterprise Modeling

16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings

João Paulo A. Almeida; Monika Kaczmarek-Heß; Agnes Koschmider; Henderik A. Proper

978-3-031-48583-1

2024
Edition 1

€120 €108
10% OFF
OpenMP: Balancing Productivity and Performance Portability

21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings

Yonghong Yan; Michael Klemm; Bronis R. de Supinski; Erik Saule; Jannis Klinkenberg; Swaroop Pophale

978-3-032-06343-4

2026
Edition 1

€114 €103
10% OFF
Metaheuristics and Nature Inspired Computing

9th International Conference, META 2023, Marrakech, Morocco, November 1–4, 2023, Revised Selected Papers

Bernabé Dorronsoro; Rachid Ellaia; El-Ghazali Talbi

978-3-031-69257-4

2024
Edition 1

€140 €126
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.