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

Theory and Applications of Satisfiability Testing - SAT 2009

12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Oliver Kullmann

978-3-642-02777-2

2009
Edition 1
€100 €90
10% OFF
Combinatorial Image Analysis

10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings

Reinhard Klette; Jovisa Zunic

978-3-540-30503-3

2005
Edition 1
€180 €162
10% OFF
Information Management and Big Data

7th Annual International Conference, SIMBig 2020, Lima, Peru, October 1–3, 2020, Proceedings

Juan Antonio Lossio-Ventura; Jorge Carlos Valverde-Rebaza; Eduardo Díaz; Hugo Alatrista-Salas

978-3-030-76228-5

2021
Edition 1
€100 €90
10% OFF
Algorithmic Aspects in Information and Management

12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

Shaojie Tang; Ding-Zhu Du; David Woodruff; Sergiy Butenko

978-3-030-04618-7

2018
Edition 1
€100 €90
10% OFF
Bridging the Gap Between AI and Reality

Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Bernhard Steffen

978-3-031-75434-0

2025
Edition 1
€140 €126
10% OFF
Bioinformatics Research and Applications

21st International Symposium, ISBRA 2025, Helsinki, Finland, August 3–5, 2025, Proceedings, Part I

Jing Tang; Xin Lai; Zhipeng Cai; Wei Peng; Yanjie Wei

978-981-95-0698-9

2026
Edition 1
€160 €144
10% OFF
Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock

978-3-642-14808-8

2010
Edition 1
- Up to date results
- Fast conference prceedings
- State-of-the-art report
€100 €90
10% OFF
Human-Computer Interaction

Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers

Leonard J. Bass; Juri Gornostaev; Claus Unger

978-3-540-48152-2

1993
Edition 1
€100 €90
10% OFF
Multimedia for Cultural Heritage

First International Workshop, MM4CH 2011, Modena, Italy, May 3, 2011, Revised Selected Papers

Costantino Grana; Rita Cucchiara

978-3-642-27978-2

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
The Environmental Future

Proceedings of the first International Conference on Environmental Future, held in Finland from 27 June to 3 July 1971

Nicholas Polunin

978-1-349-01458-3

1972
Edition 1
€160 €144
10% OFF
Submillimetre Astronomy

Proceedings of the Kona Symposium on Millimeter and Submillimetre Astronomy, Held at Kona, Hawaii, October 3–6, 1988

Graeme D. Watt; Adrian S. Webster

978-94-015-6850-0

1990
Edition 1
€400 €360
10% OFF
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings

Luis Alvarez; Marta Mejail; Luis Gomez; Julio Jacobo

978-3-642-33275-3

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€180 €162
10% OFF
Computational Geometry, Graphs and Applications

International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers

Jin Akiyama; Jiang Bo; Mikio Kano; Xuehou Tan

978-3-642-24983-9

2011
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the art report
€100 €90
10% OFF
Information Security and Cryptology - ICISC 2014

17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers

Jooyoung Lee; Jongsung Kim

978-3-319-15943-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Knowledge-Based Intelligent Information and Engineering Systems

12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I

Ignac Lovrek

978-3-540-85563-7

2008
Edition 1
€180 €162
10% OFF
Energie

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

Volker U. Hoffmann

978-3-322-83427-0

1995
Edition 1
€181 €163
10% OFF
Computational Science and Its Applications - ICCSA 2014

14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

Beniamino Murgante; Sanjay Misra; Ana Maria Alves Coutinho Rocha; Carmelo Torre; Jorge Gustavo Rocha; Maria Irene Falcão; David Taniar; Bernady O. Apduhan; Osvaldo Gervasi

978-3-319-09153-2

2014
Edition 1
€100 €90
10% OFF
Enterprise Design, Operations, and Computing

27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 – November 3, 2023, Proceedings

Henderik A. Proper; Luise Pufahl; Dimka Karastoyanova; Marten van Sinderen; João Moreira

978-3-031-46587-1

2024
Edition 1
€130 €117
10% OFF
Advances in Photosynthesis Research

Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983 Volume 3

C. Sybesma

978-94-017-4973-2

1984
Edition 1
€160 €144
10% OFF
Rough Sets

International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part I

Lech Polkowski; Yiyu Yao; Piotr Artiemjew; Davide Ciucci; Dun Liu; Dominik Ślęzak; Beata Zielosko

978-3-319-60837-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computational Science and Its Applications - ICCSA 2014

14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II

Beniamino Murgante; Sanjay Misra; Ana Maria Alves Coutinho Rocha; Carmelo Torre; Jorge Gustavo Rocha; Maria Irene Falcão; David Taniar; Bernady O. Apduhan; Osvaldo Gervasi

978-3-319-09129-7

2014
Edition 1
€100 €90
10% OFF
Computational Science – ICCS 2023

23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV

Jiří Mikyška; Clélia de Mulatier; Maciej Paszynski; Valeria V. Krzhizhanovskaya; Jack J. Dongarra; Peter M.A. Sloot

978-3-031-36027-5

2023
Edition 1
€170 €153
10% OFF
Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Warren A. Jr. Hunt; Steven D. Johnson

978-3-540-40922-9

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Rough Sets

International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings

Rafael Bello; Duoqian Miao; Rafael Falcon; Michinori Nakata; Alejandro Rosete; Davide Ciucci

978-3-030-52705-1

2020
Edition 1
€100 €90
10% OFF
Model Driven Engineering Languages and Systems

11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings

Krzysztof Czarnecki; Ileana Ober; Jean-Michel Bruel; Axel Uhl; Markus Völter

978-3-540-87875-9

2008
Edition 1
€280 €252
10% OFF
Distributed Communities on the Web

4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers

John Plaice; Peter Kropf; Peter Schulthess; Jacob Slonim

978-3-540-36261-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Euro-Par’ 99 Parallel Processing

5th International Euro-Par Conference Toulouse, France, August 31–September 3, 1999 Proceedings

Patrick Amestoy; Philippe Berger; Michel Dayde; Iain Duff; Valerie Fraysse; Luc Giraud; Daniel Ruiz

978-3-540-48311-3

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Wolfgang Grieskamp; Thomas Santen; Bill Stoddart

978-3-540-40911-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computational Intelligence and Security

International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers

Yunping Wang; Yiu-ming Cheung; Hailin Liu

978-3-540-74377-4

2007
Edition 1
€280 €252
10% OFF
Semantics in Data and Knowledge Bases

5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Klaus-Dieter Schewe; Bernhard Thalheim

978-3-642-36008-4

2013
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€90 €81
10% OFF
Elektrische Netzwerke Aufgaben

Ausführlich durchgerechnete und illustrierte Aufgaben mit Lösungen zu Unbehauen, Elektrische Netzwerke, 3. Auflage

Rolf Unbehauen; Willi Hohneker

978-3-642-95507-5

1987
Edition 2
€470 €423
10% OFF
Human Resource Development for Sustainability and Social Responsibility

14th International Conference on Economics Development and Social Sustainability, Rome, Italy, April 3-4, 2025

Isabel Novo-Corti; Xose Picatoste; Marco Valeri

978-3-032-09683-8

2026
Edition 1
- Features advanced research and actionable insights on sustainability
- Offers a multidisciplinary perspective, combining economic, environmental, and technological approaches
- Appeals to academics and practitioners seeking innovative solutions to global challenges
€360 €324
10% OFF

Not published yet

Available from
2026-05-03
Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation

12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings

Michael Freitag; Aseem Kinra; Herbert Kotzab; Hans-Jörg Kreowski; Klaus-Dieter Thoben

978-3-030-64351-5

2020
Edition 1
€100 €90
10% OFF
Intelligent and Fuzzy Systems

Artificial Intelligence in Human-Centric, Resilient and Sustainable Industries, Proceedings of the INFUS 2025 Conference, Volume 3

Cengiz Kahraman; Selcuk Cebi; Basar Oztaysi; Sezi Cevik Onar; Cagrı Tolga; Irem Ucal Sari; Irem Otay

978-3-031-98565-2

2025
Edition 1
- Presents recent research in Intelligent and Fuzzy Techniques
- Proceedings of the Intelligent and Fuzzy Techniques INFUS 2025 Conference
- Presents interdisciplinary research between fuzzy & intelligent systems and real complex systems
€439 €395
10% OFF
NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Alwyn Goodloe; Suzette Person

978-3-642-28891-3

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Intelligent Tutoring Systems

7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings

James C. Lester; Rosa Maria Vicari; Fábio Paraguacu

978-3-540-30139-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Automatisieren mit SPS Theorie und Praxis

IEC 61131–3; STEP 7; Bibliotheksprogramme, AS-i-Bus, PROFIBUS, Ethernet-TCP/IP; OPC; Steuerungssicherheit

Günter Wellenreuther; Dieter Zastrow

978-3-322-96849-4

2001
Edition 1
€486 €437
10% OFF
Parallel Computing Technologies

9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings

Victor Malyshkin

978-3-540-73940-1

2007
Edition 1
€100 €90
10% OFF
Artificial General Intelligence

6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings

Kai-Uwe Kühnberger; Sebastian Rudolph; Pei Wang

978-3-642-39521-5

2013
Edition 1
- Conference on Artificial General Intelligence
€90 €81
10% OFF
E-Commerce and Web Technologies

11th International Conference, EC-Web 2010, Bilbao, Spain, September 1-3, 2010, Proceedings

Francesco Buccafurri; Giovanni Semeraro

978-3-642-15208-5

2010
Edition 1
- Fast-track conference proceedings
€100 €90
10% OFF
Computational Science – ICCS 2023

23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III

Jiří Mikyška; Clélia de Mulatier; Maciej Paszynski; Valeria V. Krzhizhanovskaya; Jack J. Dongarra; Peter M.A. Sloot

978-3-031-36024-4

2023
Edition 1
€200 €180
10% OFF
Frontiers in Algorithmics

First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings

Franco P. Preparata; Qizhi Fang

978-3-540-73814-5

2007
Edition 1
€100 €90
10% OFF
Evolving OpenMP in an Age of Extreme Parallelism

5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings

Matthias S. Müller; Bronis R. de Supinski; Barbara Chapman

978-3-642-02303-3

2009
Edition 1
€100 €90
10% OFF
Reasoning Web

Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Grigoris Antoniou; Uwe Aßmann; Cristina Baroglio; Stefan Decker; Nicola Henze; Paula-Lavinia Patranjan; Robert Tolksdorf

978-3-540-74615-7

2007
Edition 1
€419 €377
10% OFF
State of the Art in Applied Cryptography

Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997 Revised Lectures

Bart Preneel; Vincent Rijmen

978-3-540-49248-1

1998
Edition 1
€100 €90
10% OFF
Artificial Neural Networks - ICANN 2008

18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II

Vera Kurkova-Pohlova; Jan Koutnik

978-3-540-87559-8

2008
Edition 1
€240 €216
10% OFF
The Semantic Web

15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings

Aldo Gangemi; Roberto Navigli; Maria-Esther Vidal; Pascal Hitzler; Raphaël Troncy; Laura Hollink; Anna Tordai; Mehwish Alam

978-3-319-93417-4

2018
Edition 1
€100 €90
10% OFF
e-Infrastructure and e-Services for Developing Countries

13th EAI International Conference, AFRICOMM 2021, Zanzibar, Tanzania, December 1-3, 2021, Proceedings

Yahya H. Sheikh; Idris A. Rai; Abubakar D. Bakar

978-3-031-06374-9

2022
Edition 1
€180 €162
10% OFF
Principles and Practice of Multi-Agent Systems

15th International Conference, PRIMA 2012, Kuching, Sarawak, Malaysia, September 3-7, 2012, Proceedings

Iyad Rahwan; Wayne Wobcke; Sandip Sen; Toshiharu Sugawara

978-3-642-32729-2

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€90 €81
10% OFF
Applications of Evolutionary Computing

EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3-4, 2002. Proceedings

Stefano Cagnoni; Jens Gottlieb; Emma Hart; Martin Middendorf; Günther R. Raidl

978-3-540-46004-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€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.