License single eBooks

Your results

View Cart

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Arie Gurfinkel; Marijn Heule

978-3-031-90653-4

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D

15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part II

Petter Nielsen; Honest Christopher Kimaro

978-3-030-19115-3

2019
Edition 1
€180 €162
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
TeX, XML, and Digital Typography

International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings

Apostolos Syropoulos; Karl Berry; Yannis Haralambous; Baden Hughes; Steven Peter; John Plaice

978-3-540-27773-6

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Programming Languages and Systems

20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Gilles Barthe

978-3-642-19718-5

2011
Edition 1
- fast-track conference proceedings
€100 €90
10% OFF
Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence

9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II

José Manuel Ferrández Vicente; José Ramón Álvarez-Sánchez; Félix de la Paz López; Hojjat Adeli

978-3-031-06527-9

2022
Edition 1
€180 €162
10% OFF
Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Viktor Vafeiadis

978-3-031-91118-7

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
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 3: Telemedicine, Biomaterials, Environmental Protection, Medical Imaging, and Biomechanics

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

978-3-031-62523-7

2024
Edition 1
- Reports on advances in medical devices and instrumentation for telehealth
- Covers applications of signal and image processing methods in medicine and biology
- Describes advanced biomaterials, and solutions for their eco-friendly production
€459 €413
10% OFF
Business Tool Guide

SAP R/3®, BaanERP®, J.D. Edwards® OneWorld®, Oracle® Applications im Vergleich So treffen Sie für Ihr Unternehmen die richtige Entscheidung

Heinz Brauer;

978-3-322-86534-2

2000
Edition 1
- der einzige en-detail-Vergleich der größten ERP-Systeme
€220 €198
10% OFF
System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches

Volume 1 Fault Diagnostics and Reliability Proceedings of the First European Workshop on Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Island of Rhodes, Greece, August 31–September 3, 1986

S.G. Tzafestas; Madan Singh; Günther Schmidt

978-94-009-3929-5

1987
Edition 1
€280 €252
10% OFF
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Alberto Lluch Lafuente; José Proença

978-3-319-39519-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Traumatic Brain Injuries, Medical Image De-identification, and Brain Tumor Segmentation

MICCAI 2024 Challenges: AIMS-TBI 2024, MIDI-B 2024, FeTS 2024, BraTS 2024, and Beyond-BraTS 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6–10, 2024, Proceedings

Ujjwal Baid; Spyridon Bakas; Gian Marco Conte; Akis Linardos; Mana Moassefi; Florian Kofler; Hongwei Bran Li; Emily Dennis; Keyvan Farahani

978-3-032-31709-4

2027
Edition 1
Not published yet

Available from
2026-08-24
Distributed Applications and Interoperable Systems

16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Márk Jelasity; Evangelia Kalyvianaki

978-3-319-39577-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Formal Techniques for Distributed Objects, Components, and Systems

36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Elvira Albert; Ivan Lanese

978-3-319-39570-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Viktor Vafeiadis

978-3-031-91121-7

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Human Activity Recognition and Anomaly Detection

4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3–9, 2024, Revised Selected Papers

Kuan-Chuan Peng; Yizhou Wang; Ziyue Li; Zhenghua Chen; Jianfei Yang; Sungho Suh; Min Wu

978-981-97-9003-6

2025
Edition 1
€130 €117
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
Recent Trends and Developments in Social Software

International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers

John G Breslin; Thomas N. Burg; Hong-Gee Kim; Tom Raftery; Jan-Hinrik Schmidt

978-3-642-16581-8

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€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
Semantics, Analytics, Visualization

3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

Alejandra González-Beltrán; Francesco Osborne; Silvio Peroni; Sahar Vahdati

978-3-030-01379-0

2018
Edition 1
€100 €90
10% OFF
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets

AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers

Sofia Ceppi; Esther David; Vedran Podobnik; Valentin Robu; Onn Shehory; Sebastian Stein; Ioannis A. Vetsikas

978-3-319-13218-1

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€80 €72
10% OFF
On the Move to Meaningful Internet Systems: OTM 2009 Workshops

Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and Combek 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings

Robert Meersman; Pilar Herrero; Tharam Dillon

978-3-642-05290-3

2009
Edition 1
€280 €252
10% OFF
Distributed Applications and Interoperable Systems

14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Kostas Magoutis; Peter Pietzuch

978-3-662-43352-2

2014
Edition 1
€100 €90
10% OFF
Coordination Models and Languages

16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Eva Kühn; Rosario Pugliese

978-3-662-43376-8

2014
Edition 1
€100 €90
10% OFF
Progress in Artificial Intelligence

13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings

José Maia Neves; Manuel Filipe Santos; José Manuel Machado

978-3-540-77002-2

2007
Edition 1
€180 €162
10% OFF
Electronic Publishing, Artistic Imaging, and Digital Typography

7th International Conference on Electronic Publishing, EP'98 Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo France, March 30 - April 3, 1998

Roger Hersch; Jacques Andre; Heather Brown

978-3-540-69718-3

1998
Edition 1
€100 €90
10% OFF
Aircraft Wake Turbulence and Its Detection

Proceedings of a Symposium on Aircraft Wake Turbulence held in Seattle, Washington, September 1–3, 1970. Sponsored jointly by the Flight Sciences Laboratory, Boeing Scientific Research Laboratories and the Air Force Office of Scientific Research

John Olsen

978-1-4684-8346-8

1971
Edition 1
€100 €90
10% OFF
Handbuch der Urologie

Band 3: Spezielle Urologie I: Spezielle Pathologie und Therapie der Mißbildungen. Verletzungen der Harn- und Geschlechtsorgane. Störungen der Blasenfunktion. Nephritis. Eklampsie. Entzündliche Erkrankungen der Harn- und Geschlechtsorgane

A.v. Lichtenberg; F. Voelcker; H. Wildbolz

978-3-642-50205-7

1928
Edition 1
€168 €151
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
Distributed Applications and Interoperable Systems

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

Jim Dowling; François Taïani

978-3-642-38541-4

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
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
Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Erika Ábrahám; Catuscia Palamidessi

978-3-662-43613-4

2014
Edition 1
€100 €90
10% OFF
Learning Technologies and Systems

24th International Conference on Web-based Learning, lCWL 2025 and 10th International Symposium on Emerging Technologies for Education, SETE 2025, Hongkong, China, November 30 – December 3, 2025, Revised Selected Papers

Baltasar Fernández-Manjón; António José Mendes; Marco Temperini; Zuzana Kubincová; Marc Spaniol; Guandong Xu; Elvira Popescu; Tianyong Hao; Xiangmeng Wang; Shuning He

978-981-92-0042-9

2026
Edition 1
€114 €103
10% OFF
Die Vereinbarkeit von Militärgerichten mit dem Recht auf ein faires Verfahren gemäß Art. 6 Abs. 1 EMRK, Art. 8 Abs. 1 AMRK und Art. 14 Abs. 1 des UN-Paktes über bürgerliche und politische Rechte

Jeanine Bucherer

978-3-540-37638-5

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€266 €239
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
- Includes supplementary material: sn.pub/extras
€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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€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
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
- Fills the need for an up-to-date condensed reference on nuclear engineering since 1958
- Includes an introduction to new reactor types, such as Generation III, III+ and IV
- Describes the essential role nuclear energy plays in the future to ensure an adequate supply of non-polluting sustainable energy
- Presents information accessible at multiple technical levels (students, professionals, researchers)
€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
- Includes supplementary material: sn.pub/extras
€100 €90
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
Ethics and Fairness in Medical Imaging

Second International Workshop on Fairness of AI in Medical Imaging, FAIMI 2024, and Third International Workshop on Ethical and Philosophical Issues in Medical Imaging, EPIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6–10, 2024, Proceedings

Esther Puyol-Antón; Ghada Zamzmi; Aasa Feragen; Andrew P. King; Veronika Cheplygina; Melanie Ganz-Benjaminsen; Enzo Ferrante; Ben Glocker; Eike Petersen; John S. H. Baxter; Islem Rekik; Roy Eagleson

978-3-031-72787-0

2025
Edition 1
€110 €99
10% OFF
Advances in Social Computing and Digital Education

7th International Workshop on Collaborative Agents Research and Development, CARE 2016, Singapore, May 9, 2016 and Second International Workshop on Social Computing in Digital Education, SocialEdu 2016, Zagreb, Croatia, June 6, 2016, Revised Selected Papers

Fernando Koch; Andrew Koster; Tiago Primo; Christian Guttmann

978-3-319-52039-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
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
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100 €90
10% OFF
Wissenschaftliche Gesellschaft für Flugtechnik

Stenographischer Bericht über die Versammlung von Vertretern der Luftfahrt-Wissenschaft- und Technik zwecks Gründung der Gesellschaft im Saale 2 des Herrenhausgebäudes zu Berlin am Mittwoch den 3. April 1912

Gustav Schade

978-3-662-26602-1

1912
Edition 1
€187 €168
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
Wissenschaftliche Gesellschaft für Flugtechnik

Stenographischer Bericht über die Versammlung von Vertretern der Luftfahrt-Wissenschaft- und Technik zwecks Gründung der Gesellschaft im Saale 2 des Herrenhausgebäudes zu Berlin am Mittwoch den 3. April 1912

Gustav Schade

978-3-642-52582-7

1912
Edition 1
€187 €168
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
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
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
Die wissenschaftliche Erforschung des Gehirns: Das Ganze und seine Teil

Preis der Landesregierung Nordrhein-Westfalen zur Förderungvon Arbeiten zum Ersatz oder zur Einschränkung von Tierversuchen. Verleihung am 6. Dezember 1989 im Karl-Arnold-Haus, Haus der Wissenschaften im Rahmen einer Sonderveranstaltung beider Akademie-Klassen

Otto Creutzfeldt

978-3-322-85334-9

1991
Edition 1
€173 €156
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.