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

Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Carlos Canal; Akram Idani

978-3-319-15201-1

2015
Edition 1

€100 €90
10% OFF
Safety of Thermal Water Reactors

Proceedings of a Seminar on the Results of the European Communities' Indirect Action Research Programme on Safety of Thermal Water Reactors, held in Brussels, 1–3 October 1984

E. Skupinski; B. Tolley; J. Vilain

978-94-009-4972-0

1985
Edition 1

€180 €162
10% OFF
Emerging Trends in Knowledge Discovery and Data Mining

PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 -- June 1, 2012, Revised Selected Papers

Takashi Washio; Jun Luo

978-3-642-36778-6

2013
Edition 1

€90 €81
10% OFF
Kohlenstoff

Teil C — Lieferung 1. Verbindungen mit Edelgasen, Wasserstoff und Sauerstoff (Bis Physikalische Eigenschaften und Mehrstoffsysteme von CO und CO2)

R. J. Meyer

978-3-662-13334-7

1969
Edition 8

€187 €168
10% OFF
Neural Nets

13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30-June 1, 2002. Revised Papers

Maria Marinaro; Roberto Tagliaferri

978-3-540-45808-1

2002
Edition 1

€100 €90
10% OFF
Chirurgische Gastroenterologie

1 Allgemeine chirurgische Gastroenterologie: Leitsymptome · Diagnostische Techniken Allgemeine chirurgische Therapieprinzipien Additive Therapie · Akutes und traumatisiertes Abdomen Ileus · Peritonitis · Transplantation

J. Rüdiger Siewert; Felix Harder; M. Allgöwer; A.L. Blum; W. Creutzfeldt; L.F. Hollender; H.-J. Peiper

978-3-642-83674-9

1990
Edition 2

€201 €181
10% OFF
Design Tools and Methods in Industrial Engineering III

Proceedings of the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, September 6–8, 2023, Florence, Italy, Volume 1

Monica Carfagni; Rocco Furferi; Paolo Di Stefano; Lapo Governi; Francesco Gherardini

978-3-031-52075-4

2024
Edition 1

€380 €342
10% OFF
Subject-Oriented Business Process Management. Dynamic Digital Design of Everything – Designing or being designed?

13th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2022, Karlsruhe, Germany, June 29–July 1, 2022, Proceedings

Matthes Elstermann; Stefanie Betz; Matthias Lederer

978-3-031-19704-8

2022
Edition 1

€130 €117
10% OFF
Advances in Computer Science, Engineering & Applications

Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1

David C. Wyld; Jan Zizka; Dhinaharan Nagamalai

978-3-642-30157-5

2012
Edition 1

€578 €520
10% OFF
Response of the Nuclear System to External Forces

Proceedings of the V La Rábida International Summer School on Nuclear Physics Held at La Rábida, Huelva, Spain 19 June – 1 July 1994

Jose M. Arias; Maria I. Gallardo; Manuel Lozano

978-3-540-49172-9

1995
Edition 1

€100 €90
10% OFF
OpenMP Shared Memory Parallel Programming

International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings

Matthias S. Müller; Barbara Chapman; Bronis R. de Supinski; Allen D. Malony; Michael Voss

978-3-540-68555-5

2008
Edition 1

€100 €90
10% OFF
Advances in Smart Vehicular Technology, Transportation, Communication and Applications

Proceeding of the Second International Conference on Smart Vehicular Technology, Transportation, Communication and Applications, October 25-28, 2018 Mount Emei, China, Part 1

Shaoquan Ni; Tsu-Yang Wu; Tang-Hsien Chang; Jeng-Shyang Pan; Lakhmi C. Jain

978-3-030-04582-1

2019
Edition 1

€280 €252
10% OFF
Internet of Things. A Confluence of Many Disciplines

Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers

Augusto Casaca; Srinivas Katkoori; Sandip Ray; Leon Strous

978-3-030-43605-6

2020
Edition 1

€100 €90
10% OFF
Medium Companies of Europe 1991-92

Volume 1: Medium Companies of the Continental E.C. Volume 2: Medium Companies of the U.K. Volume 3: Medium Companies of W. Europe outside the E.C.

R. Whiteside; J. Forsyth

978-94-011-3012-7

1991
Edition 1

€154 €139
10% OFF
Organic Acidurias

Proceedings of the 21st Annual Symposium of the SSIEM, Lyon, September 1983 The combined supplements 1 and 2 of Journal of Inherited Metabolic Disease Volume 7 (1984)

G.M. Addison; R.A. Chalmers; P. Divry; R. Angus Harkness; R.J. Pollitt

978-94-009-5612-4

1984
Edition 1

€100 €90
10% OFF
Phase Diagrams and Physical Properties of Nonequilibrium Alloys

Subvolume C: Physical Properties of Multi-Component Amorphous Alloys, Part 1: Systems from Ag-Al-Cu-Hf to Au-Cu-Ti-Zr

Yoshiyuki Kawazoe; Ursula Carow-Watamura; Yoshiyuki Kawazoe; Ursula Carow-Watamura; Dmitri V. Louzguine

978-3-662-57924-4

2019
Edition 1

Get access as part of Springer Materials.
Der Haushaltsführungsschaden

Entgelttabellen TVöD/Bund zur Bewertung von Personenschäden in der Haushaltsführung (für die Zeit vom 1. Januar bis 31. Dezember 2025)

Frank Pardey

978-3-86298-905-8

2025
Edition 1

€159 €143
10% OFF
AI 2023: Advances in Artificial Intelligence

36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28–December 1, 2023, Proceedings, Part II

Tongliang Liu; Geoff Webb; Lin Yue; Dadong Wang

978-981-99-8391-9

2024
Edition 1

€160 €144
10% OFF
Grid Computing in Life Science

First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

Akihiko Konagaya

978-3-540-32251-1

2005
Edition 1

€100 €90
10% OFF
Anaesthesie in Augen- und HNO-Heilkunde Blutgerinnung Blutgasanalyse

Beiträge und Diskussionen ... der 13. Gemeinsamen Tagung der Deutschen, Schweizerischen und Österreichischen Gesellschaften für Anaesthesiologie und Reanimation vom 5.- 8. September 1973 in Linz. Teil 3

H. Bergmann; B. Blauhut

978-3-642-66219-5

1975
Edition 1

€201 €181
10% OFF
Advances in Electronic Circuit Packaging

Volume 5 Proceedings of the Fifth International Electronic Circuit Packaging Symposium sponsored by the University of Colorado, EDN (Electrical Design News), and Design News, held at Boulder, Colorado, August 19–21, 1964

Lawrence L. Rosine

978-1-4899-7307-8

1965
Edition 1

€100 €90
10% OFF
Computer-Aided Innovation (CAI)

IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Gaetano Cascini

978-0-387-09697-1

2008
Edition 1

€180 €162
10% OFF
Operations Research and Enterprise Systems

11th International Conference, ICORES 2022, Virtual Event, February 3–5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Federico Liberatore; Slawo Wesolkowski; Marc Demange; Greg H. Parlier

978-3-031-49662-2

2024
Edition 1

€150 €135
10% OFF
Software Engineering and Methodology for Emerging Domains

16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Zheng Li; He Jiang; Ge Li; Minghui Zhou; Ming Li

978-981-15-0310-8

2019
Edition 1

€100 €90
10% OFF
Seabed Mechanics

Edited Proceedings of a Symposium, sponsored jointly by the International Union of Theoretical and Applied Mechanics (IUTAM) and the International Union of Geodesy and Geophysics (IUGG), and held at the University of Newcastle upon Tyne, 5–9 September, 1983

International Union of Theoretical and Applied Mechanics; Bruce Denness

978-94-009-4958-4

1984
Edition 1

€398 €358
10% OFF
Network Control and Engineering for QOS, Security and Mobility, III

IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8. Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain

Dominique Gaïti; Sebastià Galmés; Ramon Puigjaner

978-0-387-23198-3

2005
Edition 1

€280 €252
10% OFF
Multidisciplinary Research and Practice for Informations Systems

IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012, Proceedings

Gerald Quirchmayer; Josef Basl; Ilsun You; Lida Xu; Edgar Weippl

978-3-642-32498-7

2012
Edition 1

€180 €162
10% OFF
Molecular Constants Mostly from Infrared Spectroscopy

Non-linear Triatomic Molecules, Part 1: H2O (HOH), Part ε: HD16O (H16OD), HT16O (H16OT), HD17O (H17OD), HD18O (H18OD), DT16O (D16OT)

G. Guelachvili; N. Picqué

978-3-662-49327-4

2016
Edition 1

Get access as part of Springer Materials.
Trends in Applied Intelligent Systems

23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

Nicolás García-Pedrajas; Francisco Herrera; Colin Fyfe; José Manuel Benítez Sánchez; Moonis Ali

978-3-642-13022-9

2010
Edition 1

€180 €162
10% OFF
Management of Multimedia on the Internet

4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA, October 29 - November 1, 2001. Proceedings

Ehab S. Al-Shaer; Giovanni Pacifici

978-3-540-45508-0

2001
Edition 1

€100 €90
10% OFF
Mycotoxins in Plant Disease

Under the aegis of COST Action 835 ‘Agriculturally Important Toxigenic Fungi 1998-2003’, EU project (QLK 1-CT-1998-01380), and ISPP ‘Fusarium Committee’

A. Logrieco; John A. Bailey; L. Corazza; B.M. Cooke

978-94-010-0001-7

2002
Edition 1

€180 €162
10% OFF
Digitally Transformed Education: Are We There Yet?

4th IFIP TC 3 Open Conference on Computers in Education, OCCE 2024, Bournemouth, UK, February 27 – March 1, 2024, Revised Selected Papers

Margaret Leahy; Christophe Reffay

978-3-031-88744-4

2025
Edition 1

€280 €252
10% OFF
Systems Biology and Computational Proteomics

Joint RECOMB 2006 Satellite Workshops on Systems Biology, and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

Trey Ideker; Vineet Bafna

978-3-540-73060-6

2007
Edition 1

€100 €90
10% OFF
Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac; Radoslav Ivanov; Guy Katz; Nina Narodytska; Laura Nenzi

978-3-031-21222-2

2022
Edition 1

€130 €117
10% OFF
Advances in Dynamics of Vehicles on Roads and Tracks III

Proceedings of the 28th Symposium of the International Association of Vehicle System Dynamics, IAVSD 2023, August 21–25, 2023, Ottawa, Canada - Volume 1: Rail Vehicles

Wei Huang; Mehdi Ahmadian

978-3-031-66971-2

2025
Edition 1

€700 €630
10% OFF
Information Technology and Intelligent Transportation Systems

Volume 1, Proceedings of the 2015 International Conference on Information Technology and Intelligent Transportation Systems ITITS 2015, held December 12-13, 2015, Xi’an China

Valentina Emilia Balas; Lakhmi C. Jain; Xiangmo Zhao

978-3-319-38789-5

2017
Edition 1

€400 €360
10% OFF
Bio-Inspired Computing

Proceedings of the 14th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2023) held during December 14-15, 2023, Volume 1: Smart Healthcare

Dalia Kriksciuniene; Anu Bajaj; Ajith Abraham

978-3-031-78937-3

2025
Edition 1

€400 €360
10% OFF
Die Physik der Hochpolymeren

Band 1: Die Struktur des freien Moleküls. Allgemeine physikalische Methoden zur Bestimmung der Struktur von Molekülen und ihre wichtigsten Ergebnisse

H.A. Stuart; H.A. Stuart

978-3-662-01376-2

1952
Edition 1

€187 €168
10% OFF
Die Thermodynamik des Wärme- und Stoffaustausches in der Verfahrenstechnik

Band 1: Allgemeine Grundlagen Wärme- und Stoffaustausch im Gegenstrom zwischen zwei Phasen sowie zwischen Dampf und Flüssigkeit bei einheitlichen Stoffen

W. Matz; G. Matz

978-3-642-53830-8

1979
Edition 2

€425 €383
10% OFF
The Transdisciplinary Reach of Design Science Research

17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1–3, 2022, Proceedings

Andreas Drechsler; Aurona Gerber; Alan Hevner

978-3-031-06516-3

2022
Edition 1

€160 €144
10% OFF
Colour Vision Deficiencies IX

Proceedings of the ninth symposium of the International Research Group on Colour Vision Deficiencies, held at St. John’s College, Annapolis, Maryland, U.S.A., 1–3 July 1987

B. Drum; G. Verriest

978-94-009-2695-0

1989
Edition 1

€578 €520
10% OFF
Atmospheric Trace Constituents

Proceedings of the 5th Two-Annual Colloquium of the Sonderforschungsbereich 73 of the Universities Frankfurt and Mainz and the Max-Planck-Institut Mainz, Held in Mainz, Germany, on 1 July 1981

Fritz Herbert

978-3-322-90097-5

1982
Edition 1

€180 €162
10% OFF
Information Security and Cryptology – ICISC 2023

26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 – December 1, 2023, Revised Selected Papers, Part I

Hwajeong Seo; Suhri Kim

978-981-97-1235-9

2024
Edition 1

€150 €135
10% OFF
Systematischer Index

Nach Sachgebieten geordnetes Verzeichnis der im Staatsgesetzblatt und im Bundesgesetzblatt vom 1. Mai 1945 bis 31. Dezember 1950 kundgemachten Rechtsvorschriften

Walter Antoniolli

978-3-662-24984-0

1951
Edition 1

€201 €181
10% OFF
Scanning Probe Microscopy: Characterization, Nanofabrication and Device Application of Functional Materials

Proceedings of the NATO Advanced Study Institute on Scanning Probe Microscopy: Characterization, Nanofabrication and Device Application of Functional Materials, Algarve, Portugal, 1 - 13 October 2002

Paula M. Vilarinho; Yossi Rosenwaks; Angus Kingon

978-1-4020-3019-2

2005
Edition 1

€578 €520
10% OFF
Nuclear Interactions

Conference held in Canberra, 28 August - 1 Sept. 1978 under the Auspices of the International Union of Pure and Applied Physics, the Australian Institute of Physics and the Australian Academy of Science

B.A. Robson

978-3-540-35550-2

1976
Edition 1

€160 €144
10% OFF
Advances and Trends in Artificial Intelligence. Theory and Applications

38th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2025, Kitakyushu, Japan, July 1–4, 2025, Proceedings, Part I

Hamido Fujita; Yutaka Watanobe; Moonis Ali; Yinglin Wang

978-981-96-8889-0

2026
Edition 1

€146 €131
10% OFF
Testing of Communicating Systems

Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada

Hasan Ural; Robert L. Probert; Gregor von Bochmann

978-0-387-35516-0

2000
Edition 1

€400 €360
10% OFF
Cybernetics and Systems ’86

Proceedings of the Eighth European Meeting on Cybernetics and Systems Research, organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1–4 April 1986

R. Trappl

978-94-009-4634-7

1986
Edition 1

€100 €90
10% OFF
Database Programming Languages (DBPL-4)

Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30 August–1 September 1993

Catriel Beeri; Atsushi Ohori; Dennis Shasha

978-1-4471-3564-7

1994
Edition 1

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