License single eBooks

Your results

Automated Deduction in Geometry

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Xiao-lu Gao; Dongming Wang; Lu Yang

978-3-540-47997-0

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Operations Research Proceedings 1999

Selected Papers of the Symposium on Operations Research (SOR ’99), Magdeburg, September 1–3, 1999

Karl Inderfurth; Gerhard Schwödiauer; Wolfgang Domschke; Friedrich Juhnke; Peter Kleinschmidt; Gerhard Wäscher

978-3-642-58300-1

2000
Edition 1
€467
Beweislastumkehr bei groben (Berufs-)Pflichtverletzungen

Über die analoge Anwendung des § 630h Abs. 5 S. 1 BGB und Alternativlösungen

Sarah Christina Göpfert

978-3-662-65834-5

2022
Edition 1
- Umfassende Literatur- und Rechtsprechungsanalyse
- Subsumtionsfähige Ergebnisse für die praktische Rechtsanwendung
- Weitergehende rechtspolitische Denkanstöße
€327
Dynamics of Gas-Surface Interaction

Proceedings of the International School on Material Science and Technology, Erice, Italy, July 1–15, 1981

Giorgio Benedek; U. Valbusa

978-3-642-86455-1

1982
Edition 1
€180
Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

Uwe Egly; Christian G. Fernmüller

978-3-540-45616-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Complex Networks & Their Applications X

Volume 1, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021

Rosa Maria Benito; Chantal Cherifi; Hocine Cherifi; Esteban Moro; Luis M. Rocha; Marta Sales-Pardo

978-3-030-93409-5

2022
Edition 1
- Presents the latest research on complex networks and their applications
- Gathers the edited proceedings of the Tenth International Conference on Complex Networks and their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€738
Bioinformatics Research and Applications

16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings

Zhipeng Cai; Ion Mandoiu; Giri Narasimhan; Pavel Skums; Xuan Guo

978-3-030-57821-3

2020
Edition 1
€100
Model Driven Engineering Languages and Systems

9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Oscar Nierstrasz; Jon Whittle; David Harel; Gianna Reggio

978-3-540-45773-2

2006
Edition 1
€180
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection

14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

Yves Demazeau; Takayuki Ito; Javier Bajo; Maria José Escalona

978-3-319-39324-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
- Includes supplementary material: sn.pub/extras
€100
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
Computer Vision Systems

Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

James Crowley; Justus Piater; Markus Vincze; Lucas Paletta

978-3-540-36592-1

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€180
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
Organfunktion und Stoffwechsel in der perioperativen Phase

1. Internationales Steglitzer Symposium (25.–26. Oktober 1985), Begleitsymposium (24. Oktober 1985)

Konrad Reinhart; Klaus Eyrich

978-3-642-70798-8

1985
Edition 1
€201
Agile Processes in Software Engineering and Extreme Programming

11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings

Alberto Sillitti; Xiaofeng Wang; Angela Martin; Elizabeth Whitworth

978-3-642-13054-0

2010
Edition 1
€100
Computer Analysis of Images and Patterns

8th International Conference, CAIP'99 Ljubljana, Slovenia, September 1-3, 1999 Proceedings

Franc Solina; Ales Leonardis

978-3-540-48375-5

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Multigrid Methods II

Proceedings of the 2nd European Conference on Multigrid Methods Held at Cologne, October 1-4, 1985

Wolfgang Hackbusch; Ulrich Trottenberg

978-3-540-47372-5

1986
Edition 1
€69
Software Architecture

7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Khalil Drira

978-3-642-39031-9

2013
Edition 1
€100
Robotics and Digital Technologies in Agriculture

Proceedings of the Sixth International Conference on Agriculture Digitalization and Organic Production (ADOP 2026), Volume 1

Andrey Ronzhin; Oksana Ogiy; Vladimir Surovtsev

978-3-032-35010-7

2026
Edition 1
- Discusses results of ADOP 2026 held in Kaliningrad, Russia during June 1-5, 2026
- Presents research works in the field of agriculture digitalization and organic production
- Serves as a reference for researchers and practitioners in academia and industry
Not published yet

Available from
2026-09-02
Glacier Fluctuations and Climatic Change

Proceedings of the Symposium on Glacier Fluctuations and Climatic Change, held at Amsterdam, 1–5 June 1987

Johannes Oerlemans

978-94-015-7823-3

1989
Edition 1
€418
A Decade of Concurrency: Reflections and Perspectives

Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

J.W.de Bakker; W.-P.de Roever; G. Rozenberg

978-3-540-48423-3

1994
Edition 1
€180
Multigrid Methods V

Proceedings of the Fifth European Multigrid Conference held in Stuttgart, Germany, October 1–4, 1996

Wolfgang Hackbusch; Gabriel Wittum

978-3-642-58734-4

1998
Edition 1
€180
Challenges and Innovation Opportunities in the Context of Sustainability, Industries 4.0 and 5.0

5th Annual ICQIS Conference, Lisbon, Portugal, June 16–19, 2024 - Vol 1

Teresa Morgado; João Calado; José Carlos de Sá; António Abreu; Ivan Galvão

978-3-032-16432-2

2026
Edition 1
- Explores the incorporation of sustainability, logistic, quality, and manufacturing management frameworks in companies
- Establishes a basis for making decisions in line with the worldwide need for management and business responsibility
- Features topics such as green mobility, manufacturing, globalization, and renewables
€439
Magnetic Phase Transitions

Proceedings of a Summer School at the Ettore Majorana Centre, Erice, Italy, 1–15 July, 1983

M. Ausloos; R.J. Elliott

978-3-642-82138-7

1983
Edition 1
€180
Logic, Language, Information, and Computation

21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach; Pablo Barceló; Ruy J G B de Queiroz

978-3-662-44145-9

2014
Edition 1
- Up-to-date results
- Fast-conference proceedings tracks
- Inter-disciplinary Research
€94
Seismicity and Seismic Risk in the Offshore North Sea Area

Proceedings of the NATO Advanced Research Workshop, held at Utrecht, The Netherlands, June 1–4, 1982

A.R. Ritsema; A. Gurpinar

978-94-009-7046-5

1983
Edition 1
€400
Advanced Information Networking and Applications

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

Leonard Barolli

978-3-031-57840-3

2024
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 38th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€439
CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Mario Bravetti; Gianluigi Zavattaro

978-3-642-04081-8

2009
Edition 1
€180
Information Security

6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings

Colin Boyd; Wenbo Mao

978-3-540-39981-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Kommentierte Gesetzessammlung Sachkunde nach § 34a und Geprüfte Schutz- und Sicherheitskraft

Alle einschlägigen Gesetze und Vorschriften inklusive der DGUV Vorschriften 1 und 23

Robert Schwarz

978-3-658-24547-4

2019
Edition 2
- Alle wichtigen Gesetze der Sicherheitswirtschaft auf einen Blick - ideal für die Prüfungsvorbereitung
- Praktisches Nachschlagewerk mit Erläuterungen und Verständnishilfen
- Ideale Ergänzung der Lehr- und Lernmaterialien zur Sicherheitswirtschaft
€121
Differential Topology

Proceedings of the Second Topology Symposium, held in Siegen, FRG, Jul. 27 - Aug. 1, 1987

Ulrich Koschorke

978-3-540-45990-3

1988
Edition 1
€69
Wärme- und Stoffübergang in Strömungen

Ein Grundkurs für Studierende und Ingenieure Band 1 Erzwungene und Freie Strömung

K. Wilde

978-3-642-72334-6

1978
Edition 2
€486
Gauge Theories of the Eighties

Proceedings of the Arctic School of Physics 1982 Held in Äkäslompolo, Finland, August 1–13, 1982

R. Raitio; J. Lindfors

978-3-540-39888-2

1983
Edition 1
€100
Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Amy P. Felty; Aart Middeldorp

978-3-319-21401-6

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
- Includes supplementary material: sn.pub/extras
€100
EPIA'91

5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings

Pedro Barahona; Luis Moniz Pereira; Antonio Porto

978-3-540-38459-5

1991
Edition 1
€100
Instability and Transition

Materials of the workshop held May 15-June 9, 1989 in Hampton, Virgina Volume 1

M.Y. Hussaini; Robert G. Voigt

978-1-4612-3430-2

1990
Edition 1
€180
Artificial Intelligence and Internet of Things

Proceedings of the 8th International Symposium, MISC 2024, Tamanghasset, Algeria, December 1-3, 2024

Salim Chikhi; Amine Bermak; Abdelmalek Amine; Allaoua Chaoui; Djamel Eddine Saidouni; Mohamed Khireddine Kholladi

978-3-031-82112-7

2025
Edition 1
- Presents recent research in modeling and implementation of complex systems
- Provides proceedings of the 8th International Symposium, MISC 2024
- Written by experts in the field
€380
Quantitative Evaluation of Systems

12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Javier Campos; Boudewijn R. Haverkort

978-3-319-22264-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 38th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€419
Interfaces to Database Systems (IDS92)

Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1–3 July 1992

Richard Cooper

978-1-4471-3423-7

1993
Edition 1
€180
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
Information Security and Privacy

14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

Colin Boyd; Juan González Nieto

978-3-642-02620-1

2009
Edition 1
€100
Ada: Moving Towards 2000

11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings

Jan van Katwijk

978-3-540-47240-7

1992
Edition 1
€100
Parallel Problem Solving from Nature - PPSN XII

12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

Carlos Coello Coello; Vincenzo Cutello; Kalyanmoy Deb; Stephanie Forrest; Giuseppe Nicosia; Mario Pavone

978-3-642-32964-7

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Grenzen ärztlicher Behandlungspflicht bei schwerstgeschädigten Neugeborenen

1. Einbecker Workshop der Deutschen Gesellschaft für Medizinrecht, 27.–29. Juni 1986

Günter Hiersche; Toni Graf-Baumann

978-3-662-07553-1

1987
Edition 1
€201
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
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
Smart Medical, IoT & Artificial Intelligence

The 2nd International Conference on Smart Medical, IoT and Artificial Intelligence (ICSMAI'25), Volume 1

Kamal Ghoumid; Aissa Kerkour Elmiad; Mohamed Lazaar; Khalid Haddouch; Omar Elmazria

978-3-032-18894-6

2026
Edition 1
- Presents recent research on Smart Healthcare, IoT & Artificial Intelligence
- Proceedings of the International Conference on Smart Medical, IoT & Artificial Intelligence ICSMAI 2025
- Written by experts in the field
€400
Information and Communication Technologies in Education, Research, and Industrial Applications

20th International Conference, ICTERI 2025, Nice, France, September 1–4, 2025, Proceedings

Vadim Ermolayev; Frédéric Mallet; Oleksii Ignatenko; Gollam Rabby; Taras Panchenko; Grygoriy Zholtkevych; Vitaliy Yakovyna; Oleksandr Spivakovsky; Philippe Lahire

978-3-032-10477-9

2025
Edition 1
€170
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
- Includes supplementary material: sn.pub/extras
€100

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.