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

NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Sanjai Rayadurgam; Oksana Tkachuk

978-3-319-40648-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€130 €117
10% OFF
Soft Computing and Its Engineering Applications

4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9–10, 2022, Proceedings

Kanubhai K. Patel; K. C. Santosh; Atul Patel; Ashish Ghosh

978-3-031-27609-5

2023
Edition 1
€180 €162
10% OFF
Trends in Computer Aided Innovation

Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA

Noel León-Rovira; Su Cho

978-0-387-75456-7

2007
Edition 1
- Most up-to-date research on Computer Aided Innovation; Addresses the main motivations of the industrial sector regarding the engineering innovation activity with computer tools and methods; Discusses organizational, technological and cognitive aspects of the application of CAI methods and tools;
- Addresses the main motivations of the academic community regarding theoretical foundations of CAI.
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Information Security and Privacy

17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings

Willy Susilo; Yi Mu; Jennifer Seberry

978-3-642-31448-3

2012
Edition 1
- Up to date results
- Tast track conference proceedings
- State of the art research
€100 €90
10% OFF
Combinatorial Optimization and Applications

6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012, Proceedings

Guohui Lin

978-3-642-31770-5

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the art report
€100 €90
10% OFF
Solving Irregularly Structured Problems in Parallel

5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings

Afonso Ferreira; Jose Rolim; Horst Simon; Shang-Hua Teng

978-3-540-68533-3

1998
Edition 1
€100 €90
10% OFF
Speech and Computer

22nd International Conference, SPECOM 2020, St. Petersburg, Russia, October 7–9, 2020, Proceedings

Alexey Karpov; Rodmonga Potapova

978-3-030-60276-5

2020
Edition 1
€180 €162
10% OFF
Abenteuer Informatik

IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media

Jens Gallenbacher

978-3-662-53965-1

2017
Edition 4
- Das Mitmachbuch zur Informatik - ganz ohne Computereinsatz - unterhaltsam und lehrreich
- Das ideale Geschenk für alle Eltern an ihre Computer-begeisterten Kinder
- Die 4. Auflage ist komplett überarbeitet und um zusätzliche Themen ergänzt
- Includes supplementary material: sn.pub/extras
€117 €105
10% OFF
Combinatorial Image Analysis

12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008, Proceedings

Valentin E. Brimkov; Reneta P. Barneva; Herbert A. Hauptman

978-3-540-78275-9

2008
Edition 1
€100 €90
10% OFF
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

Mario Trapp; Erwin Schoitsch; Jérémie Guiochet; Friedemann Bitsch

978-3-031-14862-0

2022
Edition 1
€180 €162
10% OFF
Artificial Intelligence in Education

16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings

H. Chad Lane; Kalina Yacef; Jack Mostow; Philip Pavlik

978-3-642-39112-5

2013
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180 €162
10% OFF
Agents and Peer-to-Peer Computing

5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Sam Joseph; Zoran Despotovic; Moro Gianluca; Sonia Bergamaschi

978-3-540-79705-0

2008
Edition 1
€100 €90
10% OFF
Advances in Computational Intelligence Systems

Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK

Plamen Angelov; Alexander Gegov; Chrisina Jayne; Qiang Shen

978-3-319-46562-3

2017
Edition 1
- Reports on cutting-edge research in computational intelligence
- Covers a wide range of application areas
- Give emphasis to novel computational intelligence methods
- Includes supplementary material: sn.pub/extras
€400 €360
10% OFF
Scale Space and PDE Methods in Computer Vision

5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings

Ron Kimmel; Nir Sochen; Joachim Weickert

978-3-540-32012-8

2005
Edition 1
€180 €162
10% OFF
Forum ’90 Wissenschaft und Technik

Neue Anwendungen mit Hilfe aktueller Computer-Technologien, Trier, 8./9. Oktober 1990 Proceedings

Hans-Jürgen Friemel; Gisbert Müller-Schönberger; Andreas Schütt

978-3-642-76123-2

1990
Edition 1
€201 €181
10% OFF
Biomimetic and Biohybrid Systems

First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings

Tony T. Prescott; Nathan F. Lepora; Anna Mura; Paul F.M.J. Verschure

978-3-642-31525-1

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
Rough Sets and Current Trends in Computing

9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

Chris Cornelis; Marzena Kryszkiewicz; Dominik Slezak; Ernestina Menasalvas Ruiz; Rafael Bello; Lin Shang

978-3-319-08644-6

2014
Edition 1
€100 €90
10% OFF
Parallel Problem Solving from Nature – PPSN XVI

16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I

Thomas Bäck; Mike Preuss; André Deutz; Hao Wang; Carola Doerr; Michael Emmerich; Heike Trautmann

978-3-030-58112-1

2020
Edition 1
€180 €162
10% OFF
Advances in Information and Computer Security

7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012, Proceedings

Goichiro Hanaoka; Toshihiro Yamauchi

978-3-642-34117-5

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€90 €81
10% OFF
Fourth Granada Lectures in Computational Physics

Proceedings of the 4th Granada Seminar on Computational Physics Held at Granada, Spain, 9–14 September 1996

Pedro L. Garrido; Joaquin Marro

978-3-662-14148-9

1997
Edition 1
€128 €115
10% OFF
Contemporary Computing

Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I

Sanjay Ranka; Arunava Banerjee; Kanad Kishore Biswas; Sumeet Dua; Prabhat Mishra; Rajat Moona; Sheung-Hung Poon; Cho-Li Wang

978-3-642-14834-7

2010
Edition 1
- Fast-track conference proceedings State-of-the-art research Up-to-date results
€180 €162
10% OFF
Software Composition

4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

Thomas Gschwind; Uwe Assmann; Oscar Nierstrasz

978-3-540-28749-0

2005
Edition 1
€100 €90
10% OFF
Multi-disciplinary Trends in Artificial Intelligence

10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Chattrakul Sombattheera; Frieder Stolzenburg; Fangzhen Lin; Abhaya Nayak

978-3-319-49397-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Jeff Z. Pan; Diego Calvanese; Thomas Eiter; Ian Horrocks; Michael Kifer; Fangzhen Lin; Yuting Zhao

978-3-319-49493-7

2017
Edition 1
- Made for students, researchers and practitioners interested in Knowledge Graphs, Question Answering, and Semantic Web
- Thoroughly revised tutorials cover logical foundations for constructing and querying knowledge graphs, linked data, semantics, fuzzy RDF and OWL knowledge bases
- Original, readable and useful lecture notes
- Includes supplementary material: sn.pub/extras
€419 €377
10% OFF
Research Methods and Solutions to Current Transport Problems

Proceedings of the International Scientific Conference Transport of the 21st Century, 9– 12th of June 2019, Ryn, Poland

Mirosław Siergiejczyk; Karolina Krzykowska

978-3-030-27687-4

2020
Edition 1
- Discusses recent achievements on transport (rail, road, air, sea) in technical and organizational aspects, and integration of the environment conducting scientific research in the transport discipline
- Presents the proceedings of the 15th International Scientific Conference Transport of the 21st Century, held in Ryn, Poland, 9th–12th of June 2019
- Provides the latest research directions in Transport Systems
€280 €252
10% OFF
Intelligent Robotics and Applications

18th International Conference, ICIRA 2025, Okayama, Japan, August 6–9, 2025, Proceedings, Part I

Takayuki Matsuno; Honghai Liu; Lianqing Liu; Zhouping Yin; Xiangyang Zhu; Weihong Ren; Zhiyong Wang; Yixuan Sheng

978-981-95-2095-4

2026
Edition 1
€160 €144
10% OFF
NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Julia M. Badger; Kristin Yvonne Rozier

978-3-030-20652-9

2019
Edition 1
€130 €117
10% OFF
Neuroscience: From Neural Networks to Artificial Intelligence

Proceedings of a U.S.-Mexico Seminar held in the city of Xalapa in the state of Veracruz on December 9–11, 1991

Pablo Rudomin; Michael A. Arbib; Francisco Cervantes-Perez; Ranulfo Romo

978-3-642-78102-5

1993
Edition 1
€180 €162
10% OFF
Childhood Leukemia: Present Problems and Future Prospects

Proceedings of the Second International Symposium on Children#x2019;s Cancer Tokyo, Japan, December 7–9, 1989

Noburo Kobayashi; Tai Akera; Shuki Mizutani

978-1-4615-3898-1

1991
Edition 1
€280 €252
10% OFF
Parallel Processing and Applied Mathematics

4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers

Roman Wyrzykowski; Jack Dongarra; Marcin Paprzycki; Jerzy Wasniewski

978-3-540-48086-0

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Advances in Design, Music and Arts II

8th International Meeting of Research in Music, Arts and Design, EIMAD 2022, July 7–9, 2022

Daniel Raposo; João Neves; Ricardo Silva; Luísa Correia Castilho; Rui Dias

978-3-031-09659-4

2023
Edition 1
- Covers design and music research aimed at facilitating communication in a global world
- Highlights interactive, sustainable and inclusive practices in design
- Discusses the evolution and role of design in the era of digital transformation and during the pandemic
€438 €394
10% OFF
KI-97: Advances in Artificial Intelligence

21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings

Gerhard Brewka; Christopher Habel; Bernhard Nebel

978-3-540-69582-0

1997
Edition 1
€100 €90
10% OFF
Brain Function Assessment in Learning

Second International Conference, BFAL 2020, Heraklion, Crete, Greece, October 9–11, 2020, Proceedings

Claude Frasson; Panagiotis Bamidis; Panagiotis Vlamos

978-3-030-60735-7

2020
Edition 1
€100 €90
10% OFF
Languages and Compilers for Parallel Computing

10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings

Zhiyuan Li; Pen-Chung Yew; Siddharta Chatterjee; Chua-Huang Huang; P. Sadayappan; David Sehr

978-3-540-69788-6

1998
Edition 1
€100 €90
10% OFF
Engineering Self-Organising Systems

4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Sven Brueckner; Salima Hassas; Mark Jelasity; Daniel Yamins

978-3-540-69868-5

2007
Edition 1
€100 €90
10% OFF
Modeling and Using Context

Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings

Paolo Bouquet; Luciano Serafini; Patrick Brézillon; Massimo Benerecetti; Francesca Castellani

978-3-540-48315-1

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Dark Matter in Astro- and Particle Physics

Proceedings of the International Conference DARK 2002, Cape Town, South Africa, 4–9 February 2002

Hans-Volker Klapdor-Kleingrothaus; Raoul D. Viollier

978-3-642-55739-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
AI 2005: Advances in Artificial Intelligence

18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings

Shichao Zhang; Ray Jarvis

978-3-540-31652-7

2005
Edition 1
€320 €288
10% OFF
Text, Speech, and Dialogue

25th International Conference, TSD 2022, Brno, Czech Republic, September 6–9, 2022, Proceedings

Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala

978-3-031-16270-1

2022
Edition 1
€100 €90
10% OFF
Knowledge-Based Intelligent Information and Engineering Systems

10th International Conference, KES 2006, Bournemouth, UK, October 9-11 2006, Proceedings, Part I

Bogdan Gabrys

978-3-540-46536-2

2006
Edition 1
€180 €162
10% OFF
Action Theory

Proceedings of the Winnipeg Conference on Human Action, Held at Winnipeg, Manitoba, Canada, 9–11 May 1975

M. Brand; Douglas Walton

978-94-010-9074-2

1976
Edition 1
€280 €252
10% OFF
Computer: Werkzeug der Medizin

Kolloquium Datenverarbeitung und Medizin 7.–9. Oktober 1968 Schloß Reinhartshausen in Erbach im Rheingau

C. Th. Ehlers; N. Hollberg; A Proppe

978-3-662-39882-1

1970
Edition 1
€187 €168
10% OFF
DNA Replication and the Cell Cycle

43. Colloquium der Gesellschaft für Biologische Chemie, 9.–11. April 1992 in Mosbach/Baden

Ellen Fanning; Rolf Knippers; Ernst-L. Winnacker

978-3-642-77040-1

1993
Edition 1
€180 €162
10% OFF
Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo; Doron A. Peled; Leonore D. Zuck

978-3-540-78163-9

2008
Edition 1
€100 €90
10% OFF
Data Mining and Big Data

8th International Conference, DMBD 2023, Sanya, China, December 9–12, 2023, Proceedings, Part I

Ying Tan; Yuhui Shi

978-981-97-0837-6

2024
Edition 1
€240 €216
10% OFF
Cataclysmic Variables and Related Objects

Proceedings of the 72nd Colloquium of the International Astronomical Union Held in Haifa, Israel, August 9–13, 1982

M. Livio; G. Shaviv

978-94-009-7118-9

1983
Edition 1
€280 €252
10% OFF
Information Security and Privacy

4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings

Josef Pieprzyk; Rei Safavi-Naini; Jennifer Seberry

978-3-540-48970-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Algorithms and Architectures for Parallel Processing

8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings

Anu G. Bourgeois; Si Quing Zheng

978-3-540-69501-1

2008
Edition 1
€100 €90
10% OFF
Advances in Multimedia Modeling

19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I

Shipeng Li; Abdulmotaleb El Saddik; Meng Wang; Tao Mei; Nicu Sebe; Shuicheng Yan; Richang Hong; Cathal Gurrin

978-3-642-35725-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
Photochemistry of Macromolecules

Proceedings of a Symposium held at the Pacific Conference on Chemistry and Spectroscopy, Anaheim, California, October 8–9, 1969

R. F. Reinisch

978-1-4684-8035-1

1970
Edition 1
€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.