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

Balancing Agility and Formalism in Software Engineering

Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

Bertrand Meyer; J.R. Nawrocki; Bartosz Walter

978-3-540-85279-7

2008
Edition 1

€100 €90
10% OFF
Programming Languages and Systems

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

David Sands

978-3-540-45309-3

2001
Edition 1

€100 €90
10% OFF
Advances in Design, Simulation and Manufacturing VII

Proceedings of the 7th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2024, June 4–7, 2024, Pilsen, Czech Republic - Volume 2: Mechanical and Materials Engineering

Vitalii Ivanov; Ivan Pavlenko; Milan Edl; Jose Machado; Jinyang Xu

978-3-031-63720-9

2024
Edition 1

€419 €377
10% OFF
Technological Innovation for Resilient Systems

9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

Luis M. Camarinha-Matos; Kankam O. Adu-Kankam; Mohammad Julashokri

978-3-319-78574-5

2018
Edition 1

€100 €90
10% OFF
Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Holger Hermanns; Jens Palsberg

978-3-540-33057-8

2006
Edition 1

€100 €90
10% OFF
Neue Erkenntnisse im Hohlraumbau — Fundierungen im Fels / Latest Findings in the Construction of Underground Excavations — Rock Foundations

Vorträge des 24. Geomechanik-Kolloquiums der Österreichischen Gesellschaft für Geomechanik / Contributions to the 24th Geomechanical Colloquium of the Austrian Society for Geomechanics Salzburg, 2. und 3. Oktober 1975

Österreichische Gesellschaft für Geomechanik

978-3-7091-8452-3

1976
Edition 1

€201 €181
10% OFF
Advances in Software Engineering Techniques

4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka

978-3-642-28038-2

2012
Edition 1

€100 €90
10% OFF
Foundation of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Jerzy Tiuryn

978-3-540-46432-7

2000
Edition 1

€100 €90
10% OFF
Circumstellar Matter 1994

Proceedings of an International Conference to Celebrate the Centenary of the Royal Observatory, Edinburgh, held at the Edinburgh Conference Centre, Heriot-Watt University, Riccarton, Edinburgh, Scotland, 29 August – 2 September, 1994

Graeme D. Watt; Peredur M. Williams

978-94-011-0147-9

1995
Edition 1

€100 €90
10% OFF
Foundations of Software Science and Computation Structures

7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Igor Walukiewicz

978-3-540-24727-2

2004
Edition 1

€100 €90
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 2: Deep Learning and Large Language Models

Anu Bajaj; Ajith Abraham; Ryotaro Kamimura

978-3-031-78940-3

2025
Edition 1

€380 €342
10% OFF
Compiler Construction

13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Evelyn Duesterwald

978-3-540-24723-4

2004
Edition 1

€100 €90
10% OFF
Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Kurt Jensen; Andreas Podelski

978-3-540-24730-2

2004
Edition 1

€180 €162
10% OFF
Fundamental Approaches to Software Engineering

7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings

Michel Wermelinger; Tiziana Margaria-Steffen

978-3-540-24721-0

2004
Edition 1

€100 €90
10% OFF
Privacy and Identity Management

17th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Privacy and Identity 2022, Virtual Event, August 30–September 2, 2022, Proceedings

Felix Bieker; Joachim Meyer; Sebastian Pape; Ina Schiering; Andreas Weich

978-3-031-31971-6

2023
Edition 1

€140 €126
10% OFF
Euro-Par 2011: Parallel Processing Workshops

CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I

Michael Alexander; Pasqua D'Ambra; Adam Belloum; George Bosilca; Mario Cannataro; Marco Danelutto; Beniamino Di Martino; Michael Gerndt; Emmanuel Jeannot; Raymond Namyst; Jean Roman; Stephen L. Scott; Jesper Larsson Traff; Geoffroy Vallee; Josef Weidendorfer

978-3-642-29737-3

2012
Edition 1

€100 €90
10% OFF
Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Tom Maibaum

978-3-540-46428-0

2000
Edition 1

€100 €90
10% OFF
Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

Dana Fisman; Grigore Rosu

978-3-030-99524-9

2022
Edition 1

Open Access
Transport and Chemical Transformation in the Troposphere

Proceedings of EUROTRAC Symposium 2000 Garmisch-Partenkirchen, Germany 27–31 March 2000 Eurotrac-2 International Scientific Secretariat GSF-National Research Center for Environment and Health Munich, Germany

Pauline M. Midgley; Markus J. Reuther; Marilee Williams

978-3-642-56722-3

2001
Edition 1

€280 €252
10% OFF
Programming Languages and Systems

13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

David Schmidt

978-3-540-24725-8

2004
Edition 1

€240 €216
10% OFF
Programming Languages and Systems

9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings

Gert Smolka

978-3-540-46425-9

2000
Edition 1

€100 €90
10% OFF
Materials Science Research

Volume 2 The Proceedings of the 1964 Southern Metals/ Materials Conference on Advances in Aerospace Materials, held April 16–17, 1964, at Orlando, Florida, hosted by the Orlando Chapter of the American Society of Metals

H. Otte

978-1-4684-7450-3

1965
Edition 1

€100 €90
10% OFF
Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Dana Fisman; Grigore Rosu

978-3-030-99527-0

2022
Edition 1

Open Access
Numerische Methoden bei graphentheoretischen und kombinatorischen Problemen

Band 2: Vortragsauszüge der Tagung über numerische Methoden bei graphentheoretischen und kombinatorischen Problemen vom 7. bis 12. Mai 1978 im Mathematischen Forschungsinstitut Oberwolfach (Schwarzwald)

COLLATZ; MEINARDUS; WETTERLING

978-3-0348-5997-4

1979
Edition 1

€168 €151
10% OFF
Endocrine Causes of Seasonal and Lactational Anestrus in Farm Animals

A Seminar in the CEC Programme of Co-ordination of Research on Livestock Productivity and Management, held at the Institut für Tierzücht und Tierverhalten, Mariensee, Bundesforschumgsanstalt für Landwirtschaft (FAL) October 2–3, 1984

F. Ellendorff; F. Elsaesser

978-94-009-5026-9

1985
Edition 1

€100 €90
10% OFF
Advances in Design, Simulation and Manufacturing VI

Proceedings of the 6th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2023, June 6–9, 2023, High Tatras, Slovak Republic – Volume 2: Mechanical and Materials Engineering

Vitalii Ivanov; Ivan Pavlenko; Oleksandr Liaposhchenko; José Machado; Milan Edl

978-3-031-32774-2

2023
Edition 1

€400 €360
10% OFF
Satellite Events at the MoDELS 2005 Conference

MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

Jean-Michel Bruel

978-3-540-31781-4

2006
Edition 1

€100 €90
10% OFF
Hybrid Systems Biology

Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Oded Maler; Ádám Halász; Thao Dang; Carla Piazza

978-3-319-27656-4

2015
Edition 1

€80 €72
10% OFF
Klinische Elektroencephalographie

7. Kongress der Deutschen EEG-Gesellschaft, Deutsche Sektion der Internationalen Gesellschaft für EEG und Angewandte Neurophysiologie, Bad Nauheim, vom 2. bis 4. Oktober 1958

Rudolf Janzen

978-3-642-52722-7

1961
Edition 1

€201 €181
10% OFF
Grundzüge des Ueberspannungsschutzes in Theorie und Praxis

Erweiterte Wiedergabe eines Vortrages, gehalten in der 2. Sitzung der Kommission für Ueberspannungsschutz des Schweizer. Elektrotechnischen Vereins und des Verbands Schweizer. Elektrizitätswerke am 17. Januar 1914

Karl Kuhlmann

978-3-662-25664-0

1914
Edition 1

€168 €151
10% OFF
Physiology of Movements / Physiologie der Bewegungen

Part 2: Movements due to the Effects of Temperature, Gravity, Chemical Factors and Internal Factors / Teil2: Bewegungen durch Einflüsse der Temperatur, Schwerkraft, Chemischer Faktoren und aus Inneren Ursachen

E. Bünning

978-3-642-94852-7

1962
Edition 1

€173 €156
10% OFF
Euro-Par 2011: Parallel Processing Workshops

CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part II

Michael Alexander; Pasqua D'Ambra; Adam Belloum; George Bosilca; Mario Cannataro; Marco Danelutto; Beniamino Di Martino; Michael Gerndt; Emmanuel Jeannot; Raymond Namyst; Jean Roman; Stephen L. Scott; Jesper Larsson Traff; Geoffroy Vallee; Josef Weidendorfer

978-3-642-29740-3

2012
Edition 1

€100 €90
10% OFF
Die Berner Uebereinkunft zum Schutze von Werken der Literatur und Kunst vom 9. September 1886 revidiert in Berlin am 13. November 1908 und in Rom am 2. Juni 1928

Willy Hoffmann

978-3-662-29087-3

1935
Edition 1

€201 €181
10% OFF
Merkblatt enthaltend Richtlinien für die Ernährung gesunder und kranker Kinder bis zum 2. Lebensjahre in der Kriegszeit vom Kaiserl. Gesundheitsamt unter Mitw. von prakt. Sachverst. hrsg

Kaiserliches Gesundheitsamt

978-3-662-42387-5

1917
Edition 1

€187 €168
10% OFF
Advances in Digital Health and Medical Bioengineering

Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9–10, 2023, Bucharest, Romania – Volume 2: Health Technology Assessment, Biomedical Signal Processing, Medicine and Informatics

Hariton-Nicolae Costin; Ratko Magjarević; Gladiola Gabriela Petroiu

978-3-031-62520-6

2024
Edition 1

€460 €414
10% OFF
Innovative Intelligent Industrial Production and Logistics

First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers

Alexander Smirnov; Hervé Panetto; Kurosh Madani

978-3-031-37228-5

2023
Edition 1

€130 €117
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
Kompendium Internistische Onkologie. Standards in Diagnostik und Therapie

Teil 1: Grundlagen, Richtlinien, Antineoplastische Substanzen, Toxizitäten, Prophylaktische und Supportive Therapie, Adressen. Teil 2: Therapie von Leukämien, Lymphomen, Soliden Tumoren, Spezielle Therapiemodalitäten,Regionale Chemotherapie, Notfälle. Tei

Hans-Joachim Schmoll; Klaus Höffken; Kurt Possinger

978-3-662-42627-2

1999
Edition 3

€701 €631
10% OFF
Distributed Applications and Interoperable Systems

15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Alysson Bessani; Sara Bouchenak

978-3-319-19129-4

2015
Edition 1

€100 €90
10% OFF
Reactor Dosimetry

Volume 1 Volume 2 Dosimetry Methods for Fuels, Cladding and Structural Materials Proceedings of the Fifth ASTM-Euratom Symposium on Reactor Dosimetry, GKSS Research Centre, Geesthacht, F.R.G., September 24–28, 1984

J.P. Genthon; Heinz Röttger

978-94-009-5378-9

1985
Edition 1

€100 €90
10% OFF
Natural Language Understanding and Intelligent Applications

5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2–6, 2016, Proceedings

Chin-Yew Lin; Nianwen Xue; Dongyan Zhao; Xuanjing Huang; Yansong Feng

978-3-319-50496-4

2016
Edition 1

€180 €162
10% OFF
Formal Techniques for Distributed Objects, Components, and Systems

35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Susanne Graf; Mahesh Viswanathan

978-3-319-19195-9

2015
Edition 1

€100 €90
10% OFF
Multi-Agent Systems and Applications

9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers

Michael Luck; Vladimir Marik; Olga Stepankova; Robert Trappl

978-3-540-47745-7

2001
Edition 1

€419 €377
10% OFF
Jugendliche + Erwachsene ’85 Generationen im Vergleich

Band 1 Biografien Orientierungsmuster Perspektiven / Band 2 Freizeit und Jugendkultur / Band 3 Jugend der Fünfziger Jahre — Heute / Band 4 Jugend in Selbstbildern / Band 5 Arbeitsbericht und Dokumentation

978-3-322-95566-1

1985
Edition 1

€197 €177
10% OFF
Coordination Models and Languages

17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Tom Holvoet; Mirko Viroli

978-3-319-19282-6

2015
Edition 1

€100 €90
10% OFF
The Climacteric: An Update

Proceedings of the fourth Jan Palfijn Symposium, European Conference on the Menopause, held in Antwerp, Belgium, on September 1-2, 1983, under the auspices of 'De Vereniging voor Nederlandstalige gynecologen van België' and 'The International Menopause Society'

H. van Herendael; B. van Herendael; F.E. Riphagen; L. Goessens; H. van der Plas

978-94-009-5608-7

1984
Edition 1

€180 €162
10% OFF
Feuerfeste Baustoffe in der Eisenhüttenindustrie

Vortragsreihe, veranstaltet vom Technisch-wissenschaftlichen Verein „Eisenhütte Österreich“ und der Lehrkanzel für Gesteinshüttenkunde und feuerfeste Baustoffe der Montanistischen Hochschule Leoben. Leoben, 2. und 3. März 1967

Herbert Trenkler; Felix Trojer

978-3-7091-7948-2

1967
Edition 1

€155 €140
10% OFF
Spatial Cognition X

13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26–30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2–5, 2016, Revised Selected Papers

Thomas Barkowsky; Heather Burte; Christoph Hölscher; Holger Schultheis

978-3-319-68189-4

2017
Edition 1

€100 €90
10% OFF
Handbook of Nuclear Engineering

Vol. 1: Nuclear Engineering Fundamentals; Vol. 2: Reactor Design; Vol. 3: Reactor Analysis; Vol. 4: Reactors of Generations III and IV; Vol. 5: Fuel Cycles, Decommissioning, Waste Disposal and Safeguards

Dan Gabriel Cacuci

978-0-387-98149-9

2010
Edition 1

€4,019 €3,617
10% OFF
Information Management and Big Data

Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers

Juan Antonio Lossio-Ventura; Hugo Alatrista-Salas

978-3-319-55209-5

2017
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.