License single eBooks

Your results

View Cart

Reachability Problems

19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings

Pierre Ganty; Alessio Mansutti

978-3-032-09524-4

2026
Edition 1
€114
Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Nathalie Bertrand; Nils Jansen

978-3-030-57628-8

2020
Edition 1
€100
Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025, Proceedings

Giuseppe Scanniello; Valentina Lenarduzzi; Simone Romano; Sira Vegas; Rita Francese

978-3-032-12092-2

2026
Edition 1
€114
Systems, Software and Services Process Improvement

17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Andreas Riel; Rory O'Connor; Serge Tichkiewitch; Richard Messnarz

978-3-642-15666-3

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Information Security and Cryptology - ICISC 2010

13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers

Kyung-Hyune Rhee; DaeHun Nyang

978-3-642-24209-0

2011
Edition 1
- Up-to-date report
- Fast track conference proceedings
- State-of-the-art report
€100
Applied Reconfigurable Computing. Architectures, Tools, and Applications

16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings

Fernando Rincón; Jesús Barba; Hayden K. H. So; Pedro Diniz; Julián Caba

978-3-030-44534-8

2020
Edition 1
€100
Typed Lambda Calculi and Applications

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Pierre-Louis Curien

978-3-642-02273-9

2009
Edition 1
€100
Algorithms and Complexity

4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings

Giancarlo Bongiovanni; Giorgio Gambosi; Rosella Petreschi

978-3-540-46521-8

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Similarity Search and Applications

18th International Conference, SISAP 2025, Reykjavik, Iceland, October 1–3, 2025, Proceedings

Giuseppe Amato; Vladimir Mic; Agma Traina; Nicola Messina; Laurent Amsaleg; Gylfi Þór Guðmundsson; Björn Þór Jónsson; Lucia Vadicamo

978-3-032-06069-3

2026
Edition 1
€130
Data Warehousing and Knowledge Discovery

6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004, Proceedings

Yahiko Kambayashi; Mukesh Mohania; Wolfram Wöß

978-3-540-30076-2

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Post-Quantum Cryptography

6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

Michele Mosca

978-3-319-11659-4

2014
Edition 1
€100
Field Programmable Logic and Applications

7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.

Wayne Luk; Peter Y.K. Cheung; Manfred Glesner

978-3-540-69557-8

1997
Edition 1
€100
Business Modeling and Software Design

9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

Boris Shishkov

978-3-030-24854-3

2019
Edition 1
€100
Machine Learning for Networking

4th International Conference, MLN 2021, Virtual Event, December 1–3, 2021, Proceedings

Éric Renault; Selma Boumerdassi; Paul Mühlethaler

978-3-030-98978-1

2022
Edition 1
€110
Human Factors in Computing and Informatics

First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings

Andreas Holzinger; Martina Ziefle; Martin Hitz; Matjaz Debevc

978-3-642-39062-3

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Multidisciplinary Social Networks Research

Second International Conference, MISNC 2015, Matsuyama, Japan, September 1-3, 2015. Proceedings

Leon Wang; Shiro Uesugi; I-Hsien Ting; Koji Okuhara; Kai Wang

978-3-662-48319-0

2015
Edition 1
€100
Systems, Software and Services Process Improvement

28th European Conference, EuroSPI 2021, Krems, Austria, September 1–3, 2021, Proceedings

Murat Yilmaz; Paul Clarke; Richard Messnarz; Michael Reiner

978-3-030-85521-5

2021
Edition 1
€240
Cyberspace Safety and Security

12th International Symposium, CSS 2020, Haikou, China, December 1–3, 2020, Proceedings

Jieren Cheng; Xiangyan Tang; Xiaozhang Liu

978-3-030-73671-2

2021
Edition 1
€100
Information Security and Privacy

18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013, Proceedings

Colin Boyd; Leonie Simpson

978-3-642-39059-3

2013
Edition 1
- Fast track conference proceedings
- State of the art research
- Up to date results
€100
Blood Oxygenation

Proceedings of the International Symposium on Blood Oxygenation, held at the University of Cincinnati, December 1–3, 1969

Daniel Hershey

978-1-4684-1857-6

1970
Edition 1
€180
Advances in Autonomous Robotics Systems

15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

Michael Mistry; Aleš Leonardis; Mark Witkowski; Chris Melhuish

978-3-319-10401-0

2014
Edition 1
€94
Product-Focused Software Process Improvement

26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025, Proceedings

Giuseppe Scanniello; Valentina Lenarduzzi; Simone Romano; Sira Vegas; Rita Francese

978-3-032-12089-2

2026
Edition 1
€146
Model-Based Software and Data Integration

First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings

Ralf-Detlef Kutsche; Nikola Milanovic

978-3-540-78999-4

2008
Edition 1
€150
Das Wichtigste zu Standardprogrammen unter MS-DOS 3.3

Word 4.0, Lotus 1-2-3 2.0, Multiplan 3.0, dBase III+ 3.0

Dietrich Franz; Rüdiger Mattes

978-3-322-83674-8

1990
Edition 1
€201
Web Information Systems Engineering – WISE 2015

16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I

Jianyong Wang; Wojciech Cellary; Dingding Wang; Hua Wang; Shu-Ching Chen; Tao Li; Yanchun Zhang

978-3-319-26190-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Intelligent Virtual Agents

8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008, Proceedings

Helmut Prendinger; James Lester; Mitsuru Ishizuka

978-3-540-85483-8

2008
Edition 1
€100
Distributed Computing

17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings

Faith Ellen Fich

978-3-540-39989-6

2003
Edition 1
€100
Biometric Recognition

17th Chinese Conference, CCBR 2023, Xuzhou, China, December 1–3, 2023, Proceedings

Wei Jia; Wenxiong Kang; Zaiyu Pan; Xianye Ben; Zhengfu Bian; Shiqi Yu; Zhaofeng He; Jun Wang

978-981-99-8565-4

2023
Edition 1
€160
Scalable Uncertainty Management

Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings

Sergio Greco

978-3-540-87993-0

2008
Edition 1
€100
Wired/Wireless Internet Communications

8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings

Evgeny Osipov; Andreas J. Kassler; Thomas Michael Bohnert; Xavier Masip-Bruin

978-3-642-13315-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100
Electronic Government and the Information Systems Perspective

4th International Conference, EGOVIS 2015, Valencia, Spain, September 1-3, 2015, Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-22389-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Artificial Intelligence and Internet of Things

Proceedings of the 8th International Symposium, MISC 2024, Tamanghasset, Algeria, December 1-3, 2024

Salim Chikhi; Amine Bermak; Abdelmalek Amine; Allaoua Chaoui; Djamel Eddine Saidouni; Mohamed Khireddine Kholladi

978-3-031-82112-7

2025
Edition 1
- Presents recent research in modeling and implementation of complex systems
- Provides proceedings of the 8th International Symposium, MISC 2024
- Written by experts in the field
€380
Quantitative Evaluation of Systems

12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Javier Campos; Boudewijn R. Haverkort

978-3-319-22264-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Applied Informatics

First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings

Hector Florez; Cesar Diaz; Jaime Chavarriaga

978-3-030-01535-0

2018
Edition 1
€100
Information Security

6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings

Colin Boyd; Wenbo Mao

978-3-540-39981-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
EPIA'91

5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings

Pedro Barahona; Luis Moniz Pereira; Antonio Porto

978-3-540-38459-5

1991
Edition 1
€100
Mining Intelligence and Knowledge Exploration

9th International Conference, MIKE 2021, Hammamet, Tunisia, November 1–3, 2021, Proceedings

Richard Chbeir; Yannis Manolopoulos; Rajendra Prasath

978-3-031-21517-9

2022
Edition 1
€130
Business Modeling and Software Design

15th International Symposium, BMSD 2025, Milan, Italy, July 1–3, 2025, Proceedings

Boris Shishkov

978-3-031-98033-6

2026
Edition 1
€260
Information Security and Privacy

26th Australasian Conference, ACISP 2021, Virtual Event, December 1–3, 2021, Proceedings

Joonsang Baek; Sushmita Ruj

978-3-030-90567-5

2021
Edition 1
€180
Computer Analysis of Images and Patterns

8th International Conference, CAIP'99 Ljubljana, Slovenia, September 1-3, 1999 Proceedings

Franc Solina; Ales Leonardis

978-3-540-48375-5

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
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
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
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
Artificial Immune Systems

Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings

Jon Timmis; Peter Bentley; Emma Hart

978-3-540-45192-1

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Automated Deduction in Geometry

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Xiao-lu Gao; Dongming Wang; Lu Yang

978-3-540-47997-0

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Operations Research Proceedings 1999

Selected Papers of the Symposium on Operations Research (SOR ’99), Magdeburg, September 1–3, 1999

Karl Inderfurth; Gerhard Schwödiauer; Wolfgang Domschke; Friedrich Juhnke; Peter Kleinschmidt; Gerhard Wäscher

978-3-642-58300-1

2000
Edition 1
€467
Entertainment Computing - ICEC 2014

13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings

Yusuf Pisan; Nikitas Marinos Sgouros; Tim Marsh

978-3-662-45212-7

2014
Edition 1
€100
Global Security, Safety, and Sustainability

6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings

Sergio Tenreiro de Magalhaes; Hamid Jahankhani; Ali G. Hessami

978-3-642-15717-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection

14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

Yves Demazeau; Takayuki Ito; Javier Bajo; Maria José Escalona

978-3-319-39324-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Vision Systems

Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

James Crowley; Justus Piater; Markus Vincze; Lucas Paletta

978-3-540-36592-1

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

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.