License single eBooks

Your results

View Cart

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Thomas Neele; Anton Wijs

978-3-031-66149-5

2025
Edition 1
€100 €90
10% OFF
Mathematical Physics X

Proceedings of the Xth Congress on Mathematical Physics, Held at Leipzig, Germany, 30 July – 9 August, 1991

Konrad Schmüdgen

978-3-642-77303-7

1992
Edition 1
€180 €162
10% OFF
The Computer and Blood Banking

(EDP Applications in Transfusion Medicine) GMDS Spring Conference Tübingen, April 9–11, 1981 Proceedings

J. R. Möhr; A. Kluge

978-3-642-93184-0

1981
Edition 1
€180 €162
10% OFF
Conceptual Knowledge Structures

First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9–13, 2024, Proceedings

Inma P. Cabrera; Sébastien Ferré; Sergei Obiedkov

978-3-031-67868-4

2024
Edition 1
€300 €270
10% OFF
Computers Helping People with Special Needs

14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I

Klaus Miesenberger; Deborah Fels; Dominique Archambault; Petr Penaz; Wolfgang Zagler

978-3-319-08596-8

2014
Edition 1
€100 €90
10% OFF
Model Driven Architecture - Foundations and Applications

4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings

Ina Schieferdecker; Alan Hartman

978-3-540-69100-6

2008
Edition 1
€180 €162
10% OFF
Intracranial Pressure VI

Proceedings of the Sixth International Symposium on Intracranial Pressure, Held in Glasgow, Scotland, June 9–13, 1985

J. Douglas Miller; G.M. Teasdale; J.O. Rowan; S.L. Galbraith; A.D. Mendelow

978-3-642-70971-5

1986
Edition 1
€180 €162
10% OFF
Automata, Languages, and Programming

39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

Artur Czumaj; Kurt Mehlhorn; Andrew Pitts; Roger Wattenhofer

978-3-642-31594-7

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
Pattern Recognition in Bioinformatics

4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 7-9, 2009, Proceedings

Visakan Kadirkamanathan; Guido Sanguinetti; Mark Girolami; Mahesan Niranjan; Josselin Noirel

978-3-642-04031-3

2009
Edition 1
€100 €90
10% OFF
Social, Cultural, and Behavioral Modeling

14th International Conference, SBP-BRiMS 2021, Virtual Event, July 6–9, 2021, Proceedings

Robert Thomson; Muhammad Nihal Hussain; Christopher Dancy; Aryn Pyke

978-3-030-80387-2

2021
Edition 1
€100 €90
10% OFF
Explainable Artificial Intelligence

Third World Conference, xAI 2025, Istanbul, Turkey, July 9–11, 2025, Proceedings, Part I

Riccardo Guidotti; Ute Schmid; Luca Longo

978-3-032-08317-3

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Intelligent Information and Database Systems

6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I

Ngoc-Thanh Nguyen; Boonwat Attachoo; Bogdan Trawinski; Kulwadee Somboonviwat

978-3-319-05476-6

2014
Edition 1
€180 €162
10% OFF
Biomimetic and Biohybrid Systems

8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Uriel Martinez-Hernandez; Vasiliki Vouloutsi; Anna Mura; Michael Mangan; Minoru Asada; Tony J. Prescott; Paul F.M.J. Verschure

978-3-030-24741-6

2019
Edition 1
€100 €90
10% OFF
Robotics and Rehabilitation Intelligence

First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I

Jianhua Qian; Honghai Liu; Jiangtao Cao; Dalin Zhou

978-981-33-4929-2

2020
Edition 1
€100 €90
10% OFF
Formal Techniques for Safety-Critical Systems

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Osman Hasan; Frédéric Mallet

978-3-030-46902-3

2020
Edition 1
€100 €90
10% OFF
Anaesthesia, Pain, Intensive Care and Emergency A.P.I.C.E.

Proceedings of the 22st Postgraduate Course in Critical Medicine Venice-Mestre, Italy - November 9-11, 2007

A. Gullo

978-88-470-0773-4

2008
Edition 1
- State of the art of intensive medicine
€180 €162
10% OFF
Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part I

Dimitrios Gunopulos; Thomas Hofmann; Donato Malerba; Michalis Vazirgiannis

978-3-642-23780-5

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Astrophysical Applications of Gravitational Lensing

Proceedings of the 173rd Symposium of the International Astronomical Union, Held in Melbourne, Australia, 9–14 July, 1995

C.S. Kochanek; J.N. Hewitt

978-94-009-0221-3

1996
Edition 1
€100 €90
10% OFF
Neural-Symbolic Learning and Reasoning

18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part I

Tarek R. Besold; Artur d’Avila Garcez; Ernesto Jimenez-Ruiz; Roberto Confalonieri; Pranava Madhyastha; Benedikt Wagner

978-3-031-71167-1

2024
Edition 1
€280 €252
10% OFF
Green, Pervasive, and Cloud Computing

20th International Conference, GPC 2025, Kuala Lumpur, Malaysia, December 9–12, 2025, Proceedings

Zhiwen Yu; Loke Chui Fung; Jiaxing Shen; Sha Zhao

978-981-92-2194-3

2027
Edition 1
€160 €144
10% OFF

Not published yet

Available from
2026-08-10
Model Driven Engineering Languages and Systems

12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Schürr; Bran V. Selic

978-3-642-04425-0

2009
Edition 1
€180 €162
10% OFF
Information Security Practice and Experience

Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings

Ed Dawson; Duncan S. Wong

978-3-540-72163-5

2007
Edition 1
€100 €90
10% OFF
Bioinformatics Research and Applications

Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008, Proceedings

Ion Mandoiu; Rajshekhar Sunderraman; Alexander Zelikovsky

978-3-540-79450-9

2008
Edition 1
€100 €90
10% OFF
Computer: Werkzeug der Medizin

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

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

978-3-642-85965-6

1970
Edition 1
€201 €181
10% OFF
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria; Bernhard Steffen

978-3-030-03418-4

2018
Edition 1
€100 €90
10% OFF
Ultrafast Phenomena XVI

Proceedings of the 16th International Conference, Palazzo dei Congressi Stresa, Italy, June 9--13, 2008

Paul Corkum; Sandro de Silvestri; Keith A. Nelson; Eberhard Riedle; Robert W. Schoenlein

978-3-540-95946-5

2009
Edition 1
- Current status report on ultrafast phenomena
- Includes supplementary material: sn.pub/extras
€578 €520
10% OFF
Multiscale Problems and Methods in Numerical Simulations

Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 9-15, 2001

James H. Bramble; Claudio Canuto; Albert Cohen; Wolfgang Dahmen

978-3-540-39810-3

2003
Edition 1
€90 €81
10% OFF
"Rheinisch"

Zum Selbstverständnis einer Region. Heinrich-Heine Institut Düsseldorf: Archiv, Bibliothek, Museum Bd. 9

Bernd Kortländer; Gunter E. Grimm

978-3-476-02796-2

2001
Edition 1
€79 €71
10% OFF
Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Ugo Montanari; Donald Sannella; Roberto Bruni

978-3-540-75336-0

2007
Edition 1
€100 €90
10% OFF
Practical Aspects of Declarative Languages

8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

Pascal van Hentenryck

978-3-540-31685-5

2006
Edition 1
€100 €90
10% OFF
Computers Helping People with Special Needs

17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I

Klaus Miesenberger; Roberto Manduchi; Mario Covarrubias Rodriguez; Petr Peňáz

978-3-030-58796-3

2020
Edition 1
€170 €153
10% OFF
Business Process Management Workshops

BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers

Florian Daniel; Quan Z. Sheng; Hamid Motahari

978-3-030-11641-5

2019
Edition 1
€100 €90
10% OFF
Approximation and Online Algorithms

8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen; Roberto Solis-Oba

978-3-642-18318-8

2011
Edition 1
- High quality selected papers
- Unique visibility
- State of the art research
€100 €90
10% OFF
Abelian Groups and Modules

Proceedings of the Udine Conference, Udine, April 9-14, 1984. Dedicated to Laszlo Fuchs on his 60th Birthday

R. Göbel; C. Metelli; A. Orsatti; L. Salce

978-3-7091-2814-5

1984
Edition 1
€100 €90
10% OFF
Intelligent Computer Mathematics

17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings

Andrea Kohlhase; Laura Kovács

978-3-031-66997-2

2024
Edition 1
€220 €198
10% OFF
Ubiquitous Computing Systems

Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

Hitomi Murakami; Hideyuki Nakashima; Hideyuki Tokuda; Michiaki Yasumura

978-3-540-31809-5

2005
Edition 1
€100 €90
10% OFF
Information and Communications Technologies

Third International Libyan Conference, ILCICT 2025 Tripoli, Libya, September 9–11, 2025 Proceedings

Tammam Benmusa; Mohamed Samir Elbuni; Ibrahim Saleh; Ahmed Ashur; Nabil Drawil; Issmail Ellabib; Noureddin Sadawi; Khaled Rabie; Khaled Shaban

978-3-032-24816-9

2027
Edition 1
€150 €135
10% OFF

Not published yet

Available from
2026-07-16
Shallow Lakes in a Changing World

Proceedings of the 5th International Symposium on Shallow Lakes, held at Dalfsen, The Netherlands, 5-9 June 2005

Ramesh D. Gulati; Eddy Lammens; Niels DePauw; Ellen Van Donk

978-1-4020-6399-2

2007
Edition 1
- Supplements and updates the issues related to eutrophication and pollution problems regarding many shallow lakes in Europe and North America
- Contains state-of-the art updates on water quality issues and different restoration techniques
€400 €360
10% OFF
Chirurgisches Forum ’83 für experimentelle und klinische Forschung

100. Kongreß der Deutschen Gesellschaft für Chirurgie, Berlin, 6. bis 9. April 1983

H.-W. Schreiber; C. Herfarth; C. Herfarth; W. Brendel; U.B. Brückner; H. Ecke; P. Merkle; H.-D. Röher; H. Meisner; M. Reifferscheid; G. Uhlschmid; F. Unger

978-3-642-69013-6

1983
Edition 1
€201 €181
10% OFF
Innovation, Economic Change and Technology Policies

Proceedings of a Seminar on Technological Innovation held in Bonn, Federal Republic of Germany, April 5 to 9, 1976

STROETMANN

978-3-0348-5867-0

1977
Edition 1
€100 €90
10% OFF
Improving Genetic Disease Resistance in Farm Animals

A Seminar in the Community Programme for the Coordination of Agricultural Research, held in Brussels, Belgium, 8–9 November 1988

Akke Jitske Akkermans; W. Sybesma

978-94-009-1057-7

1989
Edition 1
€100 €90
10% OFF
MultiMedia Modeling

29th International Conference, MMM 2023, Bergen, Norway, January 9–12, 2023, Proceedings, Part I

Duc-Tien Dang-Nguyen; Cathal Gurrin; Martha Larson; Alan F. Smeaton; Stevan Rudinac; Minh-Son Dao; Christoph Trattner; Phoebe Chen

978-3-031-27077-2

2023
Edition 1
€180 €162
10% OFF
Operations Research ’91

Extended Abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9–11, 1991

Peter Gritzmann; Rainer Hettich; Reiner Horst; Ekkehard Sachs

978-3-642-48417-9

1992
Edition 1
€180 €162
10% OFF
Large-Scale Structures in the Universe Observational and Analytical Methods

Proceedings of a Workshop, Held at the Physikzentrum Bad Honnef, Federal Rep. of Germany, December 9-12, 1987

Waltraud C. Seitter; Hilmar W. Duerbeck; Markus Tacke

978-3-540-45938-5

1988
Edition 1
€180 €162
10% OFF
Information Security and Privacy

19th Australasian Conference, ACISP 2014, Wollongong, NSW, Australia, July 7-9, 2014. Proceedings

Willy Susilo; Yi Mu

978-3-319-08344-5

2014
Edition 1
€100 €90
10% OFF
Collaboration and Technology

23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings

Carl Gutwin; Sergio F. Ochoa; Julita Vassileva; Tomoo Inoue

978-3-319-63874-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Text, Speech, and Dialogue

24th International Conference, TSD 2021, Olomouc, Czech Republic, September 6–9, 2021, Proceedings

Kamil Ekštein; František Pártl; Miloslav Konopík

978-3-030-83527-9

2021
Edition 1
€200 €180
10% OFF
Web and Wireless Geographical Information Systems

22nd International Symposium, W2GIS 2025, Mexico City, Mexico, September 8–9, 2025, Proceedings

Miguel Félix Mata-Rivera; Roberto Zagal-Flores; Willington Siabato

978-3-032-01723-9

2026
Edition 1
€240 €216
10% OFF
Shipboard Acoustics

Proceedings of the 2nd International Symposium on Shipboard Acoustics ISSA ’86, The Hague, The Netherlands, October 7–9, 1986

J. Buiten

978-94-009-3515-0

1986
Edition 1
€180 €162
10% OFF
Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

Anna Kalenkova; Jose A. Lozano; Rostislav Yavorskiy

978-3-030-71472-7

2021
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.