License single eBooks

Your results

View Cart

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

€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
Multimedia Content Analysis and Mining

International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007, Proceedings

Nicu Sebe; Yuncai Liu; Yueting Zhuang; Thomas S. Huang

978-3-540-73417-8

2007
Edition 1

€100
IUTAM Symposium on Micromechanics of Plasticity and Damage of Multiphase Materials

Proceedings of the IUTAM Symposium held in Sèvres, Paris, France, 29 August – 1 September 1995

André Pineau; André Zaoui

978-94-009-1756-9

1996
Edition 1

€400
Blei

Teil C — Lieferung 1. Metallurgie des Bleis · Verbindungen bis Blei und Chlor

Gerhart Hantke

978-3-662-12482-6

1969
Edition 8

€187
Mineral Deposits and the Evolution of the Biosphere

Report of the Dahlem Workshop on Biospheric Evolution and Precambrian Metallogeny Berlin 1980, September 1–5

H.D. Holland; A. Button; M. Schidlowski; J.H. Oehler; N. Williams; S.M. Awramik; A. Babloyantz; P. Cloud; G. Eglinton; H.L. James; C.E. Junge; I.R. Kaplan; S.L. Miller; M. Schidlowski; P.H. Trudinger

978-3-642-68463-0

1982
Edition 1

€180
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
Value Distribution Theory

Proceedings of the Nordic Summer School in Mathematics Held at Joensuu, Finland, June 1-12, 1981

I. Laine; S. Rickman

978-3-540-39480-8

1983
Edition 1

€69
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
Multiphysics and Multiscale Building Physics

Proceedings of the 9th International Building Physics Conference (IBPC 2024) Volume 1: Moisture and Materials

Umberto Berardi

978-981-97-8305-2

2025
Edition 1

€499
Federation over the Web

International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers

Klaus P. Jantke; Aran Lunzer; Nicolas Spyratos; Yuzuru Tanaka

978-3-540-32587-1

2006
Edition 1

€100
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

€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
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
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

Open Access
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

€340

Not published yet

Available from
2026-03-18
Combinatorial Algorithms

35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings

Adele Anna Rescigno; Ugo Vaccaro

978-3-031-63021-7

2024
Edition 1

€180
Simulated Evolution and Learning

8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings

Kalyanmoy Deb; Arnab Bhattacharya; Nirupam Chakraborti; Partha Chakroborty; Swagatam Das; Joydeep Dutta; Santosh K. Gupta; Ashu Jain; Varun Aggarwal; Juergen Branke; Sushil J. Louis; Kay Chen Tan

978-3-642-17298-4

2010
Edition 1

€180
Nonlinear Optimization

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

Immanuel M. Bomze; Gianni Di Pillo; Vladimir F. Demyanov; Fabio Schoen; Roger Fletcher; Tamás Terlaky

978-3-642-11339-0

2010
Edition 1

€86
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
Complex Networks & Their Applications XII

Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2023 Volume 1

Hocine Cherifi; Luis M. Rocha; Chantal Cherifi; Murat Donduran

978-3-031-53468-3

2024
Edition 1

€419
Lean Enterprise Software and Systems

4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Brian Fitzgerald; Kieran Conboy; Ken Power; Ricardo Valerdi; Lorraine Morgan; Klaas-Jan Stol

978-3-642-44930-7

2013
Edition 1

€90
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
Chirurgisches Forum ’97 für experimentelle und klinische Forschung

114. Kongreß der Deutschen Gesellschaft für Chirurgie München, 1.– 5.April 1997

D. Birk; H.-G. Beger; H. Bauer; L. Staib; M. Rothmund; W. Hartel

978-3-642-60717-2

1997
Edition 1

€201
Trust, Privacy and Security in Digital Business

5th International Conference, TrustBus 2008 Turin, Italy, September 1-5, 2008, Proceedings

Steven M. Furnell; Sokratis Katsikas; Antonio Lioy

978-3-540-85735-8

2008
Edition 1

€140
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

€100
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

€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

€100
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

Sanjay Misra; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Carmelo Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Eufemia Tarantino

978-3-030-24289-3

2019
Edition 1

€180
Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

978-3-540-33103-2

2006
Edition 1

€100
Transport Transitions: Advancing Sustainable and Inclusive Mobility

Proceedings of the 10th TRA Conference, 2024, Dublin, Ireland - Volume 1: Safe and Equitable Transport

Ciaran McNally; Páraic Carroll; Beatriz Martinez-Pastor; Bidisha Ghosh; Marina Efthymiou; Nikolaos Valantasis-Kanellos

978-3-031-88974-5

2026
Edition 1

Open Access
KI 2021: Advances in Artificial Intelligence

44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings

Stefan Edelkamp; Ralf Möller; Elmar Rueckert

978-3-030-87626-5

2021
Edition 1

€150
Unconventional Computation and Natural Computation

22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings

Enrico Formenti; Luca Manzoni

978-3-032-15641-9

2026
Edition 1

€130
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
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

€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
Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue

978-3-642-25271-6

2012
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

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.