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
Security and Trust Management

14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Sokratis K. Katsikas; Cristina Alcaraz

978-3-030-01141-3

2018
Edition 1

€100
Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Lucas Lima; Vince Molnár

978-3-031-22476-8

2022
Edition 1

€110
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
Functional Programming, Glasgow 1992

Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992

John Launchbury; Patrick Sansom

978-1-4471-3215-8

1993
Edition 1

€100
Adaptive and Intelligent Systems

Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011, Proceedings

Abdelhamid Bouchachia

978-3-642-23857-4

2011
Edition 1

€100
Rough Sets and Current Trends in Computing

5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings

Salavatore Greco; Yukata Hata; Shoji Hirano; Masahiro Inuiguchi; Sadaaki Miyamoto; Hung Son Nguyen; Roman Slowiński

978-3-540-49842-1

2006
Edition 1

€180
Learning Robots

6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 Proceedings

Andreas Birk; John Demiris

978-3-540-49240-5

1998
Edition 1

€100
FTK ’88, Fertigungstechnisches Kolloquium

Schriftliche Fassung der Vorträge zum Fertigungstechnischen Kolloquium am 5./6. Oktober 1988 in Stuttgart

VDI-Gesellschaft Produktionstechnik (ADB); Stuttgart Gesellschaft für Fertigungstechnik; Fertigungstechnische Institute

978-3-642-48058-4

1988
Edition 1

€201
Perspektiven der Chirurgie im 21. Jahrhundert

117. Kongress der Deutschen Gesellschaft für Chirurgie, 2.–6. Mai 2000, Berlin

R. Bauer; A. Encke

978-3-642-59573-8

2000
Edition 1

€201
Computer Vision -- ECCV 2014

13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part III

David Fleet; Tomas Pajdla; Bernt Schiele; Tinne Tuytelaars

978-3-319-10578-9

2014
Edition 1

€100
End-User Development

9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings

Lucio Davide Spano; Albrecht Schmidt; Carmen Santoro; Simone Stumpf

978-3-031-34433-6

2023
Edition 1

€130
AI 2013: Advances in Artificial Intelligence

26th Australian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Stephen Cranefield; Abhaya C. Nayak

978-3-319-03680-9

2013
Edition 1

€100
Advances in Artificial Life

Third European Conference on Artificial Life, Granada, Spain, June 4 - 6, 1995 Proceedings

Federico Moran; Alvaro Moreno; Juan J. Merelo; Pablo Chacon

978-3-540-49286-3

1995
Edition 1

€180
Mesospheric Models and Related Experiments

Proceedings of the Fourth Esrin-Eslab Symposium Held in Frascati, Italy, 6–10 July, 1970

G. Fiocco

978-94-010-3114-1

1971
Edition 1

€100
Language and Automata Theory and Applications

14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings

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

978-3-030-40608-0

2020
Edition 1

€100
Advanced Information Networking and Applications

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

Leonard Barolli

978-3-031-87778-0

2025
Edition 1

€419
Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Radu Calinescu; Corina S. Păsăreanu

978-3-030-92124-8

2021
Edition 1

€160
Genetic Programming

21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

Mauro Castelli; Lukas Sekanina; Mengjie Zhang; Stefano Cagnoni; Pablo García-Sánchez

978-3-319-77553-1

2018
Edition 1

€100
Interactive Storytelling

6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings

Hartmut Koenitz; Tonguc Ibrahim Sezen; Gabriele Ferri; Mads Haahr; Digdem Sezen; Güven Çatak

978-3-319-02756-2

2013
Edition 1

€100
Advances in Intelligent Data Analysis. Reasoning about Data

Second International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings

Xiaohui Liu; Paul Cohen; Michael R. Berthold

978-3-540-69520-2

1997
Edition 1

€180
Trusted Computing

Second International Conference, Trust 2009 Oxford, UK, April 6-8, 2009, Proceedings

Liqun Chen; Chris J. Mitchell; Andrew Martin

978-3-642-00587-9

2009
Edition 1

€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024

27th International Conference, Marrakesh, Morocco, October 6–10, 2024, Proceedings, Part VII

Marius George Linguraru; Qi Dou; Aasa Feragen; Stamatia Giannarou; Ben Glocker; Karim Lekadir; Julia A. Schnabel

978-3-031-72104-5

2024
Edition 1

€360
Computing and Combinatorics

21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Dachuan Xu; Donglei Du; Dingzhu Du

978-3-319-21398-9

2015
Edition 1

€100
Exploring Services Science

6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings

Henriqueta Nóvoa; Monica Drăgoicea

978-3-319-14980-6

2015
Edition 1

€100
Functional Programming Languages in Education

1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings

Pieter Hartel

978-3-540-49252-8

1995
Edition 1

€100
Computer Vision -- ECCV 2014

13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part II

David Fleet; Tomas Pajdla; Bernt Schiele; Tinne Tuytelaars

978-3-319-10605-2

2014
Edition 1

€100
Web Engineering

16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings

Alessandro Bozzon; Philippe Cudré-Mauroux; Cesare Pautasso

978-3-319-38791-8

2016
Edition 1

€100
Artificial Evolution

European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers.

Jean-Marc Alliot; Evelyne Lutton; Edmund Ronald; Marc Schoenauer; Dominique Snyers

978-3-540-49948-0

1996
Edition 1

€100
Advanced Information Systems Engineering

6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings

Gerard Wijers; Sjaak Brinkkemper; Tony Wasserman

978-3-540-48459-2

1994
Edition 1

€160
New Horizons in Nitrogen Fixation

Proceedings of the 9th International Congress on Nitrogen Fixation, Cancún, Mexico, December 6–12, 1992

Rafael Palacios; Jaime Mora; William E. Newton

978-94-017-2416-6

1993
Edition 1

€578
Learning Technology for Education Challenges

7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings

Lorna Uden; Dario Liberona; Jozef Ristvej

978-3-319-95522-3

2018
Edition 1

€100
Intelligent Data Engineering and Automated Learning – IDEAL 2020

21st International Conference, Guimaraes, Portugal, November 4–6, 2020, Proceedings, Part II

Cesar Analide; Paulo Novais; David Camacho; Hujun Yin

978-3-030-62365-4

2020
Edition 1

€180
Computer Vision/Computer Graphics Collaboration Techniques

4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009, Proceedings

André Gagalowicz; Wilfried Philips

978-3-642-01811-4

2009
Edition 1

€100
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988. Proceedings

Teo Mora

978-3-540-46152-4

1989
Edition 1

€100
Numerical Validation in Current Hardware Architectures

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Annie A.M. Cuyt; Walter Krämer; Wolfram Luther; Peter Markstein

978-3-642-01591-5

2009
Edition 1

€100
Sustainable Strategies for the Upgrading of Natural Gas: Fundamentals, Challenges, and Opportunities

Proceedings of the NATO Advanced Study Institute, held in Vilamoura, Portugal, July 6 - 18, 2003

E.G. Derouane; Valentin Parmon; Francisco Lemos; Fernando Ramoa Ribeiro

978-1-4020-3310-0

2005
Edition 1

€578
Web Engineering

23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings

Irene Garrigós; Juan Manuel Murillo Rodríguez; Manuel Wimmer

978-3-031-34444-2

2023
Edition 1

€150
Machine Translation

10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

Xiaodong Shi; Yidong Chen

978-3-662-45701-6

2014
Edition 1

€100
Computer Algebra in Scientific Computing

26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings

François Boulier; Chenqi Mou; Timur M. Sadykov; Evgenii V. Vorozhtsov

978-3-031-69070-9

2024
Edition 1

€260
Computational Science — ICCS 2004

4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part IV

Marian Bubak; Geert D. van Albada; Peter M.A. Sloot; Jack Dongarra

978-3-540-25944-2

2004
Edition 1

€100
Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Jeremy Gibbons; Jose Nuno Oliveira

978-3-642-04912-5

2009
Edition 1

€100
Performance Engineering of Computer and Telecommunications Systems

Proceedings of UKPEW’95, Liverpool John Moores University, UK. 5 – 6 September 1995

Madjid Merabti; Michael Carew; Frank Ball

978-1-4471-1007-1

1996
Edition 1

€180
Frontiers of Combining Systems

12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Andreas Herzig; Andrei Popescu

978-3-030-29007-8

2019
Edition 1

€130
IUTAM Symposium on Advances in Micro- and Nanofluidics

Proceedings of the IUTAM Symposium on Advances in Micro- and Nanofluidics, Dresden, Germany, September 6-8, 2007

Marco Ellero; Xiangyu Hu; Jochen Fröhlich; Nikolaus Adams

978-90-481-2626-2

2009
Edition 1

€180
Information and Communications Security

19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

Sihan Qing; Chris Mitchell; Liqun Chen; Dongmei Liu

978-3-319-89500-0

2018
Edition 1

€160
Analogical and Inductive Inference

International Workshop AII'86 Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings

Klaus P. Jantke

978-3-540-47739-6

1987
Edition 1

€60
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005

Carlos Delgado Kloos; Andrés Marín; David Larrabeiti

978-0-387-31170-8

2006
Edition 1

€180
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024

27th International Conference, Marrakesh, Morocco, October 6–10, 2024, Proceedings, Part VIII

Marius George Linguraru; Qi Dou; Aasa Feragen; Stamatia Giannarou; Ben Glocker; Karim Lekadir; Julia A. Schnabel

978-3-031-72111-3

2024
Edition 1

€180
Knowledge Science, Engineering and Management

15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part I

Gerard Memmi; Baijian Yang; Linghe Kong; Tianwei Zhang; Meikang Qiu

978-3-031-10983-6

2022
Edition 1

€220

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.