License single eBooks

Your results

View Cart

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

María Alpuente; Byron Cook; Christophe Joubert

978-3-642-04570-7

2009
Edition 1

€100
Algebraic and Geometrical Methods in Topology

Conference on Topological Methods in Algebraic Topology, Suny, Binghamton, USA, Oct. 3-7, 1973

L.F. McAuley

978-3-540-37300-1

1974
Edition 1

€74
Frontiers in Algorithmics

9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

Jianxin Wang; Chee Yap

978-3-319-19647-3

2015
Edition 1

€100
Operations Research Proceedings 1998

Selected Papers of the International Conference on Operations Research Zurich, August 31 – September 3, 1998

Peter Kall; Hans-Jakob Lüthi

978-3-642-58409-1

1999
Edition 1

€201
Computer Algebra in Scientific Computing

14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings

Vladimir P. Gerdt; Wolfram Koepf; Ernst W. Mayr; Evgenii V. Vorozhtsov

978-3-642-32973-9

2012
Edition 1

€100
Ubiquitous Intelligence and Computing

Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings

Hai Jin; Laurence T. Yang; Jeffrey J.-P. Tsai

978-3-540-38092-4

2006
Edition 1

€240
Complex Networks & Their Applications XIV

Proceedings of The Fourteenth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2025. Volume 3

Hocine Cherifi; Luis M. Rocha; Chantal Cherifi; Melissa Zeynep Ertem

978-3-032-16723-1

2026
Edition 1

Not published yet

Available from
2026-03-08
Parallel Computing Technologies

6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings

Victor Malyshkin

978-3-540-44743-6

2001
Edition 1

€100
Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Jean-Francois Raskin; P.S. Thiagarajan

978-3-540-75454-1

2007
Edition 1

€100
Operations Research Proceedings 2003

Selected Papers of the International Conference on Operations Research (OR 2003) Heidelberg, September 3–5, 2003

Dino Ahr; Roland Fahrion; Marcus Oswald; Gerhard Reinelt

978-3-642-17022-5

2004
Edition 1

€280
Engineering Secure Software and Systems

9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Eric Bodden; Mathias Payer; Elias Athanasopoulos

978-3-319-62105-0

2017
Edition 1

€100
Software Business

12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings

Xiaofeng Wang; Antonio Martini; Anh Nguyen-Duc; Viktoria Stray

978-3-030-91983-2

2021
Edition 1

€130
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
Numerical Treatment of Inverse Problems in Differential and Integral Equations

Proceedings of an International Workshop, Heidelberg, Fed. Rep. of Germany, August 30 — September 3, 1982

Deuflhard; Hairer

978-1-4684-7324-7

1983
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
Computer Vision, Virtual Reality and Robotics in Medicine

First International Conference, CVRMed '95, Nice, France, April 3 - 6, 1995. Proceedings

Nicholas Ayache

978-3-540-49197-2

1995
Edition 1

€180
Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Serenella Cerrito; Andrei Popescu

978-3-030-29026-9

2019
Edition 1

€100
Radiative Corrections for e+e- Collisions

Proceedings of the International Workshop Held at Schloß Ringberg Tegernsee, FRG, April 3–7, 1989

Johann H. Kühn

978-3-642-74925-4

1989
Edition 1

€100
The Semantic Web – ASWC 2006

First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings

Riichiro Mizoguchi; Fausto Giunchiglia

978-3-540-38331-4

2006
Edition 1

€180
CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Egon Börger; Hans Kleine Büning; Michael M. Richter

978-3-540-46736-6

1989
Edition 1

€100
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
WALCOM: Algorithms and Computation

12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

M. Sohel Rahman; Wing-Kin Sung; Ryuhei Uehara

978-3-319-75172-6

2018
Edition 1

€100
Equilibrium and Disequilibrium in Economic Theory

Proceedings of a Conference Organized by the Institute for Advanced Studies, Vienna, Austria July 3–5, 1974

G. Schwödiauer

978-94-010-1155-6

1978
Edition 1

€154
A Practical Programming Model for the Multi-Core Era

International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings

Barbara Chapman; Weimin Zheng; Guang R. Gao; Mitsuhisa Sato; Eduard Ayguadé; Dongsheng Wang

978-3-540-69303-1

2008
Edition 1

€100
Business Modeling and Software Design

13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings

Boris Shishkov

978-3-031-36757-1

2023
Edition 1

€150
Practical Aspects of Knowledge Management

5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings

Dimitris Karagiannis; Ulrich Reimer

978-3-540-30545-3

2004
Edition 1

€180
IUTAM Symposium on Anisotropy, Inhomogeneity and Nonlinearity in Solid Mechanics

Proceedings of the IUTAM-ISIMM Symposium held in Nottingham, U.K., 30 August – 3 September 1994

David F. Parker; Arthur H. England

978-94-015-8494-4

1995
Edition 1

€578
Advanced Information Networking and Applications

Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023), Volume 3

Leonard Barolli

978-3-031-28694-0

2023
Edition 1

€538
Computational Science and Its Applications – ICCSA 2017

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Giuseppe Borruso; Carmelo M. Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Elena Stankova; Alfredo Cuzzocrea

978-3-319-62407-5

2017
Edition 1

€100
Agile Processes in Software Engineering and Extreme Programming

14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings

Hubert Baumeister; Barbara Weber

978-3-642-38314-4

2013
Edition 1

€90
Passive and Active Network Measurement

10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings

Renata Teixeira; Sue B. Moon; Steve Uhlig

978-3-642-00975-4

2009
Edition 1

€100
Changing Television Environments

6th European Conference, EuroITV 2008, Salzburg, Austria, July 3-4, 2008, Proceedings

Manfred Tscheligi; Marianna Obrist; Arthur Lugmayr

978-3-540-69478-6

2008
Edition 1

€100
Computational Science and Its Applications – ICCSA 2023

23rd International Conference, Athens, Greece, July 3–6, 2023, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; David Taniar; Bernady O. Apduhan; Ana Cristina Braga; Chiara Garau; Anastasia Stratigea

978-3-031-36808-0

2023
Edition 1

€180
Automated and Algorithmic Debugging

First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings

Peter A. Fritzson

978-3-540-48141-6

1993
Edition 1

€100
Algorithm Theory - SWAT 2002

8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings

Martti Penttonen; Erik Meineche Schmidt

978-3-540-45471-7

2002
Edition 1

€100
Entertainment Computing -- ICEC 2009

8th International Conference, ICEC 2009, Paris, France, September 3-5, 2009, Proceedings

Stéphane Natkin; Jérome Dupire

978-3-642-04052-8

2009
Edition 1

€100
Numerical Analysis, Lancaster 1984

Proceedings of the SERC Summer School held in Lancaster, England, July 15 - August 3, 1984

Peter R. Turner

978-3-540-39412-9

1985
Edition 1

€50
Computational Science and Its Applications – ICCSA 2025

25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part I

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; Yeliz Karaca; David Taniar; Ana Maria A. C. Rocha; Bernady O. Apduhan

978-3-031-97000-9

2025
Edition 1

€160
Soft Computing in Data Science

First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings

Michael W. Berry; Azlinah Mohamed; Bee Wah Yap

978-981-287-936-3

2015
Edition 1

€100
Knowledge and Systems Sciences

22nd International Symposium, KSS 2023, Guangzhou, China, December 2–3, 2023, Proceedings

Jian Chen; Van-Nam Huynh; Xijin Tang; Jiangning Wu

978-981-99-8318-6

2023
Edition 1

€150
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
Algebraic Methodology and Software Technology

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

V.S. Alagar; Maurice Nivat

978-3-540-49410-2

1995
Edition 1

€180
Logic and Its Applications

11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings

C. Aiswarya; Prabal Kumar Sen; Shashi Mohan Srivastava

978-3-031-89610-1

2025
Edition 1

€114
Performance Management im Hochschulbereich

Dilger/Dyckhoff/Fandel (Hrsg.), Performance Management im Hochschulbereich (ZfB Special Issue 3)

Alexander Dilger; Harald Dyckhoff; Günter Fandel

978-3-658-03348-4

2013
Edition 1

€168
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-02-16
Data Management in Cloud, Grid and P2P Systems

7th International Conference, Globe 2014, Munich, Germany, September 2-3, 2014. Proceedings

Abdelkader Hameurlain; Tran Khanh Dang; Franck Morvan

978-3-319-10067-8

2014
Edition 1

€80
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
Computational Science and Its Applications – ICCSA 2017

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Giuseppe Borruso; Carmelo M. Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Elena Stankova; Alfredo Cuzzocrea

978-3-319-62398-6

2017
Edition 1

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