License single eBooks

Your results

Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Jean-Francois Raskin; P.S. Thiagarajan

978-3-540-75454-1

2007
Edition 1
€100
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
Algorithm Theory - SWAT 2002

8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings

Martti Penttonen; Erik Meineche Schmidt

978-3-540-45471-7

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
Changing Television Environments

6th European Conference, EuroITV 2008, Salzburg, Austria, July 3-4, 2008, Proceedings

Manfred Tscheligi; Marianna Obrist; Arthur Lugmayr

978-3-540-69478-6

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

23rd International Conference, Athens, Greece, July 3–6, 2023, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; David Taniar; Bernady O. Apduhan; Ana Cristina Braga; Chiara Garau; Anastasia Stratigea

978-3-031-36808-0

2023
Edition 1
€180
Entertainment Computing -- ICEC 2009

8th International Conference, ICEC 2009, Paris, France, September 3-5, 2009, Proceedings

Stéphane Natkin; Jérome Dupire

978-3-642-04052-8

2009
Edition 1
€100
Automated and Algorithmic Debugging

First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings

Peter A. Fritzson

978-3-540-48141-6

1993
Edition 1
€100
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
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Dimitar Kazakov; Can Erten

978-3-030-49210-6

2020
Edition 1
€100
Interacting Bosons in Nuclei

Proceedings of the Fourth Topical School Held in Granada, Spain, September 28 – October 3, 1981

J.S. Dehesa; J.M.G. Gomez; J. Ros

978-3-540-39296-5

1982
Edition 1
€100
Intelligent Computing and Technologies

Third International Conference, ICTCon 2025, Kokrajhar, India, December 2–3, 2025, Proceedings

Pankaj Pratap Singh; Shitala Prasad; Pranav Kumar Singh; Petia Radeva

978-3-032-28478-5

2027
Edition 1
€180

Not published yet

Available from
2026-07-30
Agile Processes in Software Engineering and Extreme Programming

14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings

Hubert Baumeister; Barbara Weber

978-3-642-38314-4

2013
Edition 1
- Proceedings of the 14th International Conference on Agile Software Development
€90
Fun with Algorithms

4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Pierluigi Crescenzi; Giuseppe Prencipe; Geppino Pucci

978-3-540-72914-3

2007
Edition 1
€100
Computational Systems-Biology and Bioinformatics

First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, Proceedings

Jonathan H. Chan; Yew-Soon Ong; Sung-Bae Cho

978-3-642-16750-8

2010
Edition 1
€100
Modelling and Mining Networks

19th International Workshop, WAW 2024, Warsaw, Poland, June 3–6, 2024, Proceedings

Megan Dewar; Bogumił Kamiński; Daniel Kaszyński; Łukasz Kraiński; Paweł Prałat; François Théberge; Małgorzata Wrzosek

978-3-031-59205-8

2024
Edition 1
€220
Proceedings of the 19th International Conference Inter-Eng 2025 Interdisciplinarity in Engineering Held During 3–4 October 2025

Volume 2

Liviu Moldovan; Adrian Gligor

978-3-032-18878-6

2026
Edition 1
- Proceedings of the 19th International Conference INTER-ENG 2025, Interdisciplinarity in Engineering
- Presents recent visions and concepts of Interdisciplinarity in Engineering
- Provides a broad vision of the Industry 4.0/5.0 concept beyond direct manufacturing in the company
€400
Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA 3)

I: Proprietes Generales des Schemas en Groupes

M. Artin; M. Demazure; A. Grothendieck

978-3-540-36336-1

1970
Edition 1
€69
Contributions Presented at The International Conference on Computing, Communication, Cybersecurity and AI, July 3–4, 2024, London, UK

The C3AI 2024

Nitin Naik; Paul Jenkins; Shaligram Prajapat; Paul Grace

978-3-031-74443-3

2024
Edition 1
- Presents recent research developments in computing, communication, cybersecurity and AI, and related domains
- Provides innovative techniques, tools, and applications in computing, communication, cybersecurity, and AI
- Serves as a valuable reference guide for researchers and practitioners in academia and industry
€459
Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA 3)

III: Structure des Schemas en Groupes Reductifs

M. Artin; M. Demazure; A. Grothendieck

978-3-540-36339-2

1970
Edition 1
€69
Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA 3)

II: Groupes de Type Multiplicatif, et Structure des Schemas en Groupes Generaux

M. Artin; M. Demazure; A. Grothendieck

978-3-540-36337-8

1970
Edition 1
€69
Multiple-Scale Analysis of Boundary-Value Problems in Thick Multi-Level Junctions of Type 3:2:2

Taras Mel'nyk; Dmytro Sadovyi

978-3-030-35537-1

2019
Edition 1
- The first book on this topic
- Includes a full literature review on the homogenization of various boundary-value problems, spectral problems, variational inequalities, optimal control problems in thick junctions
- Provides a complete and unified presentation of the topic and recent results of the authors
- Presents approximation techniques for solutions to semilinear elliptic and parabolic problems with various alternating nonlinear Robin boundary conditions
€110
Proceedings of the 19th International Conference Inter-Eng 2025 Interdisciplinarity in Engineering Held During 3–4 October 2025

Volume 1

Liviu Moldovan; Adrian Gligor

978-3-032-17033-0

2026
Edition 1
- Proceedings of the 19th International Conference INTER-ENG 2025, Interdisciplinarity in Engineering
- Presents recent visions and concepts of Interdisciplinarity in Engineering
- Provides a broad vision of the Industry 4.0/5.0 concept beyond direct manufacturing in the company
€400
Berechnung der optimalen Leistungen, Kraftstoffverbräuche und Wirkungsgrade von Luftfahrt-Gasturbinen-Triebwerken am Boden und in der Höhe bei Fluggeschwindigkeiten von 0–2000 km/h und vorgegebenen Düsenausströmgeschwindigkeiten

Johann Endres

978-3-663-04402-4

1958
Edition 1
€201
Geodetic Theory Today

Third Hotine-Marussi Symposium on Mathematical Geodesy L’Aquila, Italy, May 30–June 3, 1994

Fernando Sansò

978-3-642-79824-5

1995
Edition 1
€180
Service-Oriented Computing

22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I

Walid Gaaloul; Michael Sheng; Qi Yu; Sami Yangui

978-981-96-0805-8

2025
Edition 1
€150
Contaminated Soil’93

Fourth International KfK/TNO Conference on Contaminated Soil 3–7 May 1993, Berlin, Germany

F. Arendt; G.J. Annokkée; R. Bosman; W.J. van den Brink

978-94-011-2018-0

1993
Edition 1
€978
Computational Science and Its Applications – ICCSA 2025

25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part III

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; Yeliz Karaca; David Taniar; Ana Maria A. C. Rocha; Bernady O. Apduhan

978-3-031-96962-1

2025
Edition 1
€160
Computational Modeling of Objects Presented in Images: Fundamentals, Methods, and Applications

4th International Conference, CompIMAGE 2014, Pittsburgh, PA, USA, September 3-5, 2014, Proceedings

Yongjie Jessica Zhang; João Manuel R.S. Tavares

978-3-319-09994-1

2014
Edition 1
€100
Knowledge-Based Intelligent Information and Engineering Systems

7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I

Vasile Palade

978-3-540-45224-9

2003
Edition 1
€160
Progress in Mathematical Relativity, Gravitation and Cosmology

Proceedings of the Spanish Relativity Meeting ERE2012, University of Minho, Guimarães, Portugal, September 3-7, 2012

Alfonso García-Parrado; Filipe C. Mena; Filipe Moura; Estelita Vaz

978-3-642-40157-2

2014
Edition 1
- Current research in core area of mathematics and physics
- Major international conferences
- Includes numerical methods in relativity
- Includes supplementary material: sn.pub/extras
€280
Database and Expert Systems Applications

10th International Conference, DEXA'99, Florence, Italy, August 30 - September 3, 1999, Proceedings

Trevor Bench-Capon; Giovanni Soda; A Min Tjoa

978-3-540-48309-0

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Micro Total Analysis Systems 2002

Proceedings of the μTAS 2002 Symposium, held in Nara, Japan, 3–7 November 2002 Volume 2

Yoshinobu Baba; Shuichi Shoji; Albert van den Berg

978-94-010-0504-3

2002
Edition 1
€100
Proceedings of the 4th Annual International Conference on Material, Machines, and Methods for Sustainable Development (MMMS2024)

Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes

Banh Tien Long; Ho Xuan Nang; Pham Thanh Huy; Yun-Hae Kim; Kozo Ishizaki; Kim Hyungsun; Duc-Toan Nguyen; Vu Van Truong; Nguyen Thi Hong Minh; Pham Duc An

978-3-031-96126-7

2025
Edition 1
- Presents sustainable innovations in machine design and energy management
- Demonstrates the application of recycled materials in manufacturing processes
- Highlights AI-driven solutions for safety and efficiency in industrial processes
€499
Intelligent Technologies for Interactive Entertainment

13th EAI International Conference, INTETAIN 2021, Virtual Event, December 3-4, 2021, Proceedings

Zhihan Lv; Houbing Song

978-3-030-99188-3

2022
Edition 1
€180
GWAI-92: Advances in Artificial Intelligence

16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings

Hans J. Ohlbach

978-3-540-47626-9

1993
Edition 1
€100
Principles and Practice of Constraint Programming - CP 2003

9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings

Francesca Rossi

978-3-540-45193-8

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Sergei Artemov; Anil Nerode

978-3-540-92687-0

2009
Edition 1
€100
The Practice of Enterprise Modeling

18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3–5, 2025, Proceedings

Hans-Georg Fill; Yves Wautelet; Jolita Ralyté; Jelena Zdravkovic

978-3-032-12063-2

2026
Edition 1
€130
Algorithmic Aspects in Information and Management

12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

Shaojie Tang; Ding-Zhu Du; David Woodruff; Sergiy Butenko

978-3-030-04618-7

2018
Edition 1
€100
High Performance Computing for Computational Science -- VECPAR 2014

11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Michel Daydé; Osni Marques; Kengo Nakajima

978-3-319-17353-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Blockchain Technology and Emerging Applications

Third EAI International Conference, BlockTEA 2023, Wuhan, China, December 2-3, 2023, Proceedings

Jiageng Chen; Zhe Xia

978-3-031-60037-1

2024
Edition 1
€180
Algorithms and Architectures for Parallel Processing

21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I

Yongxuan Lai; Tian Wang; Min Jiang; Guangquan Xu; Wei Liang; Aniello Castiglione

978-3-030-95384-3

2022
Edition 1
€200
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm

8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings

Reiner W. Hartenstein; Andres Keevallik

978-3-540-68066-6

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Freek Wiedijk; Oded Maler; Amir Pnueli

978-3-540-36580-8

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Software Architecture

18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings

Matthias Galster; Patrizia Scandurra; Tommi Mikkonen; Pablo Oliveira Antonino; Elisa Yumi Nakagawa; Elena Navarro

978-3-031-70797-1

2024
Edition 1
€150
Advances in Databases and Information Systems

7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings

Leonid Kalinichenko; Rainer Manthey; Bernhard Thalheim; Uwe Wloka

978-3-540-39403-7

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
ICAF 2011 Structural Integrity: Influence of Efficiency and Green Imperatives

Proceedings of the 26th Symposium of the International Committee on Aeronautical Fatigue, Montreal, Canada, 1-3 June 2011

Jerzy Komorowski

978-94-007-1664-3

2011
Edition 1
- ICAF Symposium has a history of being a location for presentation of significant papers on aeronautical fatigue design practices
- Bi-annual update on the state of the art for aeronautical design and engineering
- Wide international participation of senior industrial, government and research leaders
€578
Persuasive Technology

10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings

Thomas MacTavish; Santosh Basapur

978-3-319-20306-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Ambient Intelligence

4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

Juan Carlos Augusto; Reiner Wichert; Rem Collier; David Keyson; Albert A. Salah; Ah-Hwee Tan

978-3-319-03647-2

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