License single eBooks

Your results

Embedded Computer Systems: Architectures, Modeling, and Simulation

25th International Conference, SAMOS 2025, Samos, Greece, June 28–July 3, 2025, Proceedings

Jarmo Takala; Ioannis Sourdis; Francesco Regazzoni

978-3-032-28540-9

2027
Edition 1
€160

Not published yet

Available from
2026-08-26
Mathematical Foundations of Computer Science 1993

18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Andrzej M. Borzyszkowski; Stefan Sokolowski

978-3-540-47927-7

1993
Edition 1
€100
Ludwig Klages in memoriam — 10. Dezember 1872 – 29. Juli 1956

Gedenkrede von Dr. Wilhelm Hager, München auf der Freiburger Psychologentagung am 3. Oktober 1956

W. Hager

978-3-642-46886-5

1957
Edition 1
€201
Frontiers in Algorithmics

13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings

Yijia Chen; Xiaotie Deng; Mei Lu

978-3-030-18126-0

2019
Edition 1
€100
Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Richard J. Boulton; Paul B. Jackson

978-3-540-44755-9

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Proceedings of the 3rd Annual International Conference on Material, Machines and Methods for Sustainable Development (MMMS2022)

Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes

Banh Tien Long; Kozo Ishizaki; Hyung Sun Kim; Yun-Hae Kim; Nguyen Duc Toan; Nguyen Thi Hong Minh; Pham Duc An

978-3-031-57460-3

2024
Edition 1
- Focuses on topics in sustainable development with respect to materials design and processing
- Reflects a broad spectrum of research throughout materials science and mechanical engineering
- Presents peer-reviewed contributions from researchers throughout academia and industry
€539
Intracranial Pressure III

Proceedings of the Third International Symposium on Intracranial Pressure, Held at the University of Groningen, June 1-3, 1976

J.W.F. Beks; Dirk Andries Bosch; M. Brock

978-3-642-66508-0

1976
Edition 1
€180
Computational Science and Its Applications – ICCSA 2025

25th International Conference, Istanbul, Turkey, June 30–July 3, 2025, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; Yeliz Karaca; David Taniar; Ana Maria A. C. Rocha; Bernady O. Apduhan

978-3-031-96997-3

2025
Edition 1
€160
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
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
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
Discrete Geometry and Mathematical Morphology

4th International Joint Conference, DGMM 2025, Groningen, The Netherlands, November 3–6, 2025, Proceedings

Michael H. F. Wilkinson; Jiří Kosinka

978-3-032-09544-2

2026
Edition 1
€260
Algorithmic Game Theory

12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

Dimitris Fotakis; Evangelos Markakis

978-3-030-30473-7

2019
Edition 1
€130
The Practice of Enterprise Modeling

17th IFIP Working Conference, PoEM 2024, Stockholm, Sweden, December 3–5, 2024, Proceedings

Elda Paja; Jelena Zdravkovic; Evangelia Kavakli; Janis Stirna

978-3-031-77908-4

2025
Edition 1
€140
Quality of Information and Communications Technology

18th International Conference, QUATIC 2025, Lisbon, Portugal, September 3–5, 2025, Proceedings, Part I

Américo Rio; José Pereira dos Reis; Stamatia Bibi; Ricardo Machado

978-3-032-20631-2

2027
Edition 1
€146

Not published yet

Available from
2026-08-27
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
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
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
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
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
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
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
Job Scheduling Strategies for Parallel Processing

25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Dalibor Klusáček; Corbalán Julita; Gonzalo P. Rodrigo

978-3-031-22698-4

2023
Edition 1
€130
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
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
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
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
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
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
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
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
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
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
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
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
Design Requirements Engineering: A Ten-Year Perspective

Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

Kalle Lyytinen; Pericles Loucopoulos; John Mylopoulos; William N. Robinson

978-3-540-92966-6

2009
Edition 1
€100
Human-Computer Interaction

5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers

Brad Blumenthal; Juri Gornostaev; Claus Unger

978-3-540-48484-4

1995
Edition 1
€100
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
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
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
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
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
IoT Technologies and Wearables for HealthCare

5th EAI International Conference, HealthWear 2024, Virtual Event, December 2–3, 2024, Proceedings

Utku Kose; Jafar Alzubi

978-3-031-95571-6

2025
Edition 1
€120
Computational Science and Its Applications – ICCSA 2026

26th International Conference, Braga, Portugal, June 30–July 3, 2026, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; Ana Maria A.C. Rocha; M. Noelia Faginas Lago; David Taniar; Yeliz Karaca

978-3-032-30488-9

2027
Edition 1
€146
Reversible Computation

4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Robert Glück; Tetsuo Yokoyama

978-3-642-36315-3

2013
Edition 1
- Up-to-date results in reversible computation
- Fast-track conference proceedings
- State-of-the-art research
€90
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
Case-Based Reasoning Research and Development

33rd International Conference, ICCBR 2025, Biarritz, France, June 30–July 3, 2025, Proceedings

Isabelle Bichindaritz; Beatriz López

978-3-031-96559-3

2025
Edition 1
€280
E-Infrastructures and E-Services on Developing Countries

First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009, Proceedings

Adolfo Villafiorita; Saint-Paul Regis; Alessandro Zorer

978-3-642-12701-4

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art research
€100
Technologies and Innovation

6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings

Rafael Valencia-García; Gema Alcaraz-Marmol; Javier Del Cioppo-Morstadt; Néstor Vera-Lucio; Martha Bucaram-Leverone

978-3-030-62015-8

2020
Edition 1
€100
Information Security

19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings

Matt Bishop; Anderson C A Nascimento

978-3-319-45871-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100

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.