License single eBooks

Your results

View Cart

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
Thermal Radiation Phenomena

Volume 1: Radiative Properties of Air / Volume 2: Excitation and Non-Equilibrium Phenomena in Air

Roll K. M. Landshoff; John L. Magee

978-1-4684-8709-1

1969
Edition 1
€280
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
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
Global Security, Safety, and Sustainability

6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings

Sergio Tenreiro de Magalhaes; Hamid Jahankhani; Ali G. Hessami

978-3-642-15717-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Business Process Management

17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Thomas Hildebrandt; Boudewijn F. van Dongen; Maximilian Röglinger; Jan Mendling

978-3-030-26619-6

2019
Edition 1
€100
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
Rough Sets and Current Trends in Computing

4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

Shusaku Tsumoto; Roman Slowiński; Jan Komorowski; Jerzy W. Grzymala-Busse

978-3-540-25929-9

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Service Assurance with Partial and Intermittent Resources

First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings

Petre Dini; Pascal Lorenz; José Neuman De Souza

978-3-540-27767-5

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

First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings

Willy Susilo; Joseph K. Liu; Yi Mu

978-3-540-75670-5

2007
Edition 1
€100
Field Programmable Logic and Applications

13th International Conference, FPL 2003 Lisbon, Portugal, September 1–3, 2003 Proceedings

Peter Y.K. Cheung; Georg A. Constantinides; Jose T. de Sousa

978-3-540-45234-8

2003
Edition 1
€100
Coordination Languages and Models

Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings

David Garlan; Daniel Le Metayer

978-3-540-69527-1

1997
Edition 1
€100
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
Transformational Drivers of National Economies: A New Analytical Framework Addressing Transitional Growth Model

Proceedings of the ESPERA 2024 International Conference, Bucharest, Romania, October 17-18, Vol 1

Luminita Chivu; Valeriu Ioan-Franc; George Georgescu; Ignacio De Los Ríos Carmenado; Jean-Vasile Andrei

978-3-032-18962-2

2026
Edition 1
- Analyses the current global economic shifts in response to geopolitical challenges
- Offers a cross-country perspective on policy reform and the forces shaping national economies
- Features topics such as renewable manufacturing, educational performance, fiscal sustainability, and green transition
Not published yet

Available from
2026-05-11
The Magnetospheres of the Earth and Jupiter

Proceedings of the Neil Brice Memorial Symposium, Held in Frascati, May 28–June 1, 1974

V. Formisano

978-94-010-1789-3

1975
Edition 1
€100
Research and Advanced Technology for Digital Libraries

First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings

Costantino Thanos

978-3-540-69597-4

1997
Edition 1
€100
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings

Claudio Sossai; Gaetano Chemello

978-3-642-02906-6

2009
Edition 1
€180
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
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
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
GWAI-82

6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982

W. Wahlster

978-3-642-68826-3

1982
Edition 1
€180
Business Process Management: Blockchain and Central and Eastern Europe Forum

BPM 2019 Blockchain and CEE Forum, Vienna, Austria, September 1–6, 2019, Proceedings

Claudio Di Ciccio; Renata Gabryelczyk; Luciano García-Bañuelos; Tomislav Hernaus; Rick Hull; Mojca Indihar Štemberger; Andrea Kő; Mark Staples

978-3-030-30429-4

2019
Edition 1
€100
Advanced Internet Services and Applications

First International Workshop, AISA 2002, Seoul, Korea, August 1-2, 2002. Proceedings

Whie Chang

978-3-540-45639-1

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Data Base Management: Theory and Applications

Proceedings of the NATO Advanced Study Institute held at Estoril, Portugal, June 1–14, 1981

Clyde Holsapple; A.B. Whinston

978-94-009-7029-8

1983
Edition 1
€280
Reading the Archive of Earth’s Oxygenation

Volume 1: The Palaeoproterozoic of Fennoscandia as Context for the Fennoscandian Arctic Russia - Drilling Early Earth Project

Victor Melezhik; Anthony R. Prave; Anthony E. Fallick; Lee R. Kump; Harald Strauss; Aivo Lepland; Eero J. Hanski

978-3-642-29682-6

2013
Edition 1
- Establishment of a well-characterized, well-dated and well-archived succession of rocks for the period of 2500-2000 Ma
- Documentation of the changes in the biosphere and the geosphere associated with the rise in atmospheric oxygen
- Development of a self-consistent model to explain the genesis and timing of the establishment of the aerobic Earth System
- Includes supplementary material: sn.pub/extras
€280
Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Brigitte Pientka; Cesare Tinelli

978-3-031-38499-8

2023
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Programming Languages and Systems

5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

Zhong Shao

978-3-540-76637-7

2007
Edition 1
€100
Language and Automata Theory and Applications

15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Alberto Leporati; Carlos Martín-Vide; Dana Shapira; Claudio Zandron

978-3-030-68195-1

2021
Edition 1
€100
Algebraic Informatics

6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Andreas Maletti

978-3-319-23021-4

2015
Edition 1
€94
Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

Khoa Nguyen; Wenling Wu; Kwok Yan Lam; Huaxiong Wang

978-3-030-62576-4

2020
Edition 1
€100
Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Serge Gaspers; Toby Walsh

978-3-319-66263-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Handbuch der Bodenlehre

Band 1: Die naturwissenschaftlichen Grundlagen der Lehre von der Entstehung des Bodens

E. Blank

978-3-642-45801-9

1929
Edition 1
€201
Hamiltonian Dynamics - Theory and Applications

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 1-10, 1999

Giancarlo Benettin; Antonio Giorgilli; Jacques Henrard; Sergej B. Kuksin

978-3-540-31541-4

2005
Edition 1
€66
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
AI, Society and Digital Transformation

Proceedings of 2025 INFORMS Conference on Service Science, Oxford, UK, July 1-3, 2025

Xiaolei Xie; Kejia Hu; Guiping Hu; Weiwei Chen; Robin Qiu

978-3-032-13116-4

2026
Edition 1
- Presents cutting-edge research and practice advances in service science
- Explores how AI and digital technologies are reshaping the way we live, work, and socialize
- Gathers global knowledge and insights
€340
Software Composition

9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Michel Baudry; Eric Wohlstadter

978-3-642-14046-4

2010
Edition 1
€100
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
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
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
Diffusion Processes: Experiment, Theory, Simulations

Proceedings of the Vth Max Born Symposium Held at Kudowa, Poland, 1–4 June 1994

Andrzej Pekalski

978-3-540-49038-8

1994
Edition 1
€180

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.