License single eBooks

Your results

View Cart

Spatial Data and Intelligence

First International Conference, SpatialDI 2020, Virtual Event, May 8–9, 2020, Proceedings

Xiaofeng Meng; Xing Xie; Yang Yue; Zhiming Ding

978-3-030-69873-7

2021
Edition 1
€100
Detection of Intrusions and Malware, and Vulnerability Assessment

Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings

Klaus Julisch; Christopher Kruegel

978-3-540-31645-9

2005
Edition 1
€100
Simulation Tools and Techniques

11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Houbing Song; Dingde Jiang

978-3-030-32216-8

2019
Edition 1
€100
Principles and Practice of Constraint Programming

20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Barry O'Sullivan

978-3-319-10428-7

2014
Edition 1
€180
Cladocera: the Biology of Model Organisms

Proceedings of the Fourth International Symposium on Cladocera, held in Postojna, Slovenia, 8–15 August 1996

A. Brancelj; L. De Meester; P. Spaak

978-94-011-4964-8

1997
Edition 1
€100
Approximation and Online Algorithms

21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings

Jarosław Byrka; Andreas Wiese

978-3-031-49815-2

2023
Edition 1
€130
GI — 20. Jahrestagung II

Informatik auf dem Weg zum Anwender Stuttgart, 8.–12. Oktober 1990 Proceedings

Andreas Reuter

978-3-642-76119-5

1990
Edition 1
€201
Audio- and Video-Based Biometric Person Authentication

Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001. Proceedings

Josef Bigun; Fabrizio Smeraldi

978-3-540-45344-4

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Bioinformatics Research and Applications

14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Fa Zhang; Zhipeng Cai; Pavel Skums; Shihua Zhang

978-3-319-94968-0

2018
Edition 1
€100
Biomedical Image Registration

6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014, Proceedings

Sebastien Ourselin; Marc Modat

978-3-319-08554-8

2014
Edition 1
€94
Advanced Information Systems Engineering

10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings

Barbara Pernici; Constantino Thanos

978-3-540-69434-2

1998
Edition 1
€100
Interaction and Player Research in Game Development

4th International Workshop, WIPlay 2025, Belo Horizonte, Brazil, September 8, 2025, Proceedings

Ticianne Darin; Kamila Rios; Georgia Cruz; Leonardo Tórtoro; Diego Ricca

978-3-032-01426-9

2026
Edition 1
€150
Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Xavier Rival

978-3-662-53413-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Business Modeling and Software Design

10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings

Boris Shishkov

978-3-030-52306-0

2020
Edition 1
€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part VII

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59728-3

2020
Edition 1
€180
Mathematical Optimization Theory and Operations Research

22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Proceedings

Michael Khachay; Yury Kochetov; Anton Eremeev; Oleg Khamisov; Vladimir Mazalov; Panos Pardalos

978-3-031-35305-5

2023
Edition 1
€160
Computer Science – CACIC 2018

24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Patricia Pesado; Claudio Aciti

978-3-030-20787-8

2019
Edition 1
€100
Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Emanuele De Angelis; Wim Vanhoof

978-3-030-98869-2

2022
Edition 1
€110
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
Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Yuting Chen; Hiroyuki Okamura; Shaoying Liu

978-981-95-6032-5

2026
Edition 1
€130
Simulation, Modeling, and Programming for Autonomous Robots

Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings

Itsuki Noda; Noriako Ando; Davide Brugali; James J. Kuffner

978-3-642-34327-8

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Parallel Computing Technologies

4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings

Victor Malyshkin

978-3-540-69525-7

1997
Edition 1
€100
Advances in Automation VI

Proceedings of the International Russian Automation Conference, RusAutoCon2024, September 8–14, 2024, Sochi, Russia

Andrey A. Radionov; Vadim R. Gasiyarov

978-3-031-82494-4

2025
Edition 1
- Reports on novel systems for automatic control
- Covers applications of machine learning in trasportation and other industries
- Describes cutting-edge intelligent control and monitoring systems
€459
LATIN 2020: Theoretical Informatics

14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings

Yoshiharu Kohayakawa; Flávio Keidi Miyazawa

978-3-030-61792-9

2020
Edition 1
€180
Algorithm Theory - SWAT 2004

9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings

Torben Hagerup; Jyrki Katajainen

978-3-540-27810-8

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€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
Agile Processes in Software Engineering and Extreme Programming – Workshops

XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers

Maria Paasivaara; Philippe Kruchten

978-3-030-58858-8

2020
Edition 1
Open Access
Approximation Algorithms for Combinatorial Optimization

Third International Workshop, APPROX 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings

Klaus Jansen; Samir Khuller

978-3-540-44436-7

2000
Edition 1
€100
Analytical and Stochastic Modeling Techniques and Applications

20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings

Alexander Dudin; Koen De Turck

978-3-642-39408-9

2013
Edition 1
- Proceedings of the 20th International Conference on Analytical and Stochastic Modeling and Applications
€100
Cooperative Information Agents V

5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings

Matthias Klusch; Franco Zambonelli

978-3-540-44799-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Evolvable Systems: From Biology to Hardware

9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings

Gianluca Tempesti; Andy Tyrrell; Julian F. Miller

978-3-642-15323-5

2010
Edition 1
€100
Model Checking Software

31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

Gidon Ernst; Kristin Yvonne Rozier

978-3-032-06847-7

2026
Edition 1
€90
Advances in Systems Safety

Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Chris Dale; Tom Anderson

978-0-85729-133-2

2011
Edition 1
- This volume offers a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience.
- Includes papers in the following areas: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards.
€280
Algorithms and Computation

22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings

Takao Asano; Shin-ichi Nakano; Yoshio Okamoto; Osamu Watanabe

978-3-642-25591-5

2011
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Algorithms and Architectures for Parallel Processing

9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings

Arrems Hua; Shih-Liang Chang

978-3-642-03095-6

2009
Edition 1
€180
Algorithmic Learning Theory

8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings

Ming Li; Akira Maruoka

978-3-540-69602-5

1997
Edition 1
€100
Ad-Hoc, Mobile, and Wireless Networks

4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings

Violet R. Syrotiuk; Edgar Chávez

978-3-540-32086-9

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

18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings

Peter J. Stuckey

978-3-030-78230-6

2021
Edition 1
€100
Service Oriented Computing

9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings

Gerti Kappel; Zakaria Maamar; Hamid R. Motahari-Nezhad

978-3-642-25535-9

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
Perspectives in Business Informatics Research

10th International Conference, BIR 2011, Riga, Latvia, October 6-8, 2011, Proceedings

Janis Grabis; Marite Kirikova

978-3-642-24511-4

2011
Edition 1
€100
Structural Information and Communication Complexity

14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings

Giuseppe Prencipe; Shmuel Zaks

978-3-540-72951-8

2007
Edition 1
€100
Praktische Energiebedarfsforschung

Basis realistischer Energiestrategien VDI/VDE/GFPE-Tagung in Schliersee am 7./8. Mai 1981

Helmut Schaefer

978-3-642-81695-6

1981
Edition 1
€201
Big Data

11th CCF Conference, BigData 2023, Nanjing, China, September 8–10, 2023, Proceedings

Enhong Chen; Yang Gao; Longbing Cao; Fu Xiao; Yiping Cui; Rong Gu; Li Wang; Laizhong Cui; Wanqi Yang

978-981-99-8979-9

2023
Edition 1
€150
Computer Analysis of Images and Patterns

11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings

André Gagalowicz; Wilfried Philips

978-3-540-32011-1

2005
Edition 1
€180
Computer Vision – ECCV 2018

15th European Conference, Munich, Germany, September 8–14, 2018, Proceedings, Part VI

Vittorio Ferrari; Martial Hebert; Cristian Sminchisescu; Yair Weiss

978-3-030-01231-1

2018
Edition 1
€100
Somatosensory Mechanisms

Proceedings of an International Symposium held at The Wenner-Gren Center, Stockholm, June 8–10, 1983

Curt Von Euler; Ove Franzen; Ulf Lindblom; David Ottoson

978-1-4613-2807-0

1984
Edition 1
€100
Computer Performance Engineering

14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Philipp Reinecke; Antinisca Di Marco

978-3-319-66583-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Image Analysis and Recognition

6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009, Proceedings

Mohamed Kamel; Aurelio Campilho

978-3-642-02611-9

2009
Edition 1
€180
Holznahrung und Symbiose

Vortrag Gehalten auf dem X. Internationalen Zoologentag zu Budapest am 8. September 1927

Paul Buchner

978-3-642-91441-6

1928
Edition 1
€155

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.