License single eBooks

Your results

View Cart

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson; Andre Scedrov; Victor Zakharov

978-3-319-71734-0

2018
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Software Language Engineering

4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Anthony Sloane; Uwe Aßmann

978-3-642-28830-2

2012
Edition 1
- High qulaity selected papers
- Unique visibility
- State of the art research
€100
Advances in Neural Networks – ISNN 2020

17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings

Min Han; Sitian Qin; Nian Zhang

978-3-030-64221-1

2020
Edition 1
€100
Infrared Extinction and Standardization

Proceedings of two Sessions of IAU Commissions 25 and 9 Held at Baltimore, Maryland, USA, August 4, 1988

E.F. Milone

978-3-540-46710-6

1989
Edition 1
€100
Durability of Reinforced Concrete from Composition to Protection

Selected Papers of the 6th International RILEM PhD Workshop held in Delft, The Netherlands, July 4-5, 2013

Carmen Andrade; Joost Gulikers; Rob Polder

978-3-319-09921-7

2015
Edition 1
- Treats many timely topics on durability performance of reinforced concrete, service life modeling, prevention and repair
- Showcases the work of new and upcoming researchers
- Contributes to the international dissemination of new ideas and techniques
- Includes supplementary material: sn.pub/extras
€180
Theoretical Computer Science

37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Xiaoming Sun; Kun He; Xiaoyun Chen

978-981-15-0105-0

2019
Edition 1
€100
Chatbots and Human-Centered AI

8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4–5, 2024, Revised Selected Papers

Asbjørn Følstad; Symeon Papadopoulos; Theo Araujo; Effie L.-C. Law; Ewa Luger; Sebastian Hobert; Petter Bae Brandtzaeg

978-3-031-88045-2

2025
Edition 1
€240
Variable Neighborhood Search

6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers

Angelo Sifaleras; Said Salhi; Jack Brimberg

978-3-030-15843-9

2019
Edition 1
€130
Job Scheduling Strategies for Parallel Processing

28th International Workshop, JSSPP 2025, Milan, Italy, June 3–4, 2025, Revised Selected Papers

Dalibor Klusáček; Julita Corbalán; Gonzalo P. Rodrigo

978-3-032-10507-3

2026
Edition 1
€160
Networked Systems

First International Conference, NETYS 2013, Marrakech, Marocco, May 2-4, 2013, Revised Selected Papers

Vincent Gramoli; Rachid Guerraoui

978-3-642-40148-0

2013
Edition 1
- First International Conference on Networked Systems, NETYS 2013
€100
MultiMedia Modeling

22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I

Qi Tian; Nicu Sebe; Guo-Jun Qi; Benoit Huet; Richang Hong; Xueliang Liu

978-3-319-27671-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Ganesh Gopalakrishnan; Phillip Windley

978-3-540-49519-2

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Knowledge Science, Engineering and Management

18th International Conference, KSEM 2025, Macao, China, August 4–7, 2025, Proceedings, Part VI

Tianqing Zhu; Wanlei Zhou; Congcong Zhu

978-981-95-3072-4

2026
Edition 1
€160
Parallel Computational Technologies

18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2–4, 2024, Revised Selected Papers

Leonid Sokolinsky; Mikhail Zymbler; Vladimir Voevodin; Jack Dongarra

978-3-031-73372-7

2024
Edition 1
€160
Industrial Networks and Intelligent Systems

3rd International Conference, INISCOM 2017, Ho Chi Minh City, Vietnam, September 4, 2017, Proceedings

Trung Q. Duong; Yuanfang Chen

978-3-319-74176-5

2018
Edition 1
€100
Computational Intelligence Methods for Bioinformatics and Biostatistics

19th International Meeting, CIBB 2024, Benevento, Italy, September 4–6, 2024, Revised Selected Papers

Luigi Cerulo; Francesco Napolitano; Francesco Bardozzo; Lu Cheng; Annalisa Occhipinti; Stefano M. Pagnotta

978-3-031-89704-7

2025
Edition 1
€130
Recent Trends in Artificial Intelligence and IoT

First International Conference, ICAII 2022, Jamshedpur, India, April 4-5, 2023, Revised Selected Papers

Rajesh Kumar Tiwari; G. Sahoo

978-3-031-37303-9

2023
Edition 1
€170
Data Warehousing and Knowledge Discovery

4th International Conference, DaWaK 2002, Aix-en-Provence, France, September 4-6, 2002. Proceedings

Yahiko Kambayashi; Werner Winiwarter; Masatoshi Arikawa

978-3-540-46145-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Biotechnology for Fuels and Chemicals

Proceedings of the Nineteenth Symposium on Biotechnology for Fuels and Chemicals Held May 4-8. 1997, at Colorado Springs, Colorado

Mark Finkelstein; Brian H. Davison

978-1-4612-1814-2

1998
Edition 1
€280
Data Science Analytics and Applications

First International Conference, DaSAA 2017, Chennai, India, January 4-6, 2017, Revised Selected Papers

Shriram R; Mak Sharma

978-981-10-8603-8

2018
Edition 1
€100
Learning and Intelligent Optimization

17th International Conference, LION 17, Nice, France, June 4–8, 2023, Revised Selected Papers

Meinolf Sellmann; Kevin Tierney

978-3-031-44505-7

2023
Edition 1
€180
The Semantic Web

17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings

Andreas Harth; Sabrina Kirrane; Axel-Cyrille Ngonga Ngomo; Heiko Paulheim; Anisa Rula; Anna Lisa Gentile; Peter Haase; Michael Cochez

978-3-030-49461-2

2020
Edition 1
€180
Metaheuristics

15th International Conference, MIC 2024, Lorient, France, June 4–7, 2024, Proceedings, Part II

Marc Sevaux; Alexandru-Liviu Olteanu; Eduardo G. Pardo; Angelo Sifaleras; Salma Makboul

978-3-031-62922-8

2024
Edition 1
€150
Digital Business and Intelligent Systems

15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4–6, 2022, Proceedings

Mirjana Ivanovic; Marite Kirikova; Laila Niedrite

978-3-031-09850-5

2022
Edition 1
€160
Security and Privacy in Communication Networks

21st EAI International Conference, SecureComm 2025, Xiangtan, China, July 4–6, 2025, Proceedings, Part I

Wei Liang; Sun-Yuan Kung; Meikang Qiu

978-3-032-23447-6

2026
Edition 1
Not published yet

Available from
2026-05-11
Knowledge Science, Engineering and Management

18th International Conference, KSEM 2025, Macao, China, August 4–7, 2025, Proceedings, Part IV

Tianqing Zhu; Wanlei Zhou; Congcong Zhu

978-981-95-3058-8

2026
Edition 1
€160
Computer Vision – ACCV 2022

16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part II

Lei Wang; Juergen Gall; Tat-Jun Chin; Imari Sato; Rama Chellappa

978-3-031-26284-5

2023
Edition 1
€180
Hereditary Colorectal Cancer

Proceedings of the Fourth International Symposium on Colorectal Cancer (ISCC-4) November 9–11, 1989, Kobe Japan

Joji Utsunomiya; Henry T. Lynch

978-4-431-68337-7

1990
Edition 1
€180
Computer Analysis of Images and Patterns

16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

George Azzopardi; Nicolai Petkov

978-3-319-23117-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Extended Reality

International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part III

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71710-9

2024
Edition 1
€280
AI*IA 2013: Advances in Artificial Intelligence

XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings

Matteo Baldoni; Cristina Baroglio; Guido Boella; Roberto Micalizio

978-3-319-03524-6

2013
Edition 1
- Up-to-date result of AI*IA 2013
- Fast track conference proceedings
- State-of-the-art research
€100
Informatics in Control, Automation and Robotics

11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014 Revised Selected Papers

Joaquim Filipe; Oleg Gusikhin; Kurosh Madani; Jurek Sasiadek

978-3-319-26453-0

2016
Edition 1
- Recent research on Informatics in Control Automation and Robotics
- Includes extended and revised versions of a set of selected papers from the 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014
- Written by leading experts in the field
- Includes supplementary material: sn.pub/extras
€280
Integration of Theory and Applications in Applied Mechanics

Choice of papers presented at the First National Mechanics Congress, April 2–4, 1990, Rolduc, Kerkrade, The Netherlands

J.F. Dijksman; F.T. Nieuwstadt

978-94-009-2125-2

1990
Edition 1
€280
Haptics: Perception, Devices, Control, and Applications

10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

Fernando Bello; Hiroyuki Kajimoto; Yon Visell

978-3-319-42324-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Extended Reality

International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part IV

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71713-0

2024
Edition 1
€130
Computer Supported Education

12th International Conference, CSEDU 2020, Virtual Event, May 2–4, 2020, Revised Selected Papers

H. Chad Lane; Susan Zvacek; James Uhomoibhi

978-3-030-86439-2

2021
Edition 1
€180
Information Integration and Web Intelligence

26th International Conference, iiWAS 2024, Bratislava, Slovak Republic, December 2–4, 2024, Proceedings, Part I

Pari Delir Haghighi; Michal Greguš; Gabriele Kotsis; Ismail Khalil

978-3-031-78090-5

2025
Edition 1
€150
Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Viktória Zsók; Andrew Butterfield

978-3-540-74130-5

2007
Edition 1
€100
Phase Separation in Cuprate Superconductors

Proceedings of the second international workshop on “Phase Separation in Cuprate Superconductors” September 4 – 10, 1993, Cottbus, Germany

Ernst Sigmund; K.Alex Müller

978-3-642-78805-5

1994
Edition 1
€180
Decision and Game Theory for Security

7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings

Quanyan Zhu; Tansu Alpcan; Emmanouil Panaousis; Milind Tambe; William Casey

978-3-319-47413-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry

11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Federico Rossi; Stefano Piotto; Simona Concilio

978-3-319-57711-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
€100
Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II

Luca Aceto; Monika Henzinger; Jiri Sgall

978-3-642-22012-8

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Jonathan P. Bowen; Huibiao Zhu

978-3-319-52228-9

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Trustworthy Global Computing

4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Christos Kaklamanis; Flemming Nielson

978-3-642-00945-7

2009
Edition 1
€100
Visual Form 2001

4th International Workshop on Visual Form, IWVF-4 Capri, Italy, May 28-30, 2001 Proceedings

Carlo Arcelli; Luigi P. Cordella; Gabriella Sanniti di Baja

978-3-540-45129-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Towards new e-Infrastructure and e-Services for Developing Countries

12th EAI International Conference, AFRICOMM 2020, Ebène City, Mauritius, December 2-4, 2020, Proceedings

Rafik Zitouni; Amreesh Phokeer; Josiah Chavula; Ahmed Elmokashfi; Assane Gueye; Nabil Benamar

978-3-030-70572-5

2021
Edition 1
€100
Catalysis in Chemistry and Biochemistry Theory and Experiment

Proceedings of the Twelfth Jerusalem Symposium on Quantum Chemistry and Biochemistry held in Jerusalem, Israel, April 2–4, 1979

A. Pullman

978-94-009-9513-0

1979
Edition 1
€280
Technology in Education. Transforming Educational Practices with Technology

International Conference, ICTE 2014, Hong Kong, China, July 2-4, 2014. Revised Selected Papers

Kam Cheong Li; Tak-Lam Wong; Simon K.S. Cheung; Jeanne Lam; Kwan Keung Ng

978-3-662-46158-7

2015
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Computational Science — ICCS 2003

International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part III

Peter M.A. Sloot; David Abramson; Alexander V. Bogdanov; Jack J. Dongarra; Albert Y. Zomaya; Yuriy E. Gorbachev

978-3-540-44863-1

2003
Edition 1
€100
Gerontechnology

Second International Workshop, IWoG 2019, Cáceres, Spain, September 4–5, 2019, Revised Selected Papers

José García-Alonso; César Fonseca

978-3-030-41494-8

2020
Edition 1
€150

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.