License single eBooks

Your results

View Cart

Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Brigitte Pientka; Cesare Tinelli

978-3-031-38499-8

2023
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

Khoa Nguyen; Wenling Wu; Kwok Yan Lam; Huaxiong Wang

978-3-030-62576-4

2020
Edition 1
€100 €90
10% OFF
Language and Automata Theory and Applications

15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Alberto Leporati; Carlos Martín-Vide; Dana Shapira; Claudio Zandron

978-3-030-68195-1

2021
Edition 1
€100 €90
10% OFF
Chirurgisches Forum ’97 für experimentelle und klinische Forschung

114. Kongreß der Deutschen Gesellschaft für Chirurgie München, 1.– 5.April 1997

D. Birk; H.-G. Beger; H. Bauer; L. Staib; M. Rothmund; W. Hartel

978-3-642-60717-2

1997
Edition 1
€201 €181
10% OFF
GWAI-82

6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982

W. Wahlster

978-3-642-68826-3

1982
Edition 1
€180 €162
10% OFF
Business Process Management: Blockchain and Central and Eastern Europe Forum

BPM 2019 Blockchain and CEE Forum, Vienna, Austria, September 1–6, 2019, Proceedings

Claudio Di Ciccio; Renata Gabryelczyk; Luciano García-Bañuelos; Tomislav Hernaus; Rick Hull; Mojca Indihar Štemberger; Andrea Kő; Mark Staples

978-3-030-30429-4

2019
Edition 1
€100 €90
10% OFF
Diffusion Processes: Experiment, Theory, Simulations

Proceedings of the Vth Max Born Symposium Held at Kudowa, Poland, 1–4 June 1994

Andrzej Pekalski

978-3-540-49038-8

1994
Edition 1
€180 €162
10% OFF
Value Distribution Theory

Proceedings of the Nordic Summer School in Mathematics Held at Joensuu, Finland, June 1-12, 1981

I. Laine; S. Rickman

978-3-540-39480-8

1983
Edition 1
€69 €62
10% OFF
Programming Languages and Systems

5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

Zhong Shao

978-3-540-76637-7

2007
Edition 1
€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
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
Unconventional Computation and Natural Computation

22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings

Enrico Formenti; Luca Manzoni

978-3-032-15641-9

2026
Edition 1
€130 €117
10% OFF
Multimedia Content Analysis and Mining

International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007, Proceedings

Nicu Sebe; Yuncai Liu; Yueting Zhuang; Thomas S. Huang

978-3-540-73417-8

2007
Edition 1
€100 €90
10% OFF
Advanced Internet Services and Applications

First International Workshop, AISA 2002, Seoul, Korea, August 1-2, 2002. Proceedings

Whie Chang

978-3-540-45639-1

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

Sanjay Misra; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Carmelo Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Eufemia Tarantino

978-3-030-24289-3

2019
Edition 1
€180 €162
10% OFF
Instability and Transition

Materials of the workshop held May 15-June 9, 1989 in Hampton, Virgina Volume 1

M.Y. Hussaini; Robert G. Voigt

978-1-4612-3430-2

1990
Edition 1
€180 €162
10% OFF
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
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
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
Computational Science – ICCS 2026

26th International Conference, Hamburg, Germany, June 29 – July 1, 2026, Proceedings, Part I

Philipp Neumann; Michael J. Puma; Michael H. Lees; Derek Groen; Jack J. Dongarra; Peter M. A. Sloot

978-3-032-29921-5

2026
Edition 1
€180 €162
10% OFF
Data Base Management: Theory and Applications

Proceedings of the NATO Advanced Study Institute held at Estoril, Portugal, June 1–14, 1981

Clyde Holsapple; A.B. Whinston

978-94-009-7029-8

1983
Edition 1
€280 €252
10% OFF
Transport Transitions: Advancing Sustainable and Inclusive Mobility

Proceedings of the 10th TRA Conference, 2024, Dublin, Ireland - Volume 1: Safe and Equitable Transport

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

978-3-031-88974-5

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
- Covers research and best practices fostering inclusive and safe transport
- First volume of a 6-volume set
Open Access
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
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
Advanced Information Networking and Applications

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

Leonard Barolli

978-3-031-87763-6

2025
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 38th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€419 €377
10% OFF
Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Amy P. Felty; Aart Middeldorp

978-3-319-21401-6

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Wärme- und Stoffübergang in Strömungen

Ein Grundkurs für Studierende und Ingenieure Band 1 Erzwungene und Freie Strömung

K. Wilde

978-3-642-72334-6

1978
Edition 2
€486 €437
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
Geodynamics of Iceland and the North Atlantic Area

Proceedings of the NATO Advanced Study Institute held in Reykjavik, Iceland, 1–7 July, 1974

L. Kristjansson

978-94-010-2271-2

1974
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
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
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
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
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
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
Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7–8, Ji'an, China

Mohammed Atiquzzaman; Neil Y. Yen; Zheng Xu

978-981-95-8876-3

2026
Edition 1
- Includes papers presented at the BDCPS 2024 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
€559 €503
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
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
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
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
Artificial Intelligence and Soft Computing

11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II

Leszek Rutkowski; Marcin Korytkowski; Rafał Scherer; Ryszard Tadeusiewicz; Lotfi Zadeh; Jacek Zurada

978-3-642-29350-4

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
High-Energy Ion-Atom Collisions

Proceedings of the 3rd Workshop on High-Energy Ion-Atom Collisions, Held in Debrecen, Hungary, August 3–5, 1987

D. Berenyi; G. Hock

978-3-540-48129-4

1988
Edition 1
€180 €162
10% OFF
Information and Communication Technologies for Ageing Well and e-Health

6th International Conference, ICT4AWE 2020, Prague, Czech Republic, May 3–5, 2020, Revised Selected Papers

Martina Ziefle; Nick Guldemond; Leszek A. Maciaszek

978-3-030-70807-8

2021
Edition 1
€100 €90
10% OFF
Metadata and Semantic Research

15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers

Emmanouel Garoufallou; María-Antonia Ovalle-Perandones; Andreas Vlachidis

978-3-030-98876-0

2022
Edition 1
€160 €144
10% OFF
Advanced Data Mining and Applications

20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part IV

Quan Z. Sheng; Gill Dobbie; Jing Jiang; Xuyun Zhang; Wei Emma Zhang; Yannis Manolopoulos; Jia Wu; Wathiq Mansoor; Congbo Ma

978-981-96-0840-9

2025
Edition 1
€160 €144
10% OFF
Information Security and Cryptology

7th International Conference, Inscrypt 2011, Beijing, China, November 30 -- December 3, 2011. Revised Selected Papers

Chuan-Kun Wu; Moti Yung; Dongdai Lin

978-3-642-34704-7

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