License single eBooks

Your results

View Cart

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

978-3-540-33103-2

2006
Edition 1
€100 €90
10% OFF
Experimental Analysis of Nano and Engineering Materials and Structures

Proceedings of the 13th International Conference on Experimental Mechanics, Alexandroupolis, Greece, July 1-6, 2007

E.E. Gdoutos

978-1-4020-6239-1

2007
Edition 1
- State of the art in its field
- Proceedings of an important conference held only once every four years
€400 €360
10% OFF
Information Security

4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings

George I. Davida; Yair Frankel

978-3-540-45439-7

2001
Edition 1
€100 €90
10% OFF
Virtual Worlds

First International Conference, VW’98 Paris, France, July 1–3, 1998 Proceedings

Jean-Claude Heudin

978-3-540-68686-6

1998
Edition 1
€100 €90
10% OFF
Computational Science and Its Applications – ICCSA 2020

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

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-58808-3

2020
Edition 1
€180 €162
10% OFF
Trust, Privacy and Security in Digital Business

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

Steven M. Furnell; Sokratis Katsikas; Antonio Lioy

978-3-540-85735-8

2008
Edition 1
€140 €126
10% OFF
KI 2021: Advances in Artificial Intelligence

44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings

Stefan Edelkamp; Ralf Möller; Elmar Rueckert

978-3-030-87626-5

2021
Edition 1
€150 €135
10% OFF
Pattern Recognition in Bioinformatics

Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings

Jagath C.- Rajapakse; Bertil Schmidt; Gwenn Volkert

978-3-540-75286-8

2007
Edition 1
€100 €90
10% OFF
Fundamentals of Computation Theory

11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings

Bogdan S. Chlebus; Ludwik Czaja

978-3-540-69529-5

1997
Edition 1
€100 €90
10% OFF
Trust, Privacy and Security in Digital Business

12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings

Simone Fischer-Hübner; Costas Lambrinoudakis; Javier López

978-3-319-22906-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94 €85
10% OFF
Advances in Information Technology

Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings

Borworn Papasratorn; Wichian Chutimaskul; Kriengkrai Porkaew; Vajirasak Vanijja

978-3-642-10392-6

2009
Edition 1
€100 €90
10% OFF
Integer Programming and Combinatorial Optimization

18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

Quentin Louveaux; Martin Skutella

978-3-319-33461-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Logic and Its Applications

8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Md. Aquil Khan; Amaldev Manuel

978-3-662-58771-3

2019
Edition 1
€100 €90
10% OFF
Information and Communication Technologies in Education, Research, and Industrial Applications

20th International Conference, ICTERI 2025, Nice, France, September 1–4, 2025, Proceedings

Vadim Ermolayev; Frédéric Mallet; Oleksii Ignatenko; Gollam Rabby; Taras Panchenko; Grygoriy Zholtkevych; Vitaliy Yakovyna; Oleksandr Spivakovsky; Philippe Lahire

978-3-032-10477-9

2025
Edition 1
€170 €153
10% OFF
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 €90
10% OFF
Passive and Active Network Measurement

10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings

Renata Teixeira; Sue B. Moon; Steve Uhlig

978-3-642-00975-4

2009
Edition 1
€100 €90
10% OFF
Euro-Par’98 Parallel Processing

4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings

David Pritchard; Jeff Reeve

978-3-540-49920-6

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
ALPUK92

Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Krysia Broda

978-1-4471-3421-3

1993
Edition 1
€100 €90
10% OFF
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Ábrahám; Marieke Huisman

978-3-319-33693-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€160 €144
10% OFF
Security Protocols XVII

17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers

Bruce Christianson; James A. Malcolm; Vashek Matyáš; Michael Roe

978-3-642-36213-2

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100 €90
10% OFF
Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue

978-3-642-25271-6

2012
Edition 1
- High-quality selected papers
- State-of-the-art research
- Unique visibility
€100 €90
10% OFF
The Magnetospheres of the Earth and Jupiter

Proceedings of the Neil Brice Memorial Symposium, Held in Frascati, May 28–June 1, 1974

V. Formisano

978-94-010-1789-3

1975
Edition 1
€100 €90
10% OFF
Research and Advanced Technology for Digital Libraries

First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings

Costantino Thanos

978-3-540-69597-4

1997
Edition 1
€100 €90
10% OFF
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings

Claudio Sossai; Gaetano Chemello

978-3-642-02906-6

2009
Edition 1
€180 €162
10% OFF
AI, Society and Digital Transformation

Proceedings of 2025 INFORMS Conference on Service Science, Oxford, UK, July 1-3, 2025

Xiaolei Xie; Kejia Hu; Guiping Hu; Weiwei Chen; Robin Qiu

978-3-032-13116-4

2026
Edition 1
- Presents cutting-edge research and practice advances in service science
- Explores how AI and digital technologies are reshaping the way we live, work, and socialize
- Gathers global knowledge and insights
€340 €306
10% OFF
Smart Medical, IoT & Artificial Intelligence

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

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

978-3-032-18894-6

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 €360
10% OFF
Simulated Evolution and Learning

8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings

Kalyanmoy Deb; Arnab Bhattacharya; Nirupam Chakraborti; Partha Chakroborty; Swagatam Das; Joydeep Dutta; Santosh K. Gupta; Ashu Jain; Varun Aggarwal; Juergen Branke; Sushil J. Louis; Kay Chen Tan

978-3-642-17298-4

2010
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€180 €162
10% OFF
Service-Oriented Computing – ICSOC 2025 Workshops

Satellite Events and Artifacts, Shenzhen, China, December 1–4, 2025, Revised Selected Papers

Sami Yangui; Jianwen Su; Xiao Xue; Boualem Benatallah; Zhongjie Wang; Michael Sheng; Yingjie Wang; Cesare Pautasso; Pengcheng Zhang; Carlos Canal; Jian Wang; Victoria Degeler

978-981-92-1769-4

2027
Edition 1
€180 €162
10% OFF

Not published yet

Available from
2026-07-26
Field Programmable Logic and Applications

13th International Conference, FPL 2003 Lisbon, Portugal, September 1–3, 2003 Proceedings

Peter Y.K. Cheung; Georg A. Constantinides; Jose T. de Sousa

978-3-540-45234-8

2003
Edition 1
€100 €90
10% OFF
Coordination Languages and Models

Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings

David Garlan; Daniel Le Metayer

978-3-540-69527-1

1997
Edition 1
€100 €90
10% OFF
Computer Assisted Assessment -- Research into E-Assessment

International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings

Marco Kalz; Eric Ras

978-3-319-08657-6

2014
Edition 1
€100 €90
10% OFF
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 €90
10% OFF
Cometary Science after Hale-Bopp

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

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

978-94-017-1086-2

2003
Edition 1
€280 €252
10% OFF
Intelligent Systems, Blockchain, and Communication Technologies

Selected Papers From the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom24) - Volume 1

Ahmed Abdelgawad; Akhtar Jamil; Alaa Ali Hameed

978-3-031-82377-0

2025
Edition 1
- Presents recent research in Intelligent Systems, Blockchain, and Communication Technologies
- Proceedings of the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom24)
- Written by expert in the field
€320 €288
10% OFF
Combinatorial Algorithms

35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings

Adele Anna Rescigno; Ugo Vaccaro

978-3-031-63021-7

2024
Edition 1
€180 €162
10% OFF
Stabilization, Safety, and Security of Distributed Systems

14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings

Andréa W. Richa; Christian Scheideler

978-3-642-33536-5

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
Topics in Cryptology – CT-RSA 2022

Cryptographers’ Track at the RSA Conference 2022, Virtual Event, March 1–2, 2022, Proceedings

Steven D. Galbraith

978-3-030-95312-6

2022
Edition 1
€200 €180
10% OFF
X-Ray Astronomy

Proceedings of the NATO Advanced Study Institute held at Erice, Sicily, July 1–14, 1979

G. Giacconi; G. Setti

978-94-009-9088-3

1980
Edition 1
€100 €90
10% OFF
Interface for an App—The design rationale leading to an app that allows someone with Type 1 diabetes to self-manage their condition

Bob Spence

978-3-031-02233-3

2021
Edition 1
- Explores the design process and reasoning behind each feature of an app for managing Type 1 diabetes
- Discusses the influence of focus groups on the development of the app
- Reviews the concept of affordance, how it has influenced design progress, and suggests additional benefits
€66 €59
10% OFF
Untersuchungen am stabilisierten elektrischen Lichtbogen (Wälzbogen) in Stickstoff und Kohlensäure bei Drücken von 1 bis 40 at

Rudolf Foitzik

978-3-662-29545-8

1940
Edition 1
€187 €168
10% OFF
Proceedings of the 5th International Conference on Big Data Analytics for Cyber-Physical System in Smart City—Volume 1

BDCPS 2023, December 28–29, Fuyang, China

Mohammed Atiquzzaman; Neil Yen; Zheng Xu

978-981-96-0208-7

2025
Edition 1
- Includes papers presented at the BDCPS 2023 conference
- Covers the latest advances made in the field of machine learning and big data analytics methods
- Offers a valuable resource for all researchers and professionals interested in big data
€599 €539
10% OFF
XXIX Brazilian Congress on Biomedical Engineering - Volume 1: Biomedical Robotics, Rehabilitation, Biomechanics, and Biomedical Signal Processing

Proceedings of CBEB 2024, September 2-6, 2024, Ribeirão Preto-SP, Brazil

Alcimar Barbosa Soares; George Cunha Cardoso; Renata Ferranti Leoni

978-3-031-93646-3

2025
Edition 1
- Covers advances in biomechanics for medical applications
- Reports on low-cost assistive devices and robotic rehabilitation
- First volume of a 3-volume set
€559 €503
10% OFF
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations

A Monograph Based on Articles of the Founding Authors, Reproduced in Full

Radomir Stankovic; Paul Leo Butzer; ; William R. Wade; Weiyi Su; Yasushi Endow; Sandor Fridli; Boris I. Golubov; Franz Pichler

978-94-6239-160-4

2015
Edition 1
- A unique development of a field by seven founding authors, together with reproductions of some of their basic papers
- Applications to dyadic differential equations, approximation theory, etc.
- Reviews of former and recent results help the reader to get a fast introduction and a rather complete coverage of the area. A separate chapter with open problems should be useful for further research in the field
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Proceedings of the 7th Asia Pacific Conference on Manufacturing Systems and 6th International Manufacturing Engineering Conference—Volume 1

iMEC-APCOMS 2024, Melaka, Malaysia

Siti Nadiah Mohd Saffe; Siti Zubaidah Ismail; Cucuk Nur Rosyidi; Mohammad Osman Tokhi

978-981-96-4353-0

2025
Edition 1
- Presents selected papers from the iMEC-APCOMS 2024 in manufacturing engineering and other related topics
- Includes papers written by leading experts covering advances in global manufacturing systems and technology
- Provides an overview of sustainable development goals through innovative manufacturing engineering
€439 €395
10% OFF
Proceedings of the 4th International Conference on Big Data Analytics for Cyber-Physical System in Smart City - Volume 1

BDCPS 2022, December 16-17, Bangkok, Thailand

Mohammed Atiquzzaman; Neil Yen; Zheng Xu

978-981-99-0880-6

2023
Edition 1
- Includes papers presented at the BDCPS 2022 conference
- Covers the latest advances made in the field of machine learning and big data analytics methods
- Offers a valuable resource for all researchers and professionals interested in big data
€638 €574
10% OFF
Die Maschinenzölle in den wichtigsten Kulturstaaten der Welt nach dem Stande vom 1. Januar 1908

978-3-642-92011-0

1908
Edition 1
€201 €181
10% OFF
Emerging ICT for Bridging the Future - Proceedings of the 49th Annual Convention of the Computer Society of India (CSI) Volume 1

Suresh Chandra Satapathy; A. Govardhan; K. Srujan Raju; J. K. Mandal

978-3-319-13728-5

2015
Edition 1
- Latest research on ICT and critical infrastructure
- Results of the 49th Annual Convention of the Computer Society of India, held 11-15 Dec 2014 in Hyderabad, India
- Written by experts in the field
€400 €360
10% OFF
Human-Computer Interaction: Users and Contexts

17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part III

Masaaki Kurosu

978-3-319-21006-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computer Security

ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

Sokratis K. Katsikas; Frédéric Cuppens; Nora Cuppens; Costas Lambrinoudakis; Annie Antón; Stefanos Gritzalis; John Mylopoulos; Christos Kalloniatis

978-3-030-12786-2

2019
Edition 1
€100 €90
10% OFF
Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Steve Dunne; Bill Stoddart

978-3-540-34752-1

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