License single eBooks

Your results

View Cart

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

María Alpuente; Byron Cook; Christophe Joubert

978-3-642-04570-7

2009
Edition 1
€100
Mobile Agents

5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings

Gian P. Picco

978-3-540-45647-6

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Software and Compilers for Embedded Systems

8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers

978-3-540-30113-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computational Science and High Performance Computing

Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Egon Krause; Yurii I. Shokin; Nina Shokina

978-3-540-32376-1

2005
Edition 1
- Sound mathematical theory meets supercomputing
- Includes supplementary material: sn.pub/extras
€400
Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Samson Abramsky

978-3-540-45413-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Nuclear Dynamics: From Quarks to Nuclei

Proceedings of the XXth CFIF Fall Workshop, Lisbon, Portugal, October 31—November 2, 2002

M.T. Pena; A. Stadtler; A.M. Eiró; J. Adam

978-3-7091-6014-5

2003
Edition 1
€280
Computer Analysis of Images and Patterns

13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings

Xiaoyi Jiang; Nicolai Petkov

978-3-642-03767-2

2009
Edition 1
€280
Advances in Neural Computation, Machine Learning, and Cognitive Research

Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

Boris Kryzhanovsky; Witali Dunin-Barkowski; Vladimir Redko

978-3-319-66604-4

2018
Edition 1
- Includes selected papers from the XIX International Conference on Neuroinformatics, held on October 2–6, 2017, in Moscow, Russia
- Reports on both the theory and applications of artificial neural networks
- Presents topics ranging from advances in machine learning to evolutionary programming and neuroimaging/neurobiology
- Offers a multidisciplinary perspective on neuroinformatics
€280
Mediendidaktik

Band 2 ihre Einordnung in eine offen strukturierte Entscheidungstheorie des Lehrens und Lernens

Jörn Wittern

978-3-663-19529-0

1975
Edition 1
€201
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Proceedings of FAIM 2022, June 19–23, 2022, Detroit, Michigan, USA, Volume 2

Kyoung-Yun Kim; Leslie Monplaisir; Jeremy Rickli

978-3-031-17629-6

2023
Edition 1
- Reports on innovative manufacturing processes, tools, systems, and technologies
- Highlights applications of machine learning and automation strategies in manufacturing
- Second volume of a 2-volume set
€679
Modeling Decisions for Artificial Intelligence

First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings

Vicenc Torra; Yasuo Narukawa

978-3-540-27774-3

2004
Edition 1
€100
Smart Medical, IoT & Artificial Intelligence

The 2nd International Conference on Smart Medical, IoT & Artificial Intelligence (ICSMAI'25), Volume 2

Kamal Ghoumid; Aissa Kerkour Elmiad; Mohamed Lazaar; Khalid Haddouch; Omar Elmazria

978-3-032-18897-7

2026
Edition 1
- Presents recent research on Smart Healthcare, IoT & Artificial Intelligence
- Proceedings of the International Conference on Smart Medical, IoT & Artificial Intelligence ICSMAI 2025
- Written by experts in the field
€400

Not published yet

Available from
2026-06-08
Service-Oriented and Cloud Computing

Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Massimo Villari; Wolf Zimmermann; Kung-Kiu Lau

978-3-662-44879-3

2014
Edition 1
€100
Die Sterilisation geistig Behinderter

2. Einbecker Workshop der Deutschen Gesellschaft für Medizinrecht, 20.–21.Juni 1987

Günter Hiersche; Toni Graf-Baumann

978-3-642-83495-0

1988
Edition 1
€201
Bronchology: Research, Diagnostic, and Therapeutic Aspects

Proceedings of the Second World Congress for Bronchology, held at Düsseldorf, FRG, 2–4 June 1980

J.A. Nakhosteen; W. Maassen

978-94-009-8236-9

1981
Edition 1
€100
Innovations in Knowledge Mining: Sustainability for Societal and Industrial Impact

Proceedings of 5th International Conference on Data Engineering and Communication Technology (ICDECT 2024), Volume 2

Vikrant Bhateja; Muhammad Ehsan Rana; Hrudaya Kumar Tripathy; Roman Senkerik

978-981-96-5217-4

2025
Edition 1
- Presents high-quality research in the field of data engineering and communication technology
- Features the outcomes of ICDECT 2024, held in Kuala Lumpur, Malaysia
- Serves as a reference resource for researchers and practitioners in academia and industry
€479
International Symposium on Earth and Environmental Sciences for Future Generations

Proceedings of the IAG General Assembly, Prague, Czech Republic, June 22- July 2, 2015

Jeffrey T. Freymueller; Laura Sánchez

978-3-319-69170-1

2018
Edition 1
- This book is composed of peer-reviewed proceedings of symposia organized by the International Association of Geodesy
- Papers span the full breadth of modern geodesy
- Recent advances in geodesy including applications to natural hazards
- Perspectives on the history of geodesy
€400
CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Egon Börger; Hans Kleine Büning; Michael M. Richter

978-3-540-47137-0

1990
Edition 1
€100
Dynamic Data Driven Applications Systems

Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings

Frederica Darema; Erik Blasch; Sai Ravela; Alex Aved

978-3-030-61725-7

2020
Edition 1
€100
Complex Networks & Their Applications XIII

Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 2

Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol

978-3-031-82431-9

2025
Edition 1
- Presents the latest research in Complex Networks and their Applications
- Gathers the edited proceedings of the Thirteenth International Workshop on Complex Networks & their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€599
Logics in Artificial Intelligence

European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

Manuel Ojeda-Aciego; Inma P. de Guzman; Gerhard Brewka; Luis M. Pereira

978-3-540-40006-6

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
18. Hämophilie-Symposion Hamburg 1987

Verhandlungsberichte: Ärztliche Versorgung HIV-1-infizierter Hämophiler: Verlauf der HIV-1-Infektion und Verhütung bedrohlicher Folgekrankheiten Freie Vorträge zur Diagnostik und Behandlung angeborener und erworbener Blutungskrankheiten

Günter Landbeck; R. Marx

978-3-642-73589-9

1988
Edition 1
€201
Field Programmable Logic and Applications

7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.

Wayne Luk; Peter Y.K. Cheung; Manfred Glesner

978-3-540-69557-8

1997
Edition 1
€100
Systems, Software and Services Process Improvement

17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Andreas Riel; Rory O'Connor; Serge Tichkiewitch; Richard Messnarz

978-3-642-15666-3

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Electronic Government and the Information Systems Perspective

Third International Conference, EGOVIS 2014, Munich, Germany, September 1-3, 2014. Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-10178-1

2014
Edition 1
€100
Informatik und Ausbildung

GI-Fachtagung 98 Informatik und Ausbildung Stuttgart, 30. März–1.April 1998

Volker Claus

978-3-642-72169-4

1998
Edition 1
€201
Categorical Algebra and its Applications

Proceedings of a Conference, Held in Louvain-la-Neuve, Belgium, July 26 - August 1, 1987

Francis Borceux

978-3-540-45985-9

1988
Edition 1
€74
Case-Based Reasoning Research and Development

32nd International Conference, ICCBR 2024, Merida, Mexico, July 1–4, 2024, Proceedings

Juan A. Recio-Garcia; Mauricio G. Orozco-del-Castillo; Derek Bridge

978-3-031-63646-2

2024
Edition 1
€160
Kommentierte Gesetzessammlung Sachkunde nach § 34a und Geprüfte Schutz- und Sicherheitskraft

Alle einschlägigen Gesetze und Vorschriften inklusive der DGUV Vorschriften 1 und 23

Robert Schwarz

978-3-658-18082-9

2018
Edition 1
- Alle wichtigen Gesetze auf einen Blick - ideal für die Prüfungsvorbereitung
- Praktisches Nachschlagewerk mit Erläuterungen und Verständnishilfen
- Ideale Ergänzung der Lehr- und Lernmaterialien zur Sicherheitswirtschaft
- Includes supplementary material: sn.pub/extras
€158
Business Process Management Workshops

BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008, Revised Papers

Danilo Ardagna; Massimo Mecella; Jian Yang

978-3-642-00328-8

2009
Edition 1
€180
Unconventional Computation and Natural Computation

12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

Giancarlo Mauri; Alberto Dennunzio; Luca Manzoni; Antonio E. Porreca

978-3-642-39074-6

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€90
Advanced Information Networking and Applications

Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 1

Leonard Barolli; Farookh Hussain; Tomoya Enokido

978-3-030-99584-3

2022
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 36th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€478
Computer Sciences for Sustainable Development

Proceedings of the 6th International Conference on the Digital Age and Technological Innovations for Sustainable Development, Volume 1

Badr-Eddine Boudriki Semlali; Ikram Ben Abdel Ouahab; Luís Bragança

978-3-032-22567-2

2026
Edition 1
- Presents recent research on Computer Science for Sustainable Development
- Proceedings of the International Conference on the Digital Age and Technological Innovations for Sustainable Development
- Written by experts in the field
€400

Not published yet

Available from
2026-05-16
Big Data Analytics and Knowledge Discovery

17th International Conference, DaWaK 2015, Valencia, Spain, September 1-4, 2015, Proceedings

Sanjay Madria; Takahiro Hara

978-3-319-22729-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Ecology and Evolution of the Acari

Proceedings of the 3rd Symposium of the European Association of Acarologists 1–5 July 1996, Amsterdam, The Netherlands

J. Bruin; Leo P.S. van der Geest; M.W. Sabelis

978-94-017-1343-6

1999
Edition 1
€578
Database and Expert Systems Applications

19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008, Proceedings

Sourav S. Bhowmick; Josef Küng; Roland Wagner

978-3-540-85654-2

2008
Edition 1
€220
Cyberspace Safety and Security

12th International Symposium, CSS 2020, Haikou, China, December 1–3, 2020, Proceedings

Jieren Cheng; Xiangyan Tang; Xiaozhang Liu

978-3-030-73671-2

2021
Edition 1
€100
Kompendium Internistische Onkologie

Teil 1: Grundlagen · Richtlinien · Antineoplastische Substanzen · Toxizitäten · Prophylaktische und supportive Therapie · Adressen

P. Schöfski; Hans-Joachim Schmoll; Klaus Höffken; Kurt Possinger

978-3-642-79214-4

1996
Edition 2
€173
Echtzeitsysteme im Alltag

Fachtagung der GI-Fachgruppe Echtzeitsysteme (RT), Boppard, 30. November/1. Dezember 2006

Peter Holleczek; Birgit Vogel-Heuser

978-3-540-68217-2

2006
Edition 1
€187
Nonlinear Optics: Materials and Devices

Proceedings of the International School of Materials Science and Technology, Erice, Sicily, July 1–14, 1985

Christos Flytzanis; Jean L. Oudar

978-3-642-47547-4

1986
Edition 1
€180
Biometric Recognition

17th Chinese Conference, CCBR 2023, Xuzhou, China, December 1–3, 2023, Proceedings

Wei Jia; Wenxiong Kang; Zaiyu Pan; Xianye Ben; Zhengfu Bian; Shiqi Yu; Zhaofeng He; Jun Wang

978-981-99-8565-4

2023
Edition 1
€160
Artificial Life: Borrowing from Biology

4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings

Kevin B. Korb; Marcus Randall; Tim Hendtlass

978-3-642-10427-5

2009
Edition 1
€100
Distributed Computing

17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings

Faith Ellen Fich

978-3-540-39989-6

2003
Edition 1
€100
Bevölkerungsfragen auf Abwegen der Wissenschaften

Dokumentation des 1. Colloquiums zur Geschichte der Bevölkerungswissenschaft in Deutschland im 20. Jahrhundert

Rainer Mackensen

978-3-663-09398-5

1998
Edition 1
€201
Intelligent Virtual Agents

8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008, Proceedings

Helmut Prendinger; James Lester; Mitsuru Ishizuka

978-3-540-85483-8

2008
Edition 1
€100
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
Intelligent Systems, Blockchain, and Communication Technologies

Selected papers from the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom25). Volume 1

Ahmed Abdelgawad; Alaa Ali Hameed; Akhtar Jamil

978-3-032-15784-3

2026
Edition 1
- Presents recent research in Intelligent Systems, Blockchain, and Communication Technologies
- Proceedings of the International Conference on Intelligent Systems, Blockchain and Communication Technologies (ISBCom25)
- Written by experts in the field
€400
Model-Based Software and Data Integration

First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings

Ralf-Detlef Kutsche; Nikola Milanovic

978-3-540-78999-4

2008
Edition 1
€150
The Physical Universe: The Interface Between Cosmology, Astrophysics and Particle Physics

Proceedings of the XII Autumn School of Physics Held at Lisbon, Portugal, 1–5 October 1990

John D. Barrow; Alfredo B. Henriques; Maria T.V.T. Lago; Malcom S. Longair

978-3-540-47544-6

1991
Edition 1
€180
Computational Science and Its Applications – ICCSA 2020

20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Chiara Garau; Ivan Blečić; David Taniar; Bernady O. Apduhan; Ana Maria A. C. Rocha; Eufemia Tarantino; Carmelo Maria Torre; Yeliz Karaca

978-3-030-58814-4

2020
Edition 1
€180

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.