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

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
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
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
Parallel and Distributed Processing

10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings

Jose Rolim

978-3-540-69756-5

1998
Edition 1

€180 €162
10% OFF
Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Dirk Beyer; Michele Boreale

978-3-642-38592-6

2013
Edition 1

€100 €90
10% OFF
Sprachverarbeitung in Information und Dokumentation

Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV) in Kooperation mit der Fachgruppe 3 „Natürlichsprachliche Systeme“ im FA1.2 der Gesellschaft für Informatik (Gl),Hannover, 5.–7. März 1985 Proceedings

Brigitte Endres-Niggemeyer; Jürgen Krause

978-3-642-70866-4

1985
Edition 1

€201 €181
10% OFF
Über die Wirkung von Bädern mit verschiedenem Kochsalz- und CO2-Gehalt auf Gesunde und Kranke mit Funktionsstörungen des kardio-pulmonalen Systems

I. Mitteilung Das Verhalten der Funktionsgrößen des kardio-pulmonalen Systems im CO2-haltigen Solbad bei gleicher Temperatur, gleicher Wasserhöhe und gleicher Badedauer (Arbeitsergebnisse bis zum 1. 3. 1962)

Bernhard Lüderitz; Walter Noder

978-3-663-20416-9

1964
Edition 1

€201 €181
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
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
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
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
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
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
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
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
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
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
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
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
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
Die Staublungenerkrankungen

Bericht über die 3. Internationale Staublungen-Tagung des Staatsinstitutes für Staublungenforschung und Gewerbehygiene beim Hygiene-Institut der Westfälischen Wilhelms-Universität Münster/Westf. vom 29. bis 31. Oktober 1957

Karl W. Jötten; Werner Klosterkötter

978-3-662-21806-8

1958
Edition 1

€187 €168
10% OFF
Access Networks

5th International ICST Conference on Access Networks, AccessNets 2010 and First International Workshop on Automatic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Revised Selected Papers, Budapest, Hungary, November 3-5, 2010

Robert Szabó; Hua Zhu; Sándor Imre; Ranganai Chaparadza

978-3-642-20931-4

2011
Edition 1

€100 €90
10% OFF
Vorträge der IX. Fortbildungswoche der Dermatologischen Klinik und Poliklinik der Ludwig-Maximilians-Universität München in Verbindung mit dem Berufsverband der Deutschen Dermatologen e.V. vom 30. Juli bis 3. August 1979

O. Braun-Falco; H. H. Wolff

978-3-642-81412-9

1979
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
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
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
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
Viktor von Weizsäcker zum 100. Geburtstag

Beiträge zum Symposion der Universität Heidelberg (1.–3.5.1986) sowie der 24. Arbeitstagung des Deutschen Kollegiums für Psychosomatische Medizin (5. 3. 1986) und der 36. Lindauer Psychotherapiewochen (19. 4. 1986)

P. Hahn; W. Jacob

978-3-642-95500-6

1987
Edition 1

€201 €181
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
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
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
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
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
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
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
Behavior and Social Computing

International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, Australia, April 14-17, and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

Longbing Cao; Hiroshi Motoda; Jaideep Srivastava; Ee-peng Lim; Irwin King; Philip S. Yu; Wolfgang Nejdl; Guandong Xu; Gang Li; Ya Zhang

978-3-319-04048-6

2013
Edition 1

€100 €90
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
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops

OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part I

Zahir Tari

978-3-540-48272-7

2006
Edition 1

€180 €162
10% OFF
Intensivbehandlung und ihre Grenzen

Beiträge zu den Themen Intensivtherapie nnd Grenzen der Wiederbelebung und Intensivtherapie der XI. gemeinsamen Tagung der Österreichischen, Schweizerischen und Deutschen Gesellschaften für Anaesthesiologie und Wiederbelebung vom 3. bis 6. September 1969 in Saarbrücken

K. Hutschenreuter; K. Wiemers

978-3-642-46281-8

1971
Edition 1

€201 €181
10% OFF
Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

Stan Budkowski; Ana Cavalli; Elie Najm

978-0-387-35394-4

1998
Edition 1

€400 €360
10% OFF
Anaesthesie Atmung — Kreislauf

Beiträge zu den Themen „Anaesthesie und Atmung“ und „Anaesthesie und Kreislauf“ der XII. Gemeinsamen Tagung der Österreichischen, Deutschen und Schweizerischen Gesellschaften für Anaesthesiologie und Reanimation vom 1. bis 3. September 1971 in Bern

M. Gemperle; G. Hossli; B. Tschirren

978-3-642-65742-9

1974
Edition 1

€201 €181
10% OFF
10th International Conference on the Development of Biomedical Engineering in Vietnam

Proceedings of BME 10, July 25-27, 2024, Phan Thiet, Vietnam: Healthcare Evolution Towards 5P Medicine in Low- and Middle-Income Countries Ecosystem - Volume 2: Tissue Engineering, Drug Discovery, and Health Informatics

Van Toi Vo; Thi-Hiep Nguyen; Binh Long Vong; Thi Thu Hien Pham; Ngoc Hoan Doan

978-3-031-90197-3

2025
Edition 1

€479 €431
10% OFF
Objektorientierte Sprachkonzepte und Diskrete Simulation

Klassifikation, Vergleich und Bewertung von Konzepten der Programmiersprachen Simula-67, Modula-2, Pascal, Smalltalk-80 und Beta aus objektorientierter Sicht vor dem Hintergrund des Anwendungsgebietes der diskreten Simulation

Thomas Frauenstein; Uwe Pape; Olaf Wagner

978-3-642-95637-9

1990
Edition 1

€181 €163
10% OFF
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops

OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II

Zahir Tari

978-3-540-48276-5

2006
Edition 1

€180 €162
10% OFF
Basic Technics in Ecological Farming / Techniques de Base en Agriculture Biologique / Grundsätzliche Verfahren der ökologischen Landwirtschaft / Le Maintien de la Fertilité des Sols / The Maintenance of Soil Fertility / Die Erhaltung der Bodenfruchtbarkeit

Papers · Exposés · Referate Presented at the 2nd International Conference held by IFOAM, Montreal, October 1–5 1978 / Exposés · Papers · Referate Présentés à la 3ème Conférence internationale organisée par IFOAM, Bruxelles, du 3 au 5 septembre, 1980

Stuart Hill; Pierre Ott

978-3-0348-6310-0

1982
Edition 1

€100 €90
10% OFF
Stellenwert der Sportmedizin in Medizin und Sportwissenschaft/Position of Sports Medicine in Medicine and Sports Science

2. Symposion der Sektion „Sportmedizinische Forschung und Lehre an den Hochschulen“ des Deutschen Sportärztebundes (Deutsche Gesellschaft für Sportmedizin e.V.) Tübingen, 5.-8. Mai 1983 / Position of Sports Medicine in Medicine and Sports Science

P. Kahle; D. Jeschke; G. Schmid; U. Schmiechen

978-3-642-69916-0

1984
Edition 1

€201 €181
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.