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

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro; José Fiadeiro

978-3-319-70848-5

2017
Edition 1

€130 €117
10% OFF
Recent Advances in System Modelling and Optimization

Proceedings of the IFIP-WG 7/1 Working Conference, Santiago, Chile, August 27–31, 1984

Luis Contesse; Rafael Correa; Andres Weintraub

978-3-540-47201-8

1986
Edition 1

€100 €90
10% OFF
Abfallwirtschaft Stoffkreisläufe

TerraTec ’95 Kongreß West-Ost-Transfer Umwelt vom 1. bis 3. März 1995

Hasso Scheffler; Herbert Mohry

978-3-322-83426-3

1995
Edition 1

€181 €163
10% OFF
Technologies and Applications of Artificial Intelligence

28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1–2, 2023, Proceedings, Part I

Chao-Yang Lee; Chun-Li Lin; Hsuan-Ting Chang

978-981-97-1711-8

2024
Edition 1

€180 €162
10% OFF
Field Programmable Logic and Application

14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

Jürgen Becker; Marco Platzner; Serge Vernalde

978-3-540-30117-2

2004
Edition 1

€160 €144
10% OFF
Analysis

Band 1: Ein Lernbuch für den sanften Wechsel von der Schule zur Uni

Ehrhard Behrends

978-3-322-96378-9

2004
Edition 2

€486 €437
10% OFF
Electronic Government

10th International Conference, EGOV 2011, Delft, The Netherlands, August 29 -- September 1, 2011, Proceedings

Marijn Janssen; Hans Jochen Scholl; Maria A. Wimmer; Yao-Hua Tan

978-3-642-22878-0

2011
Edition 1

€100 €90
10% OFF
Mathematical Software - ICMS 2006

Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings

Andres Iglesias; Nobuki Takayama

978-3-540-38086-3

2006
Edition 1

€100 €90
10% OFF
Towards Autonomous Robotic Systems

17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

Lyuba Alboul; Dana Damian; Jonathan M. Aitken

978-3-319-40379-3

2016
Edition 1

€100 €90
10% OFF
Electronic Government

Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Roland Traunmüller

978-3-540-45239-3

2003
Edition 1

€180 €162
10% OFF
Mixed Finite Elements, Compatibility Conditions, and Applications

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 26 - July 1, 2006

Daniele Boffi; Daniele Boffi; Franco Brezzi; Lucia Gastaldi; Leszek F. Demkowicz; Ricardo G. Durán; Richard S. Falk; Michel Fortin

978-3-540-78319-0

2008
Edition 1

€110 €99
10% OFF
Ärztliche Problematik des Urlaubs

Verhandlungsbericht des 1. ADAC-Ärzte-Kongresses vom 16. bis 17. Juni 1972 in München

Werner Wachsmuth

978-3-642-80737-4

1973
Edition 1

€201 €181
10% OFF
Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Mogens Nielsen; Branislav Rovan

978-3-540-44612-5

2000
Edition 1

€180 €162
10% OFF
Cooperative Buildings. Integrating Information, Organizations, and Architecture

Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings

Norbert Streitz; Jane Siegel; Volker Hartkopf; Shinichi Konomi

978-3-540-48106-5

1999
Edition 1

€100 €90
10% OFF
Human-Centred Technology Management for a Sustainable Future

Volume 1: Human-Centred Technology Approaches, Proceedings of the 33rd IAMOT Conference, Porto, Portugal, 2024

Ricardo Zimmermann; José Coelho Rodrigues; Ana Simoes; Gustavo Dalmarco

978-3-031-72486-2

2024
Edition 1

€419 €377
10% OFF
User Interface Management Systems

Proceedings of the Workshop on User Interface Management Systems held in Seeheim, FRG, November 1–3, 1983

Günther E. Pfaff

978-3-642-70041-5

1985
Edition 1

€180 €162
10% OFF
Decision and Game Theory for Security

10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

Tansu Alpcan; Yevgeniy Vorobeychik; John S. Baras; György Dán

978-3-030-32430-8

2019
Edition 1

€100 €90
10% OFF
Theory of Cryptography

17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

Dennis Hofheinz; Alon Rosen

978-3-030-36030-6

2019
Edition 1

€100 €90
10% OFF
Communication-Based Systems

Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Günter Hommel

978-94-015-9608-4

2000
Edition 1

€180 €162
10% OFF
Reproducible Research in Pattern Recognition

Fifth International Workshop, RRPR 2024, Kolkata, India, December 1, 2024, Revised Selected Papers

Bertrand Kerautret; Federico Bolelli; Miguel Colom; Daniel Lopresti

978-3-031-97822-7

2026
Edition 1

€220 €198
10% OFF
Advances in Quantitative Ethnography

Second International Conference, ICQE 2020, Malibu, CA, USA, February 1-3, 2021, Proceedings

Andrew R. Ruis; Seung B. Lee

978-3-030-67788-6

2021
Edition 1

€100 €90
10% OFF
Selected Areas in Cryptography

28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers

Riham AlTawy; Andreas Hülsing

978-3-030-99277-4

2022
Edition 1

€160 €144
10% OFF
Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Ralf Hinze; Janis Voigtländer

978-3-319-19797-5

2015
Edition 1

€100 €90
10% OFF
Computer Aided Verification

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Costas Courcoubetis

978-3-540-47787-7

1993
Edition 1

€100 €90
10% OFF
Testbeds and Research Infrastructures for the Development of Networks and Communities

13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

Honghao Gao; Yuyu Yin; Xiaoxian Yang; Huaikou Miao

978-3-030-12971-2

2019
Edition 1

€80 €72
10% OFF
Data Mining and Big Data

Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61845-6

2017
Edition 1

€100 €90
10% OFF
Pattern Recognition and Artificial Intelligence

Third International Conference, ICPRAI 2022, Paris, France, June 1–3, 2022, Proceedings, Part I

Mounîm El Yacoubi; Eric Granger; Pong Chi Yuen; Umapada Pal; Nicole Vincent

978-3-031-09037-0

2022
Edition 1

€300 €270
10% OFF
Web Technologies Research and Development - APWeb 2005

7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings

Yanchun Zhang; Katsumi Tanaka; Jeffrey Xu Yu; Shan Wang; Minglu Li

978-3-540-31849-1

2005
Edition 1

€280 €252
10% OFF
Die Onkologie

Teil 1: Epidemiologie - Pathogenese - Grundprinzipien der Therapie; Teil 2: Solide Tumoren - Lymphome - Leukämien

Wolfgang Hiddemann; Claus R. Bartram; H. Huber

978-3-662-06670-6

2004
Edition 1

€187 €168
10% OFF
North American Social Report

A Comparative Study of the Quality of Life in Canada and the USA from 1964 to 1974.Vol. 1: Foundations, Population and Health

Alex C. Michalos

978-94-009-8975-7

1980
Edition 1

€180 €162
10% OFF
Database and Expert Systems Applications

14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik; Werner Retschitzegger; Olga Stepankova

978-3-540-45227-0

2003
Edition 1

€180 €162
10% OFF
Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part I

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12287-2

2026
Edition 1

€146 €131
10% OFF
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings

Weiru Liu

978-3-642-22152-1

2011
Edition 1

€180 €162
10% OFF
Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

978-3-642-21691-6

2011
Edition 1

€100 €90
10% OFF
Passive and Active Measurement

17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

Thomas Karagiannis; Xenofontas Dimitropoulos

978-3-319-30505-9

2016
Edition 1

€100 €90
10% OFF
Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller

978-3-319-06251-8

2014
Edition 1

€100 €90
10% OFF
Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Steffen Hölldobler; Carsten Lutz; Heinrich Wansing

978-3-540-87803-2

2008
Edition 1

€100 €90
10% OFF
Innovative Technologies and Learning

4th International Conference, ICITL 2021, Virtual Event, November 29 – December 1, 2021, Proceedings

Yueh-Min Huang; Chin-Feng Lai; Tânia Rocha

978-3-030-91540-7

2021
Edition 1

€220 €198
10% OFF
Advances in Simulation of Wing and Nacelle Stall

Results of the Closing Symposium of the DFG Research Unit FOR 1066, December 1-2, 2014, Braunschweig, Germany

Rolf Radespiel; Reinhard Niehuis; Norbert Kroll; Kathrin Behrends

978-3-319-21127-5

2016
Edition 1

€400 €360
10% OFF
Critical Information Infrastructures Security

First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006

Javier Lopez

978-3-540-69084-9

2006
Edition 1

€100 €90
10% OFF
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part II

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87196-3

2021
Edition 1

€180 €162
10% OFF
Rewriting Techniques and Applications

20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Ralf Treinen

978-3-642-02348-4

2009
Edition 1

€100 €90
10% OFF
Next Generation Arithmetic

Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

John Gustafson; Vassil Dimitrov

978-3-031-09779-9

2022
Edition 1

€120 €108
10% OFF
The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Paola Bonizzoni; Vasco Brattka; Benedikt Löwe

978-3-642-39053-1

2013
Edition 1

€100 €90
10% OFF
Industrial Networks and Intelligent Systems

Second International Conference, INISCOM 2016, Leicester, UK, October 31 – November 1, 2016, Proceedings

Leandros A. Maglaras; Helge Janicke; Kevin Jones

978-3-319-52569-3

2017
Edition 1

€80 €72
10% OFF
Information Security and Cryptology

Second SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings

Helger Lipmaa; Moti Yung; Donghai Lin

978-3-540-49610-6

2006
Edition 1

€100 €90
10% OFF
Theory and Practice of Model Transformations

First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Antonio Vallecillo; Jeff Gray; Alfonso Pierantonio

978-3-540-69927-9

2008
Edition 1

€100 €90
10% OFF
Implementation and Application of Automata

26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

Pascal Caron; Ludovic Mignot

978-3-031-07469-1

2022
Edition 1

€130 €117
10% OFF
Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP), Boppard, 1./2. Dezember 2005

Peter Holleczek; Birgit Vogel-Heuser

978-3-540-29595-2

2005
Edition 1

€210 €189
10% OFF
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27 – October 1, 2021, Proceedings, Part VIII

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87237-3

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