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

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Jean-Pierre Jouannaud; Zhong Shao

978-3-642-25379-9

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
Computer Algebra in Scientific Computing

13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

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

978-3-642-23568-9

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Multiple Classifier Systems

9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings

Neamat El Gayar; Josef Kittler; Fabio Roli

978-3-642-12127-2

2010
Edition 1
- Fast track conference proceedings
- State of the art papers in multiple classifier systems
- Up to date research
€100 €90
10% OFF
Flow Visualization VI

Proceedings of the Sixth International Symposium on Flow Visualization, October 5–9, 1992, Yokohama, Japan

Yoshimichi Tanida; Hiroshi Miyashiro

978-3-642-84824-7

1992
Edition 1
€180 €162
10% OFF
Information and Communication Technologies

International Conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010, Proceedings

Vinu V Das; R. Vijaykumar

978-3-642-15766-0

2010
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€180 €162
10% OFF
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97570-7

2025
Edition 1
€160 €144
10% OFF
Bioinformatics Research and Applications

19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9–12, 2023, Proceedings

Xuan Guo; Serghei Mangul; Murray Patterson; Alexander Zelikovsky

978-981-99-7074-2

2023
Edition 1
€180 €162
10% OFF
Independent Component Analysis and Signal Separation

7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings

Mike E. Davies; Christopher C. James; Samer A. Abdallah; Mark D. Plumbley

978-3-540-74494-8

2007
Edition 1
€180 €162
10% OFF
Mining Intelligence and Knowledge Exploration

Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings

Rajendra Prasath; Anil Kumar Vuppala; T. Kathirvalavakumar

978-3-319-26832-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Graham Hutton

978-3-030-33636-3

2019
Edition 1
€100 €90
10% OFF
Passive and Active Measurement

11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010, Proceedings

Arvind Krishnamurthy; Bernhard Plattner

978-3-642-12334-4

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100 €90
10% OFF
Security, Privacy, and Applied Cryptography Engineering

12th International Conference, SPACE 2022, Jaipur, India, December 9–12, 2022, Proceedings

Lejla Batina; Stjepan Picek; Mainack Mondal

978-3-031-22829-2

2022
Edition 1
€150 €135
10% OFF
Data Science

Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings

Chengqi Zhang; Wei Huang; Yong Shi; Philip S. Yu; Yangyong Zhu; Yingjie Tian; Peng Zhang; Jing He

978-3-319-24474-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94 €85
10% OFF
Wireless Sensor Networks

12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings

Tarek Abdelzaher; Nuno Pereira; Eduardo Tovar

978-3-319-15582-1

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100 €90
10% OFF
Product Focused Software Process Improvement

4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings

Markku Oivo; Seija Komi-Sirviö

978-3-540-36209-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Automata, Languages and Programming

20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings

Andrzej Lingas; Rolf Karlsson; Svante Carlsson

978-3-540-47826-3

1993
Edition 1
€180 €162
10% OFF
Computational Science – ICCS 2025

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III

Michael H. Lees; Wentong Cai; Siew Ann Cheong; Yi Su; David Abramson; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-97632-2

2025
Edition 1
€160 €144
10% OFF
Intelligent Human Computer Interaction

10th International Conference, IHCI 2018, Allahabad, India, December 7–9, 2018, Proceedings

Uma Shanker Tiwary

978-3-030-04021-5

2018
Edition 1
€100 €90
10% OFF
Advances in Computer Science - ASIAN 2005. Data Management on the Web

10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings

Stephane Grumbach; Liying Sui; Victor Vianu

978-3-540-32249-8

2005
Edition 1
€100 €90
10% OFF
Distributed Computing and Internet Technology

10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014, Proceedings

Raja Natarajan

978-3-319-04483-5

2014
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up to date results
€100 €90
10% OFF
Automata, Languages and Programming

34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings

Lars Arge; Christian Cachin; Tomasz Jurdzinski

978-3-540-73420-8

2007
Edition 1
€180 €162
10% OFF
Advanced Information Systems Engineering

18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings

Eric Dubois; Klaus Pohl

978-3-540-34653-1

2006
Edition 1
€180 €162
10% OFF
Big Data

12th CCF Conference, BigData 2024, Qingdao, China, August 9–11, 2024, Proceedings

Wenwu Zhu; Hui Xiong; Xiuzhen Cheng; Lizhen Cui; Zhicheng Dou; Junyu Dong; Shanchen Pang; Li Wang; Lanju Kong; Zhenxiang Chen

978-981-96-1024-2

2025
Edition 1
€150 €135
10% OFF
Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Alberto Sangiovanni-Vincentelli; Joseph Sifakis

978-3-540-45828-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Algorithms and Data Structures

17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings

Anna Lubiw; Mohammad Salavatipour; Meng He

978-3-030-83508-8

2021
Edition 1
€180 €162
10% OFF
Machine Learning and Data Mining in Pattern Recognition

4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings

Petra Perner; Atsushi Imiya

978-3-540-31891-0

2005
Edition 1
€180 €162
10% OFF
Instability and Transition

Materials of the workshop held May 15–June 9, 1989 in Hampton, Virginia Volume 2

M.Y. Hussaini; Robert G. Voigt

978-1-4612-3432-6

1990
Edition 1
€180 €162
10% OFF
Progress in Cryptology – AFRICACRYPT 2019

11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Johannes Buchmann; Abderrahmane Nitaj; Tajjeeddine Rachidi

978-3-030-23696-0

2019
Edition 1
€100 €90
10% OFF
Information Security Practice and Experience

20th International Conference, ISPEC 2025, Chengdu, China, November 7–9, 2025, Proceedings

Hu Xiong; Lu Zhou; Mohammed Atiquzzaman

978-981-95-9284-5

2026
Edition 1
Not published yet

Available from
2026-05-10
Web Engineering

10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings

Boualem Benatallah; Fabio Casati; Gerti Kappel; Gustavo Rossi

978-3-642-13911-6

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€180 €162
10% OFF
Network Computing and Information Security

Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012, Proceedings

Jingsheng Lei; Fu Lee Wang; Mo Li; Yuan Luo

978-3-642-35211-9

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180 €162
10% OFF
Similarity Search and Applications

11th International Conference, SISAP 2018, Lima, Peru, October 7–9, 2018, Proceedings

Stéphane Marchand-Maillet; Yasin N. Silva; Edgar Chávez

978-3-030-02224-2

2018
Edition 1
€100 €90
10% OFF
Technology and Practice of Passwords

9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings

Frank Stajano; Stig F. Mjølsnes; Graeme Jenkinson; Per Thorsheim

978-3-319-29938-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€80 €72
10% OFF
Theory and Applications of Satisfiability Testing – SAT 2019

22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Mikoláš Janota; Inês Lynce

978-3-030-24258-9

2019
Edition 1
€100 €90
10% OFF
Intelligent Agents for Telecommunication Applications

Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999, Proceedings

Sahin Albayrak

978-3-540-48165-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Die Verordnung über die schiedsgerichtliche Erhöhung von Preisen bei der Lieferung von elektrischer Arbeit, Gas und Leitungswasser

vom 1. Februar 1919/9. Juni 1922 nebst den zugehörigen weiteren Bestimmungen

Paul Ziekursch; R. Kauffmann

978-3-662-33088-3

1922
Edition 2
€201 €181
10% OFF
Systems, Software and Services Process Improvement

27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings

Murat Yilmaz; Jörg Niemann; Paul Clarke; Richard Messnarz

978-3-030-56441-4

2020
Edition 1
€180 €162
10% OFF
Multimedia Communications, Services and Security

10th International Conference, MCSS 2020, Kraków, Poland, October 8-9, 2020, Proceedings

Andrzej Dziech; Wim Mees; Andrzej Czyżewski

978-3-030-59000-0

2020
Edition 1
€100 €90
10% OFF
Advanced Information Systems Engineering

12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings

Benkt Wangler; Lars Bergman

978-3-540-45140-2

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Cladocera as Model Organisms in Biology

Proceedings of the Third International Symposium on Cladocera, held in Bergen, Norway, 9–16 August 1993

Petter Larsson; Lawrence J. Weider

978-94-011-0021-2

1995
Edition 1
€280 €252
10% OFF
Functional and Logic Programming

7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Yukiyoshi Kameyama; Peter J. Stuckey

978-3-540-24754-8

2004
Edition 1
€100 €90
10% OFF
Disks and Outflows Around Young Stars

Proceedings of a Conference Honouring Hans Elsässer Held at Heidelberg, Germany, 6–9 September 1994

Steven Beckwith; Jakob Staude; Axel Quetz; Antonella Natta

978-3-540-68511-1

1996
Edition 1
€180 €162
10% OFF
Theory and Practice of Natural Computing

9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings

Carlos Martín-Vide; Miguel A. Vega-Rodríguez; Miin-Shen Yang

978-3-030-63000-3

2020
Edition 1
€100 €90
10% OFF
Advances on Signal Processing and Computer Vision

Second International Conference, SIPCOV 2025, Silchar, India, August 8–9, 2025, Proceedings

Ram Kumar Karsh; R. Murugan; Rabul Hussain Laskar; Björn W. Schuller

978-3-032-15809-3

2026
Edition 1
€140 €126
10% OFF
Parallel Computing Technologies

8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings

Malyshkin Victor

978-3-540-31826-2

2005
Edition 1
€100 €90
10% OFF
Similarity Search and Applications

16th International Conference, SISAP 2023, A Coruña, Spain, October 9–11, 2023, Proceedings

Oscar Pedreira; Vladimir Estivill-Castro

978-3-031-46994-7

2023
Edition 1
€130 €117
10% OFF
Advances in haemapheresis

Proceedings of the Third International Congress of the World Apheresis Association. April 9–12,1990, Amsterdam, The Netherlands

C.Th. Smit Sibinga; L. Kater

978-1-4615-3904-9

1991
Edition 1
€280 €252
10% OFF
Image Analysis and Processing – ICIAP 2019

20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part II

Elisa Ricci; Samuel Rota Bulò; Cees Snoek; Oswald Lanz; Stefano Messelodi; Nicu Sebe

978-3-030-30645-8

2019
Edition 1
€100 €90
10% OFF
Organisation und Betrieb von Informationssystemen

9. GI — Fachgespräch über Rechenzentren Dortmund, 14. und 15. März 1991 Proceedings

Günter Schwichtenberg

978-3-642-76758-6

1991
Edition 1
€201 €181
10% OFF
CONCUR 2011 -- Concurrency Theory

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Joost-Pieter Katoen; Barbara König

978-3-642-23217-6

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
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.