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

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Jean-Pierre Jouannaud; Zhong Shao

978-3-642-25379-9

2011
Edition 1

€100 €90
10% OFF
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97557-8

2025
Edition 1

€160 €144
10% OFF
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97573-8

2025
Edition 1

€146 €131
10% OFF
Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Guido Governatori; Giovanni Sartor

978-3-642-14183-6

2010
Edition 1

€100 €90
10% OFF
Natural Language Processing and Chinese Computing

4th CCF Conference, NLPCC 2015, Nanchang, China, October 9-13, 2015, Proceedings

Juanzi Li; Heng Ji; Dongyan Zhao; Yansong Feng

978-3-319-25207-0

2015
Edition 1

€100 €90
10% OFF
Similarity Search and Applications

5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012, Proceedings

Gonzalo Navarro; Vladimir Pestov

978-3-642-32153-5

2012
Edition 1

€90 €81
10% OFF
Logic, Rationality, and Interaction

4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Davide Grossi; Olivier Roy; Huaxin Huang

978-3-642-40948-6

2013
Edition 1

€100 €90
10% OFF
Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Jean-Yves Girard

978-3-540-48959-7

1999
Edition 1

€100 €90
10% OFF
Swarm Intelligence

14th International Conference, ANTS 2024, Konstanz, Germany, October 9–11, 2024, Proceedings

Heiko Hamann; Marco Dorigo; Leslie Pérez Cáceres; Andreagiovanni Reina; Jonas Kuckling; Tanja Katharina Kaiser; Mohammad Soorati; Ken Hasselmann; Eduard Buss

978-3-031-70932-6

2024
Edition 1

€114 €103
10% OFF
Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Yuting Chen; Hiroyuki Okamura; Shaoying Liu

978-981-95-6032-5

2026
Edition 1

Not published yet

Available from
2026-02-07
Distributed Algorithms

5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings

Sam Toueg; Paul G. Spirakis; Lefteris Kirousis

978-3-540-46789-2

1992
Edition 1

€100 €90
10% OFF
Neural Information Processing

22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

Sabri Arik; Tingwen Huang; Weng Kin Lai; Qingshan Liu

978-3-319-26561-2

2015
Edition 1

€100 €90
10% OFF
Information and Software Technologies

20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings

Giedre Dregvaite; Robertas Damasevicius

978-3-319-11958-8

2014
Edition 1

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

16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings

Khalid Al-Begain; Dieter Fiems; Gábor Horváth

978-3-642-02205-0

2009
Edition 1

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

5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings

Dimitris Karagiannis

978-3-540-48796-8

1994
Edition 1

€180 €162
10% OFF
Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Lucas Lima; Vince Molnár

978-3-031-22476-8

2022
Edition 1

€110 €99
10% OFF
Intelligent Interactive Assistance and Mobile Multimedia Computing

International Conference, IMC 2009, Rostock-Warnemünde, Germany, November 9-11, 2009. Proceedings

Djamshid Tavangarian; Thomas Kirste; Dirk Timmermann; Ulrike Lucke; Daniel Versick

978-3-642-10263-9

2009
Edition 1

€100 €90
10% OFF
Software Process Technology

5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings

Carlo Montangero

978-3-540-70676-2

1996
Edition 1

€100 €90
10% OFF
Integer Programming and Combinatorial Optimization

14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings

Friedrich Eisenbrand; Bruce Shepherd

978-3-642-13036-6

2010
Edition 1

€100 €90
10% OFF
Spatial Data and Intelligence

First International Conference, SpatialDI 2020, Virtual Event, May 8–9, 2020, Proceedings

Xiaofeng Meng; Xing Xie; Yang Yue; Zhiming Ding

978-3-030-69873-7

2021
Edition 1

€100 €90
10% OFF
Discrete and Computational Geometry

Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers

Jin Akiyama; Mikio Kano

978-3-540-44400-8

2003
Edition 1

€100 €90
10% OFF
Web Engineering

20th International Conference, ICWE 2020, Helsinki, Finland, June 9–12, 2020, Proceedings

Maria Bielikova; Tommi Mikkonen; Cesare Pautasso

978-3-030-50578-3

2020
Edition 1

€160 €144
10% OFF
Discrete and Computational Geometry

Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers

Jin Akiyama; Mikio Kano; Masatsugu Urabe

978-3-540-46515-7

2000
Edition 1

€100 €90
10% OFF
Advances in Cryptology – EUROCRYPT '85

Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques. Linz, Austria, April 9-11, 1985

Franz Pichler

978-3-540-39805-9

1986
Edition 1

€70 €63
10% OFF
ESEC '87

1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

Howard K. Nichols; Dan Simpson

978-3-540-48117-1

1987
Edition 1

€100 €90
10% OFF
Embedded Computer Systems: Architectures, Modeling, and Simulation

20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings

Alex Orailoglu; Matthias Jung; Marc Reichenbach

978-3-030-60939-9

2020
Edition 1

€100 €90
10% OFF
Bioinformatics Research and Development

Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings

Mourad Elloumi; Josef Küng; Michal Linial; Robert Murphy; Kristan Schneider; Cristian Toma

978-3-540-70600-7

2008
Edition 1

€160 €144
10% OFF
Progress in Cryptology – INDOCRYPT 2007

8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007, Proceedings

K. Srinathan; C. Pandu Rangan; Moti Yung

978-3-540-77026-8

2007
Edition 1

€100 €90
10% OFF
Asymptotic, Algebraic and Geometric Aspects of Integrable Systems

In Honor of Nalini Joshi On Her 60th Birthday, TSIMF, Sanya, China, April 9–13, 2018

Frank Nijhoff; Yang Shi; Da-jun Zhang

978-3-030-57000-2

2020
Edition 1

€280 €252
10% OFF
Beeinflussung gestörter Thrombozytenfunktion

durch Aspartate und postoperative Thromboseprophylaxe Kolloquium am 9. März 1974 in Kettwig an der Ruhr

J. Schara

978-3-642-46325-9

1975
Edition 1

€201 €181
10% OFF
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings

Alvaro Pardo; Josef Kittler

978-3-319-25751-8

2015
Edition 1

€100 €90
10% OFF
Digital Information Processing and Communications

International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011. Proceedings

Vaclav Snasael; Jan Platos; Eyas El-Qawasmeh

978-3-642-22389-1

2011
Edition 1

€180 €162
10% OFF
Parallel and Distributed Computing, Applications and Technologies

23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings

Hiroyuki Takizawa; Hong Shen; Toshihiro Hanawa; Jong Hyuk Park; Hui Tian; Ryusuke Egawa

978-3-031-29927-8

2023
Edition 1

€160 €144
10% OFF
Ubiquitous Intelligence and Computing

6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings

Daqing Zhang; Marius Portmann; Ah-Hwee Tan; Jadwiga Indulska

978-3-642-02830-4

2009
Edition 1

€100 €90
10% OFF
Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar; Jim Woodcock

978-3-540-87873-5

2008
Edition 1

€100 €90
10% OFF
Intelligent Tutoring Systems

12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

Stefan Trausan-Matu; Kristy Boyer; Martha Crosby; Kitty Panourgia

978-3-319-07221-0

2014
Edition 1

€180 €162
10% OFF
Security and Privacy in Communication Networks

6th International ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, Proceedings

Sushil Jajodia; Jianying Zhou

978-3-642-16161-2

2010
Edition 1

€180 €162
10% OFF
Man and His Mind-Changers

Highlights of the 30th International Congress on Alcoholism and Drug Dependence, Amsterdam, September 4–9, 1972

E. Dekker; H.J. van der Wal

978-94-010-2619-2

1973
Edition 1

€100 €90
10% OFF
The Semantic Web

Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2008. Proceedings

Yong-jiang Yu; Ying Ding

978-3-642-10871-6

2009
Edition 1

€100 €90
10% OFF
Modelling and Optimization of Complex System

Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3–9 July, 1978

G.I. Marchuk

978-3-540-34781-1

1979
Edition 1

€100 €90
10% OFF
Semantic Systems. The Power of AI and Knowledge Graphs

15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings

Maribel Acosta; Philippe Cudré-Mauroux; Maria Maleshkova; Tassilo Pellegrini; Harald Sack; York Sure-Vetter

978-3-030-33220-4

2019
Edition 1

Open Access
Combinatorics on Words

12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Robert Mercaş; Daniel Reidenbach

978-3-030-28796-2

2019
Edition 1

€100 €90
10% OFF
Web Reasoning and Rule Systems

10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Magdalena Ortiz; Stefan Schlobach

978-3-319-45276-0

2016
Edition 1

€100 €90
10% OFF
EUROCODE '90

International Symposium on Coding Theory and Applications, Udine, Italy, November 5-9, 1990. Proceedings

Gerard Cohen; Pascale Charpin

978-3-540-47546-0

1991
Edition 1

€100 €90
10% OFF
Fundamentals of Computation Theory

8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings

Lothar Budach

978-3-540-38391-8

1991
Edition 1

€100 €90
10% OFF
Infrared Astronomy

Proceedings of the NATO Advanced Study Institute held at Erice, Sicily, 9–20 July, 1977

G. Setti; G.G. Fazio

978-94-009-9815-5

1978
Edition 1

€100 €90
10% OFF
Social Informatics

12th International Conference, SocInfo 2020, Pisa, Italy, October 6–9, 2020, Proceedings

Samin Aref; Kalina Bontcheva; Marco Braghieri; Frank Dignum; Fosca Giannotti; Francesco Grisolia; Dino Pedreschi

978-3-030-60975-7

2020
Edition 1

€170 €153
10% OFF
Stabilization, Safety, and Security of Distributed Systems

27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9–11, 2025, Proceedings

Silvia Bonomi; Partha Sarathi Mandal; Peter Robinson; Gokarna Sharma; Sebastien Tixeuil

978-3-032-11127-2

2026
Edition 1

€146 €131
10% OFF
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

Martin Törngren; Barbara Gallina; Erwin Schoitsch; Elena Troubitsyna; Friedemann Bitsch

978-3-032-02018-5

2026
Edition 1

€146 €131
10% OFF
Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Marieke Huisman; Falk Howar

978-3-031-72044-4

2025
Edition 1

€260 €234
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.