License single eBooks

Your results

View Cart

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Maurice H. ter Beek; Dejan Ničković

978-3-030-58298-2

2020
Edition 1
€100
Web Information Systems Engineering – WISE 2024

25th International Conference, Doha, Qatar, December 2–5, 2024, Proceedings, Part V

Mahmoud Barhamgi; Hua Wang; Xin Wang

978-981-96-0576-7

2025
Edition 1
€160
Deutsches Rechtswörterbuch

Wörterbuch der älteren deutschen Rechtssprache. Band XIV, Heft 1/2 - Stegreif – Stocherwort

978-3-476-05157-8

2019
Edition 1
- Das Großwörterbuch zur deutschen historischen Rechtssprache
- Alle Fachtermini des Rechts, ebenso Wörter der Allgemeinsprache
- Bisher über 100.000 Wortartikel von A-S
€187
Gravity, Geoid and Earth Observation

IAG Commission 2: Gravity Field, Chania, Crete, Greece, 23-27 June 2008

Stelios P. Mertikas

978-3-642-10634-7

2010
Edition 1
- State of the art scientific achievements of gravity field research prospects
- Includes supplementary material: sn.pub/extras
€400
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
Internet Science

6th International Conference, INSCI 2019, Perpignan, France, December 2–5, 2019, Proceedings

Samira El Yacoubi; Franco Bagnoli; Giovanna Pacini

978-3-030-34770-3

2019
Edition 1
€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
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
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
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
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
Applied Algebra, Algorithmics and Error-Correcting Codes

2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings

Alain Poli

978-3-540-38813-5

1986
Edition 1
€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
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-23
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
Functional Imaging and Modeling of the Heart

Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings

Alejandro F. Frangi; Petia I. Radeva; Andres Santos; Monica Hernandez

978-3-540-32081-4

2005
Edition 1
€180
Logical Aspects of Computational Linguistics

7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

Denis Bechet; Alexandre Dikovsky

978-3-642-31262-5

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Mathematik für Wirtschaftsingenieure und naturwissenschaftlich-technische Studieng?e

Band 2 Analysis im IR^n, Lineare Algebra, Hilberträume, Fourieranalyse, Differentialgleichungen, Stochastik

Norbert Henze; Günter Last

978-3-8348-9785-5

2010
Edition 2
- Die Höhere Mathematik für angewandte Studiengänge
€523
Practical Aspects of Knowledge Management

5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings

Dimitris Karagiannis; Ulrich Reimer

978-3-540-30545-3

2004
Edition 1
€180
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
Soft Computing in Data Science

First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings

Michael W. Berry; Azlinah Mohamed; Bee Wah Yap

978-981-287-936-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Software Composition

9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Michel Baudry; Eric Wohlstadter

978-3-642-14046-4

2010
Edition 1
€100
Parallel Computation

First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings

Hans P. Zima

978-3-540-47073-1

1992
Edition 1
€100
Security Protocols

11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

Bruce Christianson; Bruno Crispo; James A. Malcolm; Michael Roe

978-3-540-31836-1

2005
Edition 1
€100
Algorithmic Number Theory

4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings

Wieb Bosma

978-3-540-44994-2

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Data Management in Cloud, Grid and P2P Systems

7th International Conference, Globe 2014, Munich, Germany, September 2-3, 2014. Proceedings

Abdelkader Hameurlain; Tran Khanh Dang; Franck Morvan

978-3-319-10067-8

2014
Edition 1
€80
Critical Information Infrastructures Security

15th International Conference, CRITIS 2020, Bristol, UK, September 2–3, 2020, Proceedings

Awais Rashid; Peter Popov

978-3-030-58295-1

2020
Edition 1
€120
Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Ed Brinksma

978-3-540-68519-7

1997
Edition 1
€100
Computational Processing of the Portuguese Language

14th International Conference, PROPOR 2020, Evora, Portugal, March 2–4, 2020, Proceedings

Paulo Quaresma; Renata Vieira; Sandra Aluísio; Helena Moniz; Fernando Batista; Teresa Gonçalves

978-3-030-41505-1

2020
Edition 1
€100
Technologies and Innovation

5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

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

978-3-030-34989-9

2019
Edition 1
€100
Knowledge and Systems Sciences

22nd International Symposium, KSS 2023, Guangzhou, China, December 2–3, 2023, Proceedings

Jian Chen; Van-Nam Huynh; Xijin Tang; Jiangning Wu

978-981-99-8318-6

2023
Edition 1
€150
Stars and the Milky Way System

Volume 2 Proceedings of the First European Astronomical Meeting Athens, September 4–9, 1972

L. N. Mavridis

978-3-642-65666-8

1974
Edition 1
€180
Advanced Information Networking and Applications

Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Volume 2

Leonard Barolli; Isaac Woungang; Tomoya Enokido

978-3-030-75075-6

2021
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 35th International Conference on Advanced Information Networking and Applications held in Toronto, Canada, on May 12–14, 2021
- Written by experts in the field
€400
Nitrogen Fixation with Non-Legumes

The Third International Symposium on Nitrogen Fixation with Non-legumes, Helsinki, 2–8 September 1984

P. Uomala; F.A. Skinner

978-94-009-4378-0

1986
Edition 1
€400
Querelles. Jahrbuch für Frauenforschung 1997

Band 2: Die europäische Querelles des Femmes. Geschlechterdebatten seit dem 15. Jahrhundert

Gisela Bock; Margarete Zimmermann

978-3-476-03690-2

1997
Edition 1
€201
Web and Internet Economics

20th International Conference, WINE 2024, Edinburgh, UK, December 2–5, 2024, Proceedings

Marios Mavronicolas; Qi Qi; Grant Schoenebeck

978-3-032-08560-3

2026
Edition 1
€300
Emerging Challenges in Intelligent Management Information Systems

Proceedings of 28th European Conference on Artificial Intelligence ECAI 2025 - IMIS Workshop, Volume 2

Marcin Hernes; Ewa Walaszczyk; Artur Rot

978-3-032-06611-4

2026
Edition 1
- Presents recent research and Challenges in Intelligent Management Information Systems
- Proceedings of the ECAI 2025 Workshop on Intelligent Management Information Systems (IMIS 2025)
- Written by respected experts in the field
€400
Functional Analysis and Operator Theory

Proceedings of a Conference held in Memory of U.N.Singh, New Delhi, India, 2-6 August, 1990

B.S. Yadav; D. Singh

978-3-540-47041-0

1992
Edition 1
€69
CONCUR 2014 – Concurrency Theory

25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Paolo Baldan; Daniele Gorla

978-3-662-44584-6

2014
Edition 1
€100
Cometary Science after Hale-Bopp

Volume 2 Proceedings of IAU Colloquium 186 21–25 January 2002, Tenerife, Spain

Hermann Böhnhardt; Michael Combi; Mark R. Kidger; Rita Schulz

978-94-017-1088-6

2002
Edition 1
€400
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
Combinatorial Pattern Matching

4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993. Proceedings

Alberto Apostolico; Maxime Crochemore; Zvi Galil; Udi Manber

978-3-540-47732-7

1993
Edition 1
€94
Rule Technologies: Foundations, Tools, and Applications

9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Nick Bassiliades; Georg Gottlob; Fariba Sadri; Adrian Paschke; Dumitru Roman

978-3-319-21542-6

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Transport Transitions: Advancing Sustainable and Inclusive Mobility

Proceedings of the 10th TRA Conference, 2024, Dublin, Ireland - Volume 2: Sustainable Transport Development

Ciaran McNally; Páraic Carroll; Beatriz Martinez-Pastor; Bidisha Ghosh; Marina Efthymiou; Nikolaos Valantasis-Kanellos

978-3-031-85578-8

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
- Covers strategies for making urban and rural transport (more) sustainable
- Second volume of a 6-volume set
Open Access
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
Cooperative Design, Visualization, and Engineering

9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012, Proceedings

Yuhua Luo

978-3-642-32609-7

2012
Edition 1
- Fast-track conference proceedings State-of-the-art research Up-to-date results
€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.