License single eBooks

Your results

View Cart

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez; Jean-Francois Raskin

978-3-319-11936-6

2014
Edition 1

€100
Rotifer Symposium VI

Proceedings of the Sixth International Rotifer Symposium, held in Banyoles, Spain, June 3–8, 1991

John Gilbert; E. Lubzens; M.R. Miracle

978-94-011-1606-0

1993
Edition 1

€578
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
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
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
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
IUTAM Symposium on Physics and Mechanics of Sea Ice

Proceedings of the IUTAM Symposium held at Aalto University, Espoo, Finland, 3-9 June 2019

Jukka Tuhkuri; Arttu Polojärvi

978-3-030-80439-8

2022
Edition 1

€438
Combinatorial Pattern Matching

23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings

Juha Kärkkäinen; Jens Stoye

978-3-642-31265-6

2012
Edition 1

€100
Web and Wireless Geographical Information Systems

10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011, Proceedings

Katsushi Tanaka; Peter Fröhlich; Kyoung-Sook Kim

978-3-642-19173-2

2011
Edition 1

€100
Advances in Computer Entertainment

9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012, Proceedings

Anton Nijholt; Teresa Romão; Dennis Reidsma

978-3-642-34292-9

2012
Edition 1

€100
Gravity, Geoid and Space Missions

GGSM 2004. IAG International Symposium. Porto, Portugal. August 30 - September 3, 2004

Christopher Jekeli; Luisa M.C. Bastos; Joana Fernandes

978-3-540-26932-8

2005
Edition 1

€400
Nonlinear Dynamics: Materials, Theory and Experiments

Selected Lectures, 3rd Dynamics Days South America, Valparaiso 3-7 November 2014

Mustapha Tlidi; Marcel. G. Clerc

978-3-319-24871-4

2016
Edition 1

€280
PRICAI 2012: Trends in Artificial Intelligence

12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings

Patricia Anthony; Mitsuru Ishizuka; Dickson Lukose

978-3-642-32695-0

2012
Edition 1

€100
Simulation, Modeling, and Programming for Autonomous Robots

First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings

Stefano Carpin; Itsuki Noda; Enrico Pagello; Monica Reggiani

978-3-540-89076-8

2008
Edition 1

€100
Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

Pierre Wolper

978-3-540-49413-3

1995
Edition 1

€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

€100
Complex Networks & Their Applications XIII

Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 3

Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol

978-3-031-82435-7

2025
Edition 1

€539
Unconventional Computation and Natural Computation

11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose; Natasa Jonoska

978-3-642-32894-7

2012
Edition 1

€90
Applied Reconfigurable Computing

13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Stephan Wong; Antonio Carlos Beck; Koen Bertels; Luigi Carro

978-3-319-56258-2

2017
Edition 1

€100
Berichte zur Resistenzmonitoringstudie 2008

Resistenzsituation bei klinisch wichtigen tierpathogenen Bakterien Berichte gemäß § 77 Abs. 3 AMG

Saskia Dombrowski

978-3-0348-0423-3

2012
Edition 1

€93
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
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
Health and Social Care Systems of the Future: Demographic Changes, Digital Age and Human Factors

Proceedings of the Healthcare Ergonomics and Patient Safety, HEPS, 3-5 July, 2019 Lisbon, Portugal

Teresa Patrone Cotrim; Florentino Serranheira; Paulo Sousa; Sue Hignett; Sara Albolino; Riccardo Tartaglia

978-3-030-24067-7

2019
Edition 1

€400
Advanced Information Networking and Applications

Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3

Leonard Barolli; Farookh Hussain; Tomoya Enokido

978-3-030-99619-2

2022
Edition 1

€538
Intelligent Transport Systems, From Research and Development to the Market Uptake

4th EAI International Conference, INTSYS 2020, Virtual Event, December 3, 2020, Proceedings

Ana Lúcia Martins; João C. Ferreira; Alexander Kocian; Vera Costa

978-3-030-71454-3

2021
Edition 1

€100
Logic and the Foundations of Game and Decision Theory - LOFT 8

8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Giacomo Bonanno; Benedikt Löwe; Wiebe van der Hoek

978-3-642-15164-4

2010
Edition 1

€100
Geschäftsprozeßanalyse mit Ereignisgesteuerten Prozeßketten

Grundlagen des Business Reengineering für SAP R/3 und andere Betriebswirtschaftliche Standardsoftware

Josef Staud

978-3-662-07470-1

1999
Edition 1

€187
Distributed Computing

15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings

Jennifer L. Welch

978-3-540-45414-4

2001
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
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
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
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
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

€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
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
Advanced Information Systems Engineering

31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

Paolo Giorgini; Barbara Weber

978-3-030-21290-2

2019
Edition 1

€180
Scalable Uncertainty Management

12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Davide Ciucci; Gabriella Pasi; Barbara Vantaggi

978-3-030-00461-3

2018
Edition 1

€100
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
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
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
Network-Based Information Systems

First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Tomoya Enokido; Leonhard Barolli; Makoto Takizawa

978-3-540-74573-0

2007
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
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
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

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.