License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

View Cart

Tools and Algorithms for the Construction and Analysis of Systems

9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Hubert Garavel; John Hatcliff

978-3-540-36577-8

2003
Edition 1

€180 €162
10% OFF
Fundamental Approaches to Software Engineering

25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Einar Broch Johnsen; Manuel Wimmer

978-3-030-99429-7

2022
Edition 1

Open Access
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops

ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings

Geyong Min; Beniamino Di Martino; Laurence T. Yang; Minyi Guo; Gudula Ruenger

978-3-540-49862-9

2006
Edition 1

€180 €162
10% OFF
Ingenieurgeologie und Geomechanik als Grundlagen des Felsbaues / Engineering Geology and Geomechanics as Fundamentals of Rock Engineering

Vorträge des 30. Geomechanik-Kolloquiums der Österreichischen Gesellschaft für Geomechanik / Contributions to the 30th Geomechanical Colloquium of the Austrian Society for Geomechanics, Salzburg 7.–9. Oktober 1981

L. Müller

978-3-7091-8665-7

1982
Edition 1

€201 €181
10% OFF
Compiler Construction

12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Görel Hedin

978-3-540-36579-2

2003
Edition 1

€100 €90
10% OFF
Intelligent Human Systems Integration 2019

Proceedings of the 2nd International Conference on Intelligent Human Systems Integration (IHSI 2019): Integrating People and Intelligent Systems, February 7-10, 2019, San Diego, California, USA

Waldemar Karwowski; Tareq Ahram

978-3-030-11051-2

2019
Edition 1

€400 €360
10% OFF
Web and Big Data

8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part II

Wenjie Zhang; Anthony Tung; Zhonglong Zheng; Zhengyi Yang; Xiaoyang Wang; Hongjie Guo

978-981-97-7235-3

2024
Edition 1

€170 €153
10% OFF
Induzione e statistica

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, June 1-10, 1959

Bruno de Finetti

978-3-642-10934-8

2011
Edition 1

€54 €49
10% OFF
Machine Learning in Medical Imaging

Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers

Fei Wang; Dinggang Shen; Pingkun Yan; Kenji Suzuki

978-3-642-35428-1

2012
Edition 1

€90 €81
10% OFF
Advances in Knowledge Discovery and Data Mining, Part II

16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part II

Pang-Ning Tan; Sanjay Chawla; Chin Kuan Ho; James Bailey

978-3-642-30220-6

2012
Edition 1

€100 €90
10% OFF
Modern Methods of Optimization

Proceedings of the Summer School “Modern Methods of Optimization”, held at the Schloß Thurnau of the University of Bayreuth, Bayreuth, FRG, October 1–6, 1990

Werner Krabs; Jochem Zowe

978-3-662-02851-3

1992
Edition 1

€100 €90
10% OFF
Information Systems: Methods, Models, and Applications

4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

Heinrich C. Mayr; Christian Kop; Stephen Liddle; Athula Ginige

978-3-642-38370-0

2013
Edition 1

€90 €81
10% OFF
AI 2025: Advances in Artificial Intelligence

38th Australasian Joint Conference on Artificial Intelligence, AI 2025, Canberra, ACT, Australia, December 1–5, 2025, Proceedings, Part I

Miaomiao Liu; Xin Yu; Chang Xu; Yiliao Song

978-981-95-4969-6

2026
Edition 1

€180 €162
10% OFF
Teoria della turbolenza

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 1-9, 1957

C. Ferrari

978-3-642-10910-2

2011
Edition 1

€54 €49
10% OFF
Transfusionsmedizinische Therapiekonzepte zur Blutkomponentensubstitution

1. Grazer Konsensus-Tagung „Transfusionsmedizin“ der Österreichischen Gesellschaft für Blutgruppenserologie und Transfusionsmedizin, 4. bis 6. März 1993

P. Höcker; Gerhard Lanzer; M. Köhler; W.R. Mayr

978-3-7091-9345-7

1994
Edition 1

€201 €181
10% OFF
Advances in Visual Computing

6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II

Richard Boyle; Bahram Parvin; Darko Koracin; Ronald Chung; Hammoud; Muhammad Hussain; Kar-Han Tan; Roger Crawfis; Daniel Thalmann; David Kao; Lisa Avila

978-3-642-17274-8

2010
Edition 1

€180 €162
10% OFF
Interactive Storytelling

18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1–5, 2025, Proceedings, Part I

María Cecilia Reyes; Frank Nack

978-3-032-12408-1

2026
Edition 1

€160 €144
10% OFF
Web and Big Data

8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part III

Wenjie Zhang; Anthony Tung; Zhonglong Zheng; Zhengyi Yang; Xiaoyang Wang; Hongjie Guo

978-981-97-7238-4

2024
Edition 1

€146 €131
10% OFF
Advances in Communication Networking

20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers

Yvon Kermarrec

978-3-319-13488-8

2014
Edition 1

€94 €85
10% OFF
Advances in Neural Networks – ISNN 2014

11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings

Zhigang Zeng; Yangmin Li; Irwin King

978-3-319-12436-0

2014
Edition 1

€100 €90
10% OFF
Embedded System Design: Topics, Techniques and Trends

IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA

Achim Rettberg; Mauro Zanella; Rainer Domer; Andreas Gerstlauer; Franz Rammig

978-0-387-72258-0

2007
Edition 1

€180 €162
10% OFF
Lectures on Applied Mathematics

Proceedings of the Symposium Organized by the Sonderforschungsbereich 438 on the Occasion of Karl-Heinz Hoffmann’s 60th Birthday, Munich, June 30 – July 1, 1999

Hans-Joachim Bungartz; Ronald W. Hoppe; Christoph Zenger

978-3-642-59709-1

2000
Edition 1

€100 €90
10% OFF
Data Security and Security Data

27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers

Lachlan MacKinnon

978-3-642-25704-9

2012
Edition 1

€100 €90
10% OFF
Web and Big Data

8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part V

Wenjie Zhang; Anthony Tung; Zhonglong Zheng; Zhengyi Yang; Xiaoyang Wang; Hongjie Guo

978-981-97-7244-5

2024
Edition 1

€146 €131
10% OFF
Advances on Mechanics, Design Engineering and Manufacturing IV

Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 2022, June 1-3, 2022, Ischia, Italy

Salvatore Gerbino; Antonio Lanzotti; Massimo Martorelli; Ramón Mirálbes Buil; Caterina Rizzi; Lionel Roucoules

978-3-031-15928-2

2023
Edition 1

€400 €360
10% OFF
Controllability and Observability

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Pontecchio (Bologna), Italy, July 1-9, 1968

E. Evangelisti

978-3-642-11063-4

2011
Edition 1

€100 €90
10% OFF
Red Cell Metabolism and Function

Proceedings of the First International Conference on Red Cell Metabolism and Function, held at the University of Michigan, Ann Arbor, October 1–3, 1969

George Brewer

978-1-4684-3195-7

1970
Edition 1

€180 €162
10% OFF
Nordic Artificial Intelligence Research and Development

4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 – June 1, 2022, Revised Selected Papers

Evi Zouganeli; Anis Yazidi; Gustavo Mello; Pedro Lind

978-3-031-17030-0

2022
Edition 1

Open Access
Smart Cities

4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers

Sergio Nesmachnow; Luis Hernández Callejo

978-3-030-96753-6

2022
Edition 1

€160 €144
10% OFF
From Computer Literacy to Informatics Fundamentals

International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings

Roland T. Mittermeir

978-3-540-31958-0

2005
Edition 1

€100 €90
10% OFF
Distributed Computing in Sensor Systems

First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings

Viktor K. Prasanna; Sitharama Iyengar; Paul Spirakis; Matt Welsh

978-3-540-31671-8

2005
Edition 1

€100 €90
10% OFF
Emerging Directions in Embedded and Ubiquitous Computing

EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 1-4, 2007, Proceedings

Mieso Denko; Chi-Sheng Shih; Kuan-Ching Li; Shiao-Li Tsao; Qing-An Zeng; Soo-Hyun Park; Young-Bae Ko; Shih-Hao Hung; Jong Hyuk Park

978-3-540-77090-9

2007
Edition 1

€180 €162
10% OFF
IUTAM Symposium on Multiscale Modelling of Fatigue, Damage and Fracture in Smart Materials

Proceedings of the IUTAM Symposium on Multiscale Modelling of Fatigue, Damage and Fracture in Smart Materials, held in Freiberg, Germany, September 1-4, 2009

Meinhard Kuna; Andreas Ricoeur

978-90-481-9887-0

2011
Edition 1

€280 €252
10% OFF
Electrostatic Effects in Soft Matter and Biophysics

Proceedings of the NATO Advanced Research Workshop on Electrostatic Effects in Soft Matter and Biophysics Les Houches, France 1–13 October 2000

Christian Holm; Patrick Kékicheff; Rudolf Podgornik

978-94-010-0577-7

2001
Edition 1

€400 €360
10% OFF
Bridging the Gap Between AI and Reality

Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1–5, 2025, Selected Papers

Bernhard Steffen

978-3-032-07132-3

2026
Edition 1

Open Access
Recent Trends in Algebraic Development Techniques

15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

Maura Cerioli; Gianna Reggio

978-3-540-45645-2

2002
Edition 1

€100 €90
10% OFF
Knowledge Management and Acquisition for Smart Systems and Services

13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, QLD, Australia, December 1-2, 2014, Proceedings

Yang Sok Kim; Byeong Ho Kang; Deborah Richards

978-3-319-13332-4

2014
Edition 1

€94 €85
10% OFF
Electronics and Signal Processing

Selected Papers from the 2011 International Conference on Electric and Electronics (EEIC 2011) in Nanchang, China on June 20-22, 2011, Volume 1

Wensong Hu

978-3-642-21697-8

2011
Edition 1

€598 €538
10% OFF
Performance Evaluation and Benchmarking

15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 – September 1, 2023, Revised Selected Papers

Raghunath Nambiar; Meikel Poess

978-3-031-68031-1

2024
Edition 1

€100 €90
10% OFF
Research Issues in Structured and Semistructured Database Programming

7th International Workshop on Database Programming Languages, DBPL'99 Kinloch Rannoch, UK, September 1-3, 1999 Revised Papers

Richard Connor; Alberto Mendelzon

978-3-540-44543-2

2000
Edition 1

€100 €90
10% OFF
Advances in Production Management Systems. Towards Smart Production Management Systems

IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part II

Farhad Ameri; Kathryn E. Stecke; Gregor von Cieminski; Dimitris Kiritsis

978-3-030-29996-5

2019
Edition 1

€180 €162
10% OFF
Collaborative Business Ecosystems and Virtual Enterprises

IFIP TC5 / WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE’02) May 1–3, 2002, Sesimbra, Portugal

Luis M. Camarinha-Matos

978-0-387-35585-6

2002
Edition 1

€280 €252
10% OFF
Sustaining TEL: From Innovation to Learning and Practice

5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings

Martin Wolpers; Paul A. Kirschner; Maren Scheffel; Stefanie Lindstaedt; Vania Dimitrova

978-3-642-16020-2

2010
Edition 1

€180 €162
10% OFF
Advances in Neural Networks -- ISNN 2011

8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Prodceedings, Part III

Derong Liu; Huaguang Zhang; Marios Polycarpou; Cesare Alippi; Haibo He

978-3-642-21111-9

2011
Edition 1

€180 €162
10% OFF
New Frontiers in Artificial Intelligence

JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers

Manabu Okumura; Daisuke Bekki; Ken Satoh

978-3-642-32090-3

2012
Edition 1

€100 €90
10% OFF
Advances in Digital Forensics XIII

13th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 30 - February 1, 2017, Revised Selected Papers

Gilbert Peterson; Sujeet Shenoi

978-3-319-67208-3

2017
Edition 1

€180 €162
10% OFF
Euro-Par 2023: Parallel Processing Workshops

Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part II

Demetris Zeinalipour; Dora Blanco Heras; George Pallis; Herodotos Herodotou; Demetris Trihinas; Daniel Balouek; Patrick Diehl; Terry Cojean; Karl Fürlinger; Maja Hanne Kirkeby; Matteo Nardelli; Pierangelo Di Sanzo

978-3-031-48803-0

2024
Edition 1

€110 €99
10% OFF
Implementation and Application of Functional Languages

22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

Jurriaan Hage; Marco T. Morazán

978-3-642-24276-2

2011
Edition 1

€100 €90
10% OFF
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

Maria Serna; Ronen Shaltiel; Klaus Jansen; José Rolim

978-3-642-15369-3

2010
Edition 1

€180 €162
10% OFF
Financial Cryptography and Data Security

27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part II

Foteini Baldimtsi; Christian Cachin

978-3-031-47751-5

2024
Edition 1

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