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

Word Equations and Related Topics

1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings

Klaus U. Schulz

978-3-540-46737-3

1992
Edition 1

€100 €90
10% OFF
Federation over the Web

International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers

Klaus P. Jantke; Aran Lunzer; Nicolas Spyratos; Yuzuru Tanaka

978-3-540-32587-1

2006
Edition 1

€100 €90
10% OFF
Multiphysics and Multiscale Building Physics

Proceedings of the 9th International Building Physics Conference (IBPC 2024) Volume 1: Moisture and Materials

Umberto Berardi

978-981-97-8305-2

2025
Edition 1

€500 €450
10% OFF
Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

Khoa Nguyen; Wenling Wu; Kwok Yan Lam; Huaxiong Wang

978-3-030-62576-4

2020
Edition 1

€100 €90
10% OFF
Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Serge Gaspers; Toby Walsh

978-3-319-66263-3

2017
Edition 1

€100 €90
10% OFF
Hamiltonian Dynamics - Theory and Applications

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 1-10, 1999

Giancarlo Benettin; Antonio Giorgilli; Jacques Henrard; Sergej B. Kuksin

978-3-540-31541-4

2005
Edition 1

€66 €59
10% OFF
Handbuch der Bodenlehre

Band 1: Die naturwissenschaftlichen Grundlagen der Lehre von der Entstehung des Bodens

E. Blank

978-3-642-45801-9

1929
Edition 1

€201 €181
10% OFF
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006

9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II

Rasmus Larsen; Mads Nielsen; Jon Sporring

978-3-540-44728-3

2006
Edition 1

€280 €252
10% OFF
Emerging Challenges in Intelligent Management Information Systems

Proceedings of 27th European Conference on Artificial Intelligence ECAI 2024 - IMIS Workshop. Volume 1

Marcin Hernes; Jaroslaw Wątróbski; Artur Rot

978-3-031-78465-1

2025
Edition 1

€260 €234
10% OFF
Klinik und Forschung in der Chirurgie unter dem Aspekt von Effizienz und Ökonomie

114. Kongreß der Deutschen Gesellschaft für Chirurgie 1.–5. April 1997, München

H. Bauer; W. Hartel

978-3-642-60881-0

1997
Edition 1

€173 €156
10% OFF
Experimental Analysis of Nano and Engineering Materials and Structures

Proceedings of the 13th International Conference on Experimental Mechanics, Alexandroupolis, Greece, July 1-6, 2007

E.E. Gdoutos

978-1-4020-6239-1

2007
Edition 1

€400 €360
10% OFF
Unconventional Computation and Natural Computation

22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings

Enrico Formenti; Luca Manzoni

978-3-032-15641-9

2026
Edition 1

Not published yet

Available from
2026-02-03
Multimedia Content Analysis and Mining

International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007, Proceedings

Nicu Sebe; Yuncai Liu; Yueting Zhuang; Thomas S. Huang

978-3-540-73417-8

2007
Edition 1

€100 €90
10% OFF
Reading the Archive of Earth’s Oxygenation

Volume 1: The Palaeoproterozoic of Fennoscandia as Context for the Fennoscandian Arctic Russia - Drilling Early Earth Project

Victor Melezhik; Anthony R. Prave; Anthony E. Fallick; Lee R. Kump; Harald Strauss; Aivo Lepland; Eero J. Hanski

978-3-642-29682-6

2013
Edition 1

€280 €252
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
GWAI-82

6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982

W. Wahlster

978-3-642-68826-3

1982
Edition 1

€180 €162
10% OFF
Business Process Management: Blockchain and Central and Eastern Europe Forum

BPM 2019 Blockchain and CEE Forum, Vienna, Austria, September 1–6, 2019, Proceedings

Claudio Di Ciccio; Renata Gabryelczyk; Luciano García-Bañuelos; Tomislav Hernaus; Rick Hull; Mojca Indihar Štemberger; Andrea Kő; Mark Staples

978-3-030-30429-4

2019
Edition 1

€100 €90
10% OFF
Advanced Information Networking and Applications

Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 1

Leonard Barolli

978-3-031-87763-6

2025
Edition 1

€419 €377
10% OFF
Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

978-3-540-33103-2

2006
Edition 1

€100 €90
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
Trust, Privacy and Security in Digital Business

5th International Conference, TrustBus 2008 Turin, Italy, September 1-5, 2008, Proceedings

Steven M. Furnell; Sokratis Katsikas; Antonio Lioy

978-3-540-85735-8

2008
Edition 1

€140 €126
10% OFF
Database and Expert Systems Applications

8th International Conference, DEXA'97, Toulouse, France, September 1-5, 1997, Proceedings

A. Hameurlain; A. Min Tjoa

978-3-540-69580-6

1997
Edition 1

€180 €162
10% OFF
Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Manuel Núnez; Zakaaria Maamar; Fernando Pelayo; Key Pousttchi; Fernando Rubio

978-3-540-30233-9

2004
Edition 1

€100 €90
10% OFF
Principles and Practice of Declarative Programming

International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings

Gopalan Nadathur

978-3-540-48164-5

1999
Edition 1

€100 €90
10% OFF
Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Dimitra Giannakopoulou; Gwen Salaün

978-3-319-10431-7

2014
Edition 1

€100 €90
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
KI 2021: Advances in Artificial Intelligence

44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings

Stefan Edelkamp; Ralf Möller; Elmar Rueckert

978-3-030-87626-5

2021
Edition 1

€150 €135
10% OFF
Produktionswirtschaft — Controlling industrieller Produktion

Band 1 Grundlagen, Führung und Organisation, Produkte und Produktprogramm, Material und Diestleistungen

Dietger Hahn; Gert Laßmann

978-3-642-53723-3

1986
Edition 1

€486 €437
10% OFF
Integer Programming and Combinatorial Optimization

18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

Quentin Louveaux; Martin Skutella

978-3-319-33461-5

2016
Edition 1

€100 €90
10% OFF
Logic and Its Applications

8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Md. Aquil Khan; Amaldev Manuel

978-3-662-58771-3

2019
Edition 1

€100 €90
10% OFF
AI, Society and Digital Transformation

Proceedings of 2025 INFORMS Conference on Service Science, Oxford, UK, July 1-3, 2025

Xiaolei Xie; Kejia Hu; Guiping Hu; Weiwei Chen; Robin Qiu

978-3-032-13116-4

2025
Edition 1

€340 €306
10% OFF

Not published yet

Available from
2026-01-25
ALPUK92

Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Krysia Broda

978-1-4471-3421-3

1993
Edition 1

€100 €90
10% OFF
Passive and Active Network Measurement

10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings

Renata Teixeira; Sue B. Moon; Steve Uhlig

978-3-642-00975-4

2009
Edition 1

€100 €90
10% OFF
Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue

978-3-642-25271-6

2012
Edition 1

€100 €90
10% OFF
Software Composition

9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Michel Baudry; Eric Wohlstadter

978-3-642-14046-4

2010
Edition 1

€100 €90
10% OFF
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Ábrahám; Marieke Huisman

978-3-319-33693-0

2016
Edition 1

€160 €144
10% OFF
Cometary Science after Hale-Bopp

Volume 1 Proceedings of IAU Colloquium 186 21–25 January 2002, Tenerife, Spain

Hermann Böhnhardt; Michael Combi; Mark R. Kidger; Rita Schulz

978-94-017-1086-2

2003
Edition 1

€280 €252
10% OFF
Security Protocols XVII

17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers

Bruce Christianson; James A. Malcolm; Vashek Matyáš; Michael Roe

978-3-642-36213-2

2013
Edition 1

€100 €90
10% OFF
The Magnetospheres of the Earth and Jupiter

Proceedings of the Neil Brice Memorial Symposium, Held in Frascati, May 28–June 1, 1974

V. Formisano

978-94-010-1789-3

1975
Edition 1

€100 €90
10% OFF
Research and Advanced Technology for Digital Libraries

First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings

Costantino Thanos

978-3-540-69597-4

1997
Edition 1

€100 €90
10% OFF
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings

Claudio Sossai; Gaetano Chemello

978-3-642-02906-6

2009
Edition 1

€180 €162
10% OFF
Field Programmable Logic and Applications

13th International Conference, FPL 2003 Lisbon, Portugal, September 1–3, 2003 Proceedings

Peter Y.K. Cheung; Georg A. Constantinides; Jose T. de Sousa

978-3-540-45234-8

2003
Edition 1

€100 €90
10% OFF
Coordination Languages and Models

Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings

David Garlan; Daniel Le Metayer

978-3-540-69527-1

1997
Edition 1

€100 €90
10% OFF
Nonlinear Optimization

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 1-7, 2007

Immanuel M. Bomze; Gianni Di Pillo; Vladimir F. Demyanov; Fabio Schoen; Roger Fletcher; Tamás Terlaky

978-3-642-11339-0

2010
Edition 1

€86 €77
10% OFF
Combinatorial Algorithms

35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings

Adele Anna Rescigno; Ugo Vaccaro

978-3-031-63021-7

2024
Edition 1

€180 €162
10% OFF
Topics in Cryptology – CT-RSA 2022

Cryptographers’ Track at the RSA Conference 2022, Virtual Event, March 1–2, 2022, Proceedings

Steven D. Galbraith

978-3-030-95312-6

2022
Edition 1

€200 €180
10% OFF
Computer Assisted Assessment -- Research into E-Assessment

International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings

Marco Kalz; Eric Ras

978-3-319-08657-6

2014
Edition 1

€100 €90
10% OFF
X-Ray Astronomy

Proceedings of the NATO Advanced Study Institute held at Erice, Sicily, July 1–14, 1979

G. Giacconi; G. Setti

978-94-009-9088-3

1980
Edition 1

€100 €90
10% OFF
Applied Algebra, Algorithmics and Error-Correcting Codes

2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings

Alain Poli

978-3-540-38813-5

1986
Edition 1

€100 €90
10% OFF
Intelligent Systems, Blockchain, and Communication Technologies

Selected Papers From the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom24) - Volume 1

Ahmed Abdelgawad; Akhtar Jamil; Alaa Ali Hameed

978-3-031-82377-0

2025
Edition 1

€320 €288
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.