License single eBooks

Your results

View Cart

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
€280 €252
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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 €90
10% OFF
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
The Semantic Web

16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Pascal Hitzler; Miriam Fernández; Krzysztof Janowicz; Amrapali Zaveri; Alasdair J.G. Gray; Vanessa Lopez; Armin Haller; Karl Hammar

978-3-030-21348-0

2019
Edition 1
€180 €162
10% OFF
Service Assurance with Partial and Intermittent Resources

First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings

Petre Dini; Pascal Lorenz; José Neuman De Souza

978-3-540-27767-5

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Edge Computing and IoT: Systems, Management and Security

First EAI International Conference, ICECI 2020, Virtual Event, November 6, 2020, Proceedings

Hongbo Jiang; Hongyi Wu; Fanzi Zeng

978-3-030-73429-9

2021
Edition 1
€100 €90
10% OFF
Coordination Models and Languages

10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

Doug Lea; Gianluigi Zavattaro

978-3-540-68265-3

2008
Edition 1
€100 €90
10% OFF
Advances in Quantitative Ethnography

Third International Conference, ICQE 2021, Virtual Event, November 6–11, 2021, Proceedings

Barbara Wasson; Szilvia Zörgő

978-3-030-93859-8

2022
Edition 1
€180 €162
10% OFF
Computer Vision -- ECCV 2014

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

David Fleet; Tomas Pajdla; Bernt Schiele; Tinne Tuytelaars

978-3-319-10602-1

2014
Edition 1
€100 €90
10% OFF
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 €162
10% OFF
Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Nicolas Halbwachs; Doron Peled

978-3-540-48683-1

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Contemporary Computing

5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings

Manish Parashar; Dinesh Kaushik; Omer F. Rana; Ravi Samtaney; Yuanyuan Yang; Albert Y. Zomaya

978-3-642-32129-0

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Algorithmic Number Theory

First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings

Leonard M. Adleman; Ming-Deh Huang

978-3-540-49044-9

1994
Edition 1
€100 €90
10% OFF
Acanthaster and the Coral Reef: A Theoretical Perspective

Proceedings of a Workshop held at the Australian Institute of Marine Science, Townsville, Aug. 6–7, 1988

Roger H. Bradbury

978-3-642-46726-4

1990
Edition 1
€100 €90
10% OFF
Decision and Game Theory for Security

Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012, Proceedings

Jens Grossklags; Jean Walrand

978-3-642-34266-0

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art reserach
€100 €90
10% OFF
Parallel and Distributed Processing and Applications

4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings

Minyi Guo; Laurence T. Yang; Beniamino Di Martino; Hans Zima; Jack Dongarra; Feilong Tang

978-3-540-68070-3

2006
Edition 1
€180 €162
10% OFF
Computer Safety, Reliability, and Security

41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings

Mario Trapp; Francesca Saglietti; Marc Spisländer; Friedemann Bitsch

978-3-031-14835-4

2022
Edition 1
€130 €117
10% OFF
The Semantic Web

Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2008. Proceedings

Yong-jiang Yu; Ying Ding

978-3-642-10871-6

2009
Edition 1
€100 €90
10% OFF
Model Driven Engineering Languages and Systems

9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Oscar Nierstrasz; Jon Whittle; David Harel; Gianna Reggio

978-3-540-45773-2

2006
Edition 1
€180 €162
10% OFF
Engineering Secure Software and Systems

First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings

Fabio MASSACCI; Samuel Redwine; Nicola Zannone

978-3-642-00199-4

2009
Edition 1
€100 €90
10% OFF
Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar; Jim Woodcock

978-3-540-87873-5

2008
Edition 1
€100 €90
10% OFF
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 €99
10% OFF
Safety-Critical Systems: The Convergence of High Tech and Human Factors

Proceedings of the Fourth Safety-critical Systems Symposium Leeds, UK 6–8 February 1996

Felix Redmill; Tom Anderson

978-1-4471-1480-2

1996
Edition 1
€180 €162
10% OFF
Computer Vision -- ECCV 2014

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

David Fleet; Tomas Pajdla; Bernt Schiele; Tinne Tuytelaars

978-3-319-10599-4

2014
Edition 1
€100 €90
10% OFF
Business Process Management

17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Thomas Hildebrandt; Boudewijn F. van Dongen; Maximilian Röglinger; Jan Mendling

978-3-030-26619-6

2019
Edition 1
€100 €90
10% OFF
Logical Foundations of Computer Science

4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

Sergei Adian; Anil Nerode

978-3-540-69065-8

1997
Edition 1
€100 €90
10% OFF
Computational Social Networks

4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings

My T. Thai; Nam P. Nguyen; Huawei Shen

978-3-319-21786-4

2015
Edition 1
€100 €90
10% OFF
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Simon Collart-Dutilleul; Thierry Lecomte; Alexander Romanovsky

978-3-030-18744-6

2019
Edition 1
€114 €103
10% OFF
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 €90
10% OFF
Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Xinyu Feng; Markus Müller-Olm; Zijiang Yang

978-3-319-99933-3

2018
Edition 1
€100 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
Information and Software Technologies

24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Robertas Damaševičius; Giedrė Vasiljevienė

978-3-319-99972-2

2018
Edition 1
€100 €90
10% OFF
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
€220 €198
10% OFF
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 €90
10% OFF
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 €198
10% OFF
Engineering Secure Software and Systems

7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings

Frank Piessens; Juan Caballero; Nataliia Bielova

978-3-319-15618-7

2015
Edition 1
€100 €90
10% OFF
Advances in Case-Based Reasoning

5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 Proceedings

Enrico Blanzieri; Luigi Portinale

978-3-540-44527-2

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100 €90
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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 €90
10% OFF
Approximation and Online Algorithms

22nd International Workshop, WAOA 2024, Egham, UK, September 5–6, 2024, Proceedings

Marcin Bieńkowski; Matthias Englert

978-3-031-81396-2

2025
Edition 1
€130 €117
10% OFF
Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Alexandre Madeira; Alexander Knapp

978-3-031-77382-2

2025
Edition 1
€140 €126
10% OFF
The Semantic Web

18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings

Ruben Verborgh; Katja Hose; Heiko Paulheim; Pierre-Antoine Champin; Maria Maleshkova; Oscar Corcho; Petar Ristoski; Mehwish Alam

978-3-030-77385-4

2021
Edition 1
€180 €162
10% OFF
Nonlinear Dynamics of Electronic Systems

22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

Valeri M. Mladenov; Plamen Ch. Ivanov

978-3-319-08672-9

2014
Edition 1
€100 €90
10% OFF
Discrete and Computational Geometry

Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers

Jin Akiyama; Mikio Kano

978-3-540-44400-8

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Mark D. Aagaard; John W. O'Leary

978-3-540-36126-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Parallel Computing Technologies

18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6–10, 2025, Proceedings

Victor Malyshkin

978-3-032-06751-7

2026
Edition 1
€160 €144
10% OFF
The Human Society and the Internet: Internet Related Socio-Economic Issues

First International Conference, Human.Society.Internet 2001, Seoul, Korea, July 4-6 2001. Proceedings

Won Kim; Tok-Wang Ling; Yoon-Joon Lee; Seung-Soo Park

978-3-540-47749-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF

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.