License single eBooks

Your results

View Cart

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Sharon Shoham; Yakir Vizel

978-3-031-13185-1

2022
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Advances in Databases and Information Systems

Second East European Symposium, ADBIS '98, Poznan, Poland, September 7-10, 1998, Proceedings

Witold Litwin; Tadeusz Morzy; Gottfried Vossen

978-3-540-68309-4

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Aarti Gupta; Sharad Malik

978-3-540-70545-1

2008
Edition 1
€180
Software Architecture

9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Danny Weyns; Raffaela Mirandola; Ivica Crnkovic

978-3-319-23727-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€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
- Fast Track conference proceeding
- Unique visibility
- State of the art research
€100
Stabilization, Safety, and Security of Distributed Systems

11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

Rachid Guerraoui; Franck Petit

978-3-642-05118-0

2009
Edition 1
€180
Soft Computing in Data Science

6th International Conference, SCDS 2021, Virtual Event, November 2–3, 2021, Proceedings

Azlinah Mohamed; Bee Wah Yap; Jasni Mohamad Zain; Michael W. Berry

978-981-16-7334-4

2021
Edition 1
€180
Computational Science and Its Applications - ICCSA 2014

14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

Beniamino Murgante; Sanjay Misra; Ana Maria Alves Coutinho Rocha; Carmelo Torre; Jorge Gustavo Rocha; Maria Irene Falcão; David Taniar; Bernady O. Apduhan; Osvaldo Gervasi

978-3-319-09144-0

2014
Edition 1
€180
Bioinformatics Research and Applications

15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings

Zhipeng Cai; Pavel Skums; Min Li

978-3-030-20242-2

2019
Edition 1
€100
Electronic Government and the Information Systems Perspective

Third International Conference, EGOVIS 2014, Munich, Germany, September 1-3, 2014. Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-10178-1

2014
Edition 1
€100
Computational Intelligence. Theory and Applications

International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings

Bernd Reusch

978-3-540-45493-9

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Algebra and Coalgebra in Computer Science

5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Reiko Heckel; Stefan Milius

978-3-642-40206-7

2013
Edition 1
- Fast-track conference proceeding of CALCO 2013
€100
Algorithms for Computational Biology

First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings

Adrian-Horia Dediu; Carlos Martín-Vide; Bianca Truthe

978-3-319-07953-0

2014
Edition 1
€94
Discrete Geometry for Computer Imagery

7th International Workshop, DGCI '97, Montpellier, France, December 3-5, 1997, Proceedings

Ehoud Ahronovitz; Christophe Fiorio

978-3-540-69660-5

1997
Edition 1
€180
Artificial Intelligence: Towards Sustainable Intelligence

Third International Conference, AI4S 2025, Dayton, USA, October 2–3, 2025, Proceedings

Sanju Tiwari; Fernando Ortiz-Rodríguez; Ashutosh Shivakumar; Cogan Shimizu

978-3-032-20447-9

2026
Edition 1
€220

Not published yet

Available from
2026-05-28
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
- Umfassender Bericht über Antibiotikaresistenzen bei klinisch wichtigen tierpathogenen Bakterien
- Eine Publikation des Bundesamtes für Verbraucherschutz und Lebensmittelsicherheit (BVL)
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
€93
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
Theory and Practice of Natural Computing

Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings

Adrian-Horia Dediu; Carlos Martín-Vide; Bianca Truthe; Miguel A. Vega-Rodríguez

978-3-642-45008-2

2013
Edition 1
- Up-to-date results
- State-of-the-art research
- Fast-track conference proceedings
€90
Network and Operating System Support for Digital Audio and Video

4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings

Doug Shepherd; Gordon Blair; Geoff Coulson; Nigel Davies; Francisco Garcia

978-3-540-48779-1

1994
Edition 1
€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
Intelligent Computing Methodologies

10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

De-Shuang Huang; Kang-Hyun Jo; Ling Wang

978-3-319-09339-0

2014
Edition 1
€100
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
- Fast track conference proceedings
- Unique visibility
- State of the art research
€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
Digital Economy. Emerging Technologies and Business Innovation

Third International Conference, ICDEc 2018, Brest, France, May 3-5, 2018, Proceedings

Mohamed Anis Bach Tobji; Rim Jallouli; Yamen Koubaa; Anton Nijholt

978-3-319-97749-2

2018
Edition 1
€130
Complex Networks & Their Applications XII

Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2023, Volume 3

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

978-3-031-53472-0

2024
Edition 1
- Presents the latest research in Complex Networks and their Applications
- Gathers the edited proceedings of the Twelfth International Workshop on Complex Networks & their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€419
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
- High quality selected papers Unique visibility State of the art research
€100
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
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 36th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€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
Developments in Language Theory

11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings

Tero Harju; Juhani Karhumäki; Arto Lepistö

978-3-540-73208-2

2007
Edition 1
€100
Reversible Computation

17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings

Robert Glück; Robin Kaarsgaard

978-3-031-97063-4

2025
Edition 1
€130
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
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
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
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
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
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
Computational Science and Its Applications – ICCSA 2017

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Giuseppe Borruso; Carmelo M. Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Elena Stankova; Alfredo Cuzzocrea

978-3-319-62401-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€90
Computational Science – ICCS 2020

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

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-50417-5

2020
Edition 1
€100
Advanced Information Networking and Applications

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

Leonard Barolli

978-3-031-57870-0

2024
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 38th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€439
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection

13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings

Yves Demazeau; Keith S. Decker; Javier Bajo Pérez; Fernando de la Prieta

978-3-319-18944-4

2015
Edition 1
€100
Energy Efficiency in Motor Systems

Proceedings of the 12th International Conference EEMODS’22, 3-5 May 2022, Stuttgart, Germany

Peter Radgen; Paolo Bertoldi

978-3-031-65479-4

2024
Edition 1
- Presents the most up-to-date scientific, market, and policy review on the status of energy efficiency in motor systems
- Provides a selection of case studies on national policies and programmes to improve energy efficiency in motor systems
- Discusses cutting-edge research and innovation in electric motor driven systems
€559
Electronic Government and the Information Systems Perspective

7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-98349-3

2018
Edition 1
€100
Ubiquitous Communications and Network Computing

First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings

Navin Kumar; Arpita Thakre

978-3-319-73423-1

2018
Edition 1
- Includes supplementary material: sn.pub/extras
€100
MILK the vital force

POSTERS Presented at the XXII International Dairy Congress, The Hague, September 29 – October 3, 1986

International Dairy Federation

978-94-009-3733-8

1986
Edition 1
€180
Multidisciplinary Social Networks Research

12th International Conference, MISNC 2025, Oviedo, Spain, September 3–5, 2025, Proceedings

Vicente Garcia Diaz; I-Hsien Ting; Kai Wang

978-3-032-09945-7

2026
Edition 1
€140
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
Genetic Programming

16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Krzysztof Krawiec; Alberto Moraglio; Ting Hu; A. Sima Etaner-Uyar; Bin Hu

978-3-642-37207-0

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
€90
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

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.