License single eBooks

Your results

View Cart

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Panagiotis Katsaros; Laura Nenzi

978-3-031-44267-4

2023
Edition 1

€140
Pattern Recognition

35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013, Proceedings

Joachim Weickert; Matthias Hein; Bernt Schiele

978-3-642-40602-7

2013
Edition 1

€100
Security, Privacy, and Applied Cryptography Engineering

5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings

Rajat Subhra Chakraborty; Peter Schwabe; Jon Solworth

978-3-319-24126-5

2015
Edition 1

€100
Network and System Security

7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013, Proceedings

Javier Lopez; Xinyi Huang; Ravi Sandhu

978-3-642-38631-2

2013
Edition 1

€100
Hybrid Systems: Computation and Control

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

Alberto Bemporad; Giorgio C Buttazzo; Antonio Bicchi

978-3-540-71493-4

2007
Edition 1

€180
Trust, Privacy, and Security in Digital Business

11th International Conference, TrustBus 2014, Munich, Germany, September 2-3, 2014. Proceedings

Claudia Eckert; Sokratis K. Katsikas; Günther Pernul

978-3-319-09770-1

2014
Edition 1

€94
Evolvable Systems: From Biology to Hardware

4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

Kiyoshi Tanaka; Masaya Iwata; Tetsuya Higuchi; Moritoshi Yasunaga

978-3-540-45443-4

2001
Edition 1

€100
Data Warehousing and Knowledge Discovery

9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Il Yeol Song; Johann Eder; Tho Manh Nguyen

978-3-540-74553-2

2007
Edition 1

€100
Software Composition

8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Alexandre Bergel; Johan Fabry

978-3-642-02655-3

2009
Edition 1

€100
Artificial Neural Networks - ICANN 2008

18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings Part I

Jan Koutnik; Vera Kurkova-Pohlova; Roman Neruda

978-3-540-87536-9

2008
Edition 1

€260
Engineering Applications of Neural Networks

19th International Conference, EANN 2018, Bristol, UK, September 3-5, 2018, Proceedings

Elias Pimenidis; Chrisina Jayne

978-3-319-98204-5

2018
Edition 1

€100
Nutzerforschung mit Kindern

Effektive Durchführung von Forschungsarbeiten mit Teilnehmern im Alter von 3-16 Jahren

Thomas Visby Snitker

978-1-4842-9822-0

2023
Edition 1

€79
Security and Privacy in Ad-hoc and Sensor Networks

4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings

Frank Stajano; Catherine Meadows; Srdjan Capkun; Tyler Moore

978-3-540-73275-4

2007
Edition 1

€100
Data Warehousing and Knowledge Discovery

14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012, Proceedings

Alfredo Cuzzocrea; Umeshwar Dayal

978-3-642-32584-7

2012
Edition 1

€100
Conceptual Modeling

39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings

Gillian Dobbie; Ulrich Frank; Gerti Kappel; Stephen W. Liddle; Heinrich C. Mayr

978-3-030-62522-1

2020
Edition 1

€100
Data Warehousing and Knowledge Discovery

5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings

Yahiko Kambayashi; Mukesh Mohania; Wolfram Wöß

978-3-540-45228-7

2003
Edition 1

€100
Functional Imaging and Modeling of the Heart

5th International Conference, FIMH 2009 Nice, France, June 3-5, 2009 Proceedings

Nicholas Ayache; Hervé Delingette; Maxime Sermesant

978-3-642-01932-6

2009
Edition 1

€100
Tests and Proofs

Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Catherine Dubois

978-3-642-02949-3

2009
Edition 1

€100
CONCUR 2007 - Concurrency Theory

18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

Luís Caires; Vasco T. Vasconcelos

978-3-540-74407-8

2007
Edition 1

€100
Database and Expert Systems Applications

12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001 Proceedings

Heinrich C. Mayr; Jiri Lazansky; Gerald Quirchmayr; Pavel Vogel

978-3-540-44759-7

2001
Edition 1

€180
Computational Color Imaging

4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings

Shoji Tominaga; Raimondo Schettini; Alain Trémeau

978-3-642-36700-7

2013
Edition 1

€100
Reasoning Web - Semantic Technologies for Advanced Query Answering

8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings

Thomas Eiter; Thomas Krennwallner

978-3-642-33158-9

2012
Edition 1

€100
Model and Data Engineering

2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings

Alberto Abelló; Ladjel Bellatreche; Boualem Benatallah

978-3-642-33609-6

2012
Edition 1

€90
Algebraic Algorithms and Error-Correcting Codes

3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings

Jaques Calmet

978-3-540-39855-4

1986
Edition 1

€100
Logic Programming and Nonmonotonic Reasoning

14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Marcello Balduccini; Tomi Janhunen

978-3-319-61660-5

2017
Edition 1

€100
Software Fault Prevention, Verification, and Validation

First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Shaoying Liu

978-981-96-1621-3

2025
Edition 1

€114
Distributed Computing and Networking

11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings

Krishna Kant; Sriram V. Pemmaraju; Krishna M. Sivalingam; Jie Wu

978-3-642-11322-2

2010
Edition 1

€180
Deutsches Rechtswörterbuch

Wörterbuch der älteren deutschen Rechtssprache. Band XIV, Heft 3/4 - Stock – Subhypothek

Heidelberger Akademie der Wissenschaften

978-3-662-62595-8

2020
Edition 1

€187
Combinatorial Pattern Matching

13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings

Alberto Apostolico; Masayuki Takeda

978-3-540-45452-6

2002
Edition 1

€100
Digital Watermarking

6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007, Proceedings

Yun Q. Shi; Hyoung-Joong Kim; Stefan Katzenbeisser

978-3-540-92238-4

2008
Edition 1

€100
Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

José Luis Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten

978-3-540-31876-7

2005
Edition 1

€100
Information Management and Big Data

5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings

Juan Antonio Lossio-Ventura; Denisse Muñante; Hugo Alatrista-Salas

978-3-030-11680-4

2019
Edition 1

€100
Information Security and Cryptology - ICISC 2004

7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers

Choonsik Park; Seongtaek Chee

978-3-540-32083-8

2005
Edition 1

€180
Case-Based Reasoning Research and Development

20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012, Proceedings

Belén Díaz Agudo; Ian Watson

978-3-642-32986-9

2012
Edition 1

€100
Security, Privacy, and Applied Cryptography Engineering

9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Shivam Bhasin; Avi Mendelson; Mridul Nandi

978-3-030-35869-3

2019
Edition 1

€100
Computer Aided Verification

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Werner Damm; Holger Hermanns

978-3-540-73368-3

2007
Edition 1

€100
Trust, Privacy and Security in Digital Business

4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Costas Lambrinoudakis; Günther Pernul; A Min Tjoa

978-3-540-74409-2

2007
Edition 1

€100
Ritters 10x10 für Finanzdienstleister und Versicherungsvermittler

100 Fragen, 100 Antworten, 100 Bilder + 3 Zugaben für Ihren unternehmerischen Erfolg

Steffen Ritter

978-3-8349-4525-9

2012
Edition 2

€147
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50420-5

2020
Edition 1

€100
Constructive Side-Channel Analysis and Secure Design

14th International Workshop, COSADE 2023, Munich, Germany, April 3–4, 2023, Proceedings

Elif Bilge Kavun; Michael Pehl

978-3-031-29497-6

2023
Edition 1

€130
ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Jonathan P. Bowen; Michael G. Hinchey; David Till

978-3-540-68490-9

1997
Edition 1

€100
Electronic Goverment

6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Maria A. Wimmer; Jochen Scholl; Anke Grönlund

978-3-540-74444-3

2007
Edition 1

€100
Modular Functions of One Variable III

Proceedings International Summer School, University of Antwerp, RUCA, July 17 - August 3, 1972

Willem Kuyk; J.-P. Serre

978-3-540-37802-0

1973
Edition 1

€130
Advances in Grid and Pervasive Computing

First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings

Yeh-Ching Chung; José E. Moreira

978-3-540-33810-9

2006
Edition 1

€180
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50426-7

2020
Edition 1

€100
Foundations of Information and Knowledge Systems

8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Christoph Beierle; Carlo Meghini

978-3-319-04939-7

2014
Edition 1

€100
Neural Computing for Advanced Applications

First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings

Haijun Zhang; Zhao Zhang; Zhou Wu; Tianyong Hao

978-981-15-7670-6

2020
Edition 1

€100
Applications of Artificial Intelligence and Data Science

First Global Conference, AAIDS 2024, London, UK, April 3–5, 2024, Proceedings

Mufti Mahmud; Nelishia Pillay; M Shamim Kaiser

978-3-031-98498-3

2026
Edition 1

€150
Industrial Applications of Holonic and Multi-Agent Systems

7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings

Vladimír Mařík; Arnd Schirrmann; Damien Trentesaux; Pavel Vrba

978-3-319-22867-9

2015
Edition 1

€94
Security, Privacy, and Applied Cryptography Engineering

Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings

Andrey Bogdanov; Somitra Sanadhya

978-3-642-34416-9

2012
Edition 1

€90

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.