License single eBooks

Your results

View Cart

Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

David N. Jansen; Pavithra Prabhakar

978-3-030-00151-3

2018
Edition 1

€100
Frontiers in Handwriting Recognition

18th International Conference, ICFHR 2022, Hyderabad, India, December 4–7, 2022, Proceedings

Utkarsh Porwal; Alicia Fornés; Faisal Shafait

978-3-031-21648-0

2022
Edition 1

€180
Innovations in Communication Networks: Sustainability for Societal and Industrial Impact

Proceedings of 5th International Conference on Data Engineering and Communication Technology (ICDECT 2024), Volume 4

Vikrant Bhateja; Vazeerudeen Abdul Hameed; Siba K. Udgata; Ahmad Taher Azar

978-981-96-5223-5

2025
Edition 1

€499
Networking and Mobile Computing

3rd International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings

Xicheng Lu; Wei Zhao

978-3-540-31868-2

2005
Edition 1

€260
Multimedia Communications, Services and Security

11th International Conference, MCSS 2022, Kraków, Poland, November 3–4, 2022, Proceedings

Andrzej Dziech; Wim Mees; Marcin Niemiec

978-3-031-20215-5

2022
Edition 1

€140
Applied Cryptography and Network Security

16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings

Bart Preneel; Frederik Vercauteren

978-3-319-93387-0

2018
Edition 1

€180
Inductive Logic Programming

28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese

978-3-319-99960-9

2018
Edition 1

€100
The Human Society and the Internet: Internet Related Socio-Economic Issues

First International Conference, Human.Society.Internet 2001, Seoul, Korea, July 4-6 2001. Proceedings

Won Kim; Tok-Wang Ling; Yoon-Joon Lee; Seung-Soo Park

978-3-540-47749-5

2001
Edition 1

€100
Information and Software Technologies

24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Robertas Damaševičius; Giedrė Vasiljevienė

978-3-319-99972-2

2018
Edition 1

€100
Conceptual Modeling

38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

Alberto H. F. Laender; Barbara Pernici; Ee-Peng Lim; José Palazzo M. de Oliveira

978-3-030-33223-5

2019
Edition 1

€100
Advances in Invariant Subspaces and Other Results of Operator Theory

9th International Conference on Operator Theory, Timişoara, and Herculane (Romania), June 4–14, 1984

Arsene

978-3-0348-7698-8

1986
Edition 1

€100
Advances in Automation IV

Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

Andrey A. Radionov; Vadim R. Gasiyarov

978-3-031-22311-2

2023
Edition 1

€579
Information Security and Cryptology - ICISC 2009

12th International Conference, Seoul, Korea, December 2-4. 2009. Revised Selected Papers

Donghoon Lee; Seokhie Hong

978-3-642-14423-3

2010
Edition 1

€100
Document Analysis and Recognition - ICDAR 2024

18th International Conference, Athens, Greece, August 30–September 4, 2024, Proceedings, Part I

Elisa H. Barney Smith; Marcus Liwicki; Liangrui Peng

978-3-031-70533-5

2024
Edition 1

€146
Algebraic Methodology and Software Technology

7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings

Armando M. Haeberer

978-3-540-49253-5

1999
Edition 1

€100
Active Media Technology

8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings

Runhe Huang; Ali A. Ghorbani; Takahira Yamaguchi; Gabriella Pasi; Neil Yen; Beihong Jin

978-3-642-35236-2

2012
Edition 1

€100
Computational Science and Its Applications – ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42108-7

2016
Edition 1

€100
Constructive Side-Channel Analysis and Secure Design

Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

Werner Schindler; Sorin Huss

978-3-642-29912-4

2012
Edition 1

€100
Rewriting Techniques and Applications

10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Paliath Narendran; Michael Rusinowitch

978-3-540-48685-5

1999
Edition 1

€100
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Louis-Martin Rousseau; Kostas Stergiou

978-3-030-19212-9

2019
Edition 1

€100
Collective Robotics

First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings

Alexis Drogoul; Milind Tambe; Toshio Fukuda

978-3-540-68723-8

1998
Edition 1

€100
Intelligent Transport Systems. From Research and Development to the Market Uptake

Third EAI International Conference, INTSYS 2019, Braga, Portugal, December 4–6, 2019

Ana Lúcia Martins; Joao Carlos Ferreira; Alexander Kocian

978-3-030-38822-5

2020
Edition 1

€100
E-Technologies: Innovation in an Open World

4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009, Proceedings

Gilbert Babin; Peter Kropf; Michael Weiss

978-3-642-01187-0

2009
Edition 1

€100
Reversible Computation

16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings

Torben Ægidius Mogensen; Łukasz Mikulski

978-3-031-62076-8

2024
Edition 1

€180
Web Reasoning and Rule Systems

9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Balder ten Cate; Alessandra Mileo

978-3-319-22002-4

2015
Edition 1

€80
Ant Colony Optimization and Swarm Intelligence

5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings

Marco Dorigo; Luca Maria Gambardella; Mauro Birattari; Alcherio Martinoli; Riccardo Poli; Thomas Stützle

978-3-540-38483-0

2006
Edition 1

€180
Algorithmic Game Theory

16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings

Argyrios Deligkas; Aris Filos-Ratsikas

978-3-031-43254-5

2023
Edition 1

€160
Combinatorial Optimization and Applications

5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings

Weifan Wang; Xuding Zhu; Ding-Zhu Du

978-3-642-22616-8

2011
Edition 1

€100
Model and Data Engineering

12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings

Mohamed Mosbah; Tahar Kechadi; Ladjel Bellatreche; Faiez Gargouri

978-3-031-49333-1

2024
Edition 1

€150
New Approaches in Software Measurement

10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings

Reiner Dumke; Alain Abran

978-3-540-44704-7

2001
Edition 1

€100
Computational Social Networks

4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings

My T. Thai; Nam P. Nguyen; Huawei Shen

978-3-319-21786-4

2015
Edition 1

€100
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Simon Collart-Dutilleul; Thierry Lecomte; Alexander Romanovsky

978-3-030-18744-6

2019
Edition 1

€114
Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Xinyu Feng; Markus Müller-Olm; Zijiang Yang

978-3-319-99933-3

2018
Edition 1

€100
Algorithms – ESA 2013

21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Hans L. Bodlaender; Giuseppe F. Italiano

978-3-642-40450-4

2013
Edition 1

€100
The Universe at High-z, Large-Scale Structure and the Cosmic Microwave Background

Proceedings of an Advanced Summer School Held at Laredo, Cantabria, Spain, 4–8 September 1995

Enrique Martinez-Gonzalez; Jose L. Sanz

978-3-540-68386-5

1996
Edition 1

€100
Multiple Classifier Systems

Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings

Josef Kittler; Fabio Roli

978-3-540-48219-2

2001
Edition 1

€100
Artificial Intelligence: Methodology, Systems, and Applications

13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings

Daniel Dochev; Paolo Traverso; Marco Pistore

978-3-540-85776-1

2008
Edition 1

€100
Nitrogen fixation research progress

Proceedings of the 6th international symposium on Nitrogen Fixation, Corvallis, OR 97331, August 4–10, 1985

H.J. Evans; P.J. Bottomley; William E. Newton

978-94-009-5175-4

1985
Edition 1

€100
Cyberspace Safety and Security

15th International Symposium, CSS 2025, Hangzhou, China, July 4–7, 2025, Proceedings

Yang Xiang; Jian Shen

978-981-95-3551-4

2026
Edition 1

€146

Not published yet

Available from
2025-12-22
Computational Science and Its Applications - ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42089-9

2016
Edition 1

€100
Product-Focused Software Process Improvement

25th International Conference, PROFES 2024, Tartu, Estonia, December 2–4, 2024, Proceedings

Dietmar Pfahl; Javier Gonzalez Huerta; Jil Klünder; Hina Anwar

978-3-031-78386-9

2025
Edition 1

€130
Similarity Search and Applications

10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings

Christian Beecks; Felix Borutta; Peer Kröger; Thomas Seidl

978-3-319-68474-1

2017
Edition 1

€130
Functional Imaging and Modeling of the Heart

Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings

Alejandro F. Frangi; Petia I. Radeva; Andres Santos; Monica Hernandez

978-3-540-32081-4

2005
Edition 1

€180
Intelligent Agents for Telecommunication Applications

Second International Workshop, IATA'98, Paris, France, July 4-7, 1998, Proceedings

Sahin Albayrak; Francisco J. Garijo

978-3-540-69102-0

1998
Edition 1

€100
Hybrid Artificial Intelligent Systems

14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings

Hilde Pérez García; Lidia Sánchez González; Manuel Castejón Limas; Héctor Quintián Pardo; Emilio Corchado Rodríguez

978-3-030-29859-3

2019
Edition 1

€100
Database and Expert Systems Applications

11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings

Mohamed Ibrahim; Josef Küng; Norman Revell

978-3-540-44469-5

2000
Edition 1

€180
New Developments in Semiconductor Physics

Proceedings of the Third Summer School, Held at Szeged, Hungary, August 31 – September 4, 1987

George Ferenczi; F. Beleznay

978-3-540-39145-6

1988
Edition 1

€100
Dependable Software Engineering: Theories, Tools, and Applications

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Xuandong Li; Zhiming Liu; Wang Yi

978-3-319-25942-0

2015
Edition 1

€94
Advances in Rice Blast Research

Proceedings of the 2nd International Rice Blast Conference 4–8 August 1998, Montpellier, France

D. Tharreau; M.H. Lebrun; N.J. Talbot; J.L. Notteghem

978-94-015-9430-1

2000
Edition 1

€280
Fuzzy Logik

Theorie und Praxis 4. Dortmunder Fuzzy-Tage Dortmund, 6.–8. Juni 1994

Bernd Reusch

978-3-642-79386-8

1994
Edition 1

€201

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.