License single eBooks

Your results

View Cart

Logic, Language, Information and Computation

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Wilfrid Hodges; Ruy de Queiroz

978-3-540-69937-8

2008
Edition 1
€140
Similarity Search and Applications

18th International Conference, SISAP 2025, Reykjavik, Iceland, October 1–3, 2025, Proceedings

Giuseppe Amato; Vladimir Mic; Agma Traina; Nicola Messina; Laurent Amsaleg; Gylfi Þór Guðmundsson; Björn Þór Jónsson; Lucia Vadicamo

978-3-032-06069-3

2026
Edition 1
€130
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Simon Collart-Dutilleul; Anne E. Haxthausen; Thierry Lecomte

978-3-031-05814-1

2022
Edition 1
€130
Logic in Databases

International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Dino Pedreschi; Carlo Zaniolo

978-3-540-70683-0

1996
Edition 1
€100
Data Warehousing and Knowledge Discovery

6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004, Proceedings

Yahiko Kambayashi; Mukesh Mohania; Wolfram Wöß

978-3-540-30076-2

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Analogical and Inductive Inference

International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings

Klaus P. Jantke

978-3-540-46798-4

1989
Edition 1
€100
Computer Aided Verification

3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Kim G. Larsen; Arne Skou

978-3-540-46763-2

1992
Edition 1
€100
Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Nathalie Bertrand; Nils Jansen

978-3-030-57628-8

2020
Edition 1
€100
Advanced Technologies, Systems, and Applications IX

Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT 2024) Volume 1

Naida Ademović; Zlatan Akšamija; Almir Karabegović

978-3-031-71694-2

2024
Edition 1
- Presents innovative and interdisciplinary applications of interdisciplinary applications of advanced technologies
- Provides scientific outcomes of the 15th Days of BHAAAS
- Discusses complex systems, biomedical engineering, power systems, power systems, or mechanical engineering
€360
Data Management in Grid and Peer-to-Peer Systems

4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings

Abdelkader Hameurlain; A Min Tjoa

978-3-642-22947-3

2011
Edition 1
€100
Computational Science and Its Applications – ICCSA 2020

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

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-58820-5

2020
Edition 1
€180
Ultrafast Phenomena X

Proceedings of the 10th International Conference, Del Coronado, CA, May 28 – June 1, 1996

Paul F. Barbara; James G. Fujimoto; Wayne H. Knox; Wolfgang Zinth

978-3-642-80314-7

1996
Edition 1
€180
Information Security and Cryptology - ICISC 2005

8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

Dongho Won; Seungjoo Kim

978-3-540-33355-5

2006
Edition 1
€100
Global Security, Safety, and Sustainability

5th International Conference, ICGS3 2009, London, UK, September 1-2, 2009, Proceedings

Hamid Jahankhani; Ali G. Hessami; Feng Hsu

978-3-642-04062-7

2009
Edition 1
€100
Neuroendocrinological Aspects of Neurosurgery

Proceedings of the Third Advanced Seminar in Neurosurgical Research Venice, April 30–May 1, 1987

John D. Pickard; Francois Cohadon; Joao Lobo Antunes

978-3-7091-9062-3

1990
Edition 1
€100
Vergleichende Anatomie der Wirbeltiere auf evolutionsbiologischer Grundlage

Band 1: Theoretische Grundlagen. Stammesgeschichte und Systematik unter Berücksichtigung der niederen Chordata

D. Starck

978-3-642-51568-2

1978
Edition 1
€220
Hybrid Metaheuristics

7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings

Maria José Blesa; Christian Blum; Günther Raidl; Andrea Roli; Michael Sampels

978-3-642-16054-7

2010
Edition 1
€100
Scalable Uncertainty Management

Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings

Sergio Greco

978-3-540-87993-0

2008
Edition 1
€100
Computational Science and Its Applications – ICCSA 2020

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

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-58817-5

2020
Edition 1
€180
Cloud Computing

First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings

Martin Gilje Jaatun; Gansen Zhao; Chunming Rong

978-3-642-10665-1

2009
Edition 1
€180
Electronic Government and the Information Systems Perspective

4th International Conference, EGOVIS 2015, Valencia, Spain, September 1-3, 2015, Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-22389-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Wired/Wireless Internet Communications

8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings

Evgeny Osipov; Andreas J. Kassler; Thomas Michael Bohnert; Xavier Masip-Bruin

978-3-642-13315-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100
Tests and Proofs

4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings

Gordon Fraser; Angelo Gargantini

978-3-642-13977-2

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
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
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
Advances in Internet, Data & Web Technologies

The 14th International Conference on Emerging Internet, Data and Web Technologies (EIDWT-2026), Volume 1

Leonard Barolli; Euripides G. M. Petrakis; Farookh Hussain

978-3-032-22795-9

2026
Edition 1
- Presents advances in information networking and exploitation of data generated from emerging data technologies
- Proceedings of the 14th International Conference on Emerging Internet, Data & Web Technologies
- Discusses methods and practices which bring various internetworking and emerging data technologies together
€439
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
Nonlinear Equations in Physics and Mathematics

Proceedings of the NATO Advanced Study Institute held in Istanbul, Turkey, August 1–13, 1977

P. Barut

978-94-009-9891-9

1978
Edition 1
€280
Tools for Teaching Logic

Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

Patrick Blackburn; Hans van Ditmarsch; Maria Manzano; Fernando Soler-Toscano

978-3-642-21350-2

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Cyber Security Intelligence and Analytics

Proceedings of the 2020 International Conference on Cyber Security Intelligence and Analytics (CSIA 2020), Volume 1

Zheng Xu; Reza M. Parizi; Mohammad Hammoudeh; Octavio Loyola-González

978-3-030-43306-2

2020
Edition 1
- Reports on recent advances in cyber security intelligence and analytics
- Highlights the latest theoretical research areas in cyber security
- Addresses current challenges in cyber security intelligence and analytics, as well as research gaps and opportunities
- Gathers the proceedings of the 2020 International Conference on Cyber Security Intelligence and Analytics (CSIA 2020), which was held in Haikou, China on February 28–29, 2020
€400
Modelling Foundations and Applications

9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Pieter Van Gorp; Tom Ritter; Louis M Rose

978-3-642-39013-5

2013
Edition 1
- Conference proceedings of the European Conference on Modelling Foundations and Applications, ECMFA 2013
€90
PRIMA 2014: Principles and Practice of Multi-Agent Systems

17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings

Hoa Khanh Dam; Jeremy Pitt; Yang Xu; Guido Governatori; Takayuki Ito

978-3-319-13191-7

2014
Edition 1
€100
Data Management in Grid and Peer-to-Peer Systems

Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010, Proceedings

Abdelkader Hameurlain; Franck Morvan; A Min Tjoa

978-3-642-15108-8

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Business Process Management

22nd International Conference, BPM 2024, Krakow, Poland, September 1–6, 2024, Proceedings

Andrea Marrella; Manuel Resinas; Mieke Jans; Michael Rosemann

978-3-031-70396-6

2024
Edition 1
€160
Reachability Problems

19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings

Pierre Ganty; Alessio Mansutti

978-3-032-09524-4

2026
Edition 1
€114
Cosmochemistry and the Origin of Life

Proceedings of the NATO Advanced Study Institute held at Maratea, Italy, June 1–12, 1981

Cyril Ponnamperuma

978-94-009-7072-4

1983
Edition 1
€400
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
Emerging Challenges in Intelligent Management Information Systems

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

Marcin Hernes; Ewa Walaszczyk; Artur Rot

978-3-032-13869-9

2026
Edition 1
- Presents recent research and Challenges in Intelligent Management Information Systems
- Contains proceedings of the ECAI 2025 Workshop on Intelligent Management Information Systems (IMIS 2025)
- Written by respected experts in the field
€400
Systems, Software and Services Process Improvement

28th European Conference, EuroSPI 2021, Krems, Austria, September 1–3, 2021, Proceedings

Murat Yilmaz; Paul Clarke; Richard Messnarz; Michael Reiner

978-3-030-85521-5

2021
Edition 1
€240
Patterns of Change in Earth Evolution

Report of the Dahlem Workshop on Patterns of Change in Earth Evolution Berlin 1983, May 1–6

H.D. Holland; H.D. Holland; A.F. Trendall; A.F. Trendall; H. Füchtbauer; D.P. McKenzie; D.M. Raup; E.R. Oxburgh; A. Seilacher; G.J. Wasserburg; W.H. Berger; K.S. Deffeyes; K. Padian; F.M. Richter; A.B. Thompson

978-3-642-69317-5

1984
Edition 1
€180
Web Information Systems Engineering – WISE 2015

16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I

Jianyong Wang; Wojciech Cellary; Dingding Wang; Hua Wang; Shu-Ching Chen; Tao Li; Yanchun Zhang

978-3-319-26190-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Einführung in die wissenschaftliche Akupunktur

Ohr-, Schädel- und Körperakupunktur ; zugleich Begleitmaterial zum Hospitationskurs der 1. Wissensstufe (Anfänger)

Frank R. Bahr

978-3-322-99054-9

1991
Edition 4
€280
Structural Information and Communication Complexity

26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

Keren Censor-Hillel; Michele Flammini

978-3-030-24922-9

2019
Edition 1
€100
Advances in Autonomous Robotics Systems

15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

Michael Mistry; Aleš Leonardis; Mark Witkowski; Chris Melhuish

978-3-319-10401-0

2014
Edition 1
€94
Particle Image Velocimetry: Recent Improvements

Proceedings of the EUROPIV 2 Workshop held in Zaragoza, Spain, March 31 – April 1, 2003

Michel Stanislas; Jerry Westerweel; Jürgen Kompenhans

978-3-642-18795-7

2004
Edition 1
- Recent results in particle image velocimetry for research and applications
€400
Combinatorial Pattern Matching

Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings

Alberto Apostolico; Maxime Crochemore; Zvi Galil; Udi Manber

978-3-540-47357-2

1992
Edition 1
€94
Proceedings of the 6th European Congress of Neurosurgery

Organized by the European Association of Neurosurgical Societies Paris, July 15–20, 1979. Vol. 1

J. Brihaye; P. R. R. Clarke; F. Loew; J. Overgaard; E. Pasztor; B. Pertuiset; K. Schürmann; L. Symon

978-3-7091-4088-8

1979
Edition 1
€100
Graph Reduction

Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

Joseph H. Fasel; Robert M. Keller

978-3-540-47963-5

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