License single eBooks

Your results

View Cart

Developments in Risk-based Approaches to Safety

Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006

Felix Redmill; Safety-Critical Systems Club; Tom Anderson

978-1-84628-447-2

2006
Edition 1
€180
Logic and Argumentation

Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

Mehdi Dastani; Huimin Dong; Leon van der Torre

978-3-030-44638-3

2020
Edition 1
€100
Novae and Related Stars

Proceedings of an International Conference Held by the Institut D’Astrophysique, Paris, France, 7 to 9 September 1976

Yozo Yokota

978-94-010-1217-1

1977
Edition 1
€100
Information and Communication Security

Second International Conference, ICICS'99 Sydney, Australia, November 9-11, 1999 Proceedings

Vijay Varadharajan; Yi Mu

978-3-540-47942-0

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Swarm Intelligence

14th International Conference, ANTS 2024, Konstanz, Germany, October 9–11, 2024, Proceedings

Heiko Hamann; Marco Dorigo; Leslie Pérez Cáceres; Andreagiovanni Reina; Jonas Kuckling; Tanja Katharina Kaiser; Mohammad Soorati; Ken Hasselmann; Eduard Buss

978-3-031-70932-6

2024
Edition 1
€130
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
Biomedical Image Registration

Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings

Josien P.W. Pluim; Boštjan Likar; Frans A. Gerritsen

978-3-540-35649-3

2006
Edition 1
€100
Chirurgisches Forum ’96 fur experimentelle und klinische Forschung

113. Kongreß der Deutschen Gesellschaft für Chirurgie, Berlin, 9.–13. April 1996

D. Birk; H.G. Beger; Rudolf Pichlmayr; L. Staib; J. Seifert; W. Hartel

978-3-642-80138-9

1996
Edition 1
€201
Advanced Information Systems Engineering

22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings

Barbara Pernici

978-3-642-13094-6

2010
Edition 1
€180
Applied Informatics

Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings

Hector Florez; Marcelo Leon; Jose Maria Diaz-Nafria; Simone Belli

978-3-030-32475-9

2019
Edition 1
€100
Die Preise der deutschen wissenschaftlichen Zeitschriften und das Ausland

Nach einem am 9. November 1928 vor der Arbeitsgemeinschaft wissenschaftlicher Verleger gehaltenen Referat

Ferdinand Springer

978-3-662-31618-4

1928
Edition 1
€187
Web Engineering

23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings

Irene Garrigós; Juan Manuel Murillo Rodríguez; Manuel Wimmer

978-3-031-34444-2

2023
Edition 1
€150
Web Engineering

10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings

Boualem Benatallah; Fabio Casati; Gerti Kappel; Gustavo Rossi

978-3-642-13911-6

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€180
Big Data

12th CCF Conference, BigData 2024, Qingdao, China, August 9–11, 2024, Proceedings

Wenwu Zhu; Hui Xiong; Xiuzhen Cheng; Lizhen Cui; Zhicheng Dou; Junyu Dong; Shanchen Pang; Li Wang; Lanju Kong; Zhenxiang Chen

978-981-96-1024-2

2025
Edition 1
€160
Automata, Languages and Programming

34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings

Lars Arge; Christian Cachin; Tomasz Jurdzinski

978-3-540-73420-8

2007
Edition 1
€180
Instability and Transition

Materials of the workshop held May 15–June 9, 1989 in Hampton, Virginia Volume 2

M.Y. Hussaini; Robert G. Voigt

978-1-4612-3432-6

1990
Edition 1
€180
Advanced Information Systems Engineering

18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings

Eric Dubois; Klaus Pohl

978-3-540-34653-1

2006
Edition 1
€180
Distributed Computing and Internet Technology

10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014, Proceedings

Raja Natarajan

978-3-319-04483-5

2014
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up to date results
€100
Progress in Cryptology – AFRICACRYPT 2019

11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Johannes Buchmann; Abderrahmane Nitaj; Tajjeeddine Rachidi

978-3-030-23696-0

2019
Edition 1
€100
Information Security Practice and Experience

20th International Conference, ISPEC 2025, Chengdu, China, November 7–9, 2025, Proceedings

Hu Xiong; Lu Zhou; Mohammed Atiquzzaman

978-981-95-9284-5

2026
Edition 1
€146

Not published yet

Available from
2026-05-13
Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Alberto Sangiovanni-Vincentelli; Joseph Sifakis

978-3-540-45828-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Product Focused Software Process Improvement

4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings

Markku Oivo; Seija Komi-Sirviö

978-3-540-36209-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Algorithms and Data Structures

17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings

Anna Lubiw; Mohammad Salavatipour; Meng He

978-3-030-83508-8

2021
Edition 1
€180
Machine Learning and Data Mining in Pattern Recognition

4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings

Petra Perner; Atsushi Imiya

978-3-540-31891-0

2005
Edition 1
€180
Hearing — Physiological Bases and Psychophysics

Proceedings of the 6th International Symposium on Hearing, Bad Nauheim, Germany, April 5–9, 1983

R. Klinke; R. Hartmann

978-3-642-69257-4

1983
Edition 1
€180
ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Jonathan P. Bowen; Michael G. Hinchey

978-3-540-44782-5

1995
Edition 1
€180
Foundations of Information and Knowledge Systems

7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings

Thomas Lukasiewicz; Attila Sali

978-3-642-28472-4

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Bioinformatics Research and Applications

19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9–12, 2023, Proceedings

Xuan Guo; Serghei Mangul; Murray Patterson; Alexander Zelikovsky

978-981-99-7074-2

2023
Edition 1
€180
Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Graham Hutton

978-3-030-33636-3

2019
Edition 1
€100
Independent Component Analysis and Signal Separation

7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings

Mike E. Davies; Christopher C. James; Samer A. Abdallah; Mark D. Plumbley

978-3-540-74494-8

2007
Edition 1
€180
Cavitation and Inhomogeneities in Underwater Acoustics

Proceedings of the First International Conference, Göttingen, Fed. Rep. of Germany, July 9–11, 1979

W. Lauterborn

978-3-642-51070-0

1980
Edition 1
€100
Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin; Igor Siveroni

978-3-540-31971-9

2005
Edition 1
€100
Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Anne E. Haxthausen; Wendelin Serwe

978-3-031-68150-9

2024
Edition 1
€130
Applications and Techniques in Information Security

9th International Conference, ATIS 2018, Nanning, China, November 9–11, 2018, Proceedings

Qingfeng Chen; Jia Wu; Shichao Zhang; Changan Yuan; Lynn Batten; Gang Li

978-981-13-2907-4

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

6th International Conference, DIMVA 2009, Milan, Italy, July 9-10, 2009. Proceedings

Ulrich Flegel; Danilo Bruschi

978-3-642-02918-9

2009
Edition 1
€100
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
Software Process Improvement

12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings

Ita Richardson; Pekka Abrahamsson; Richard Messnarz

978-3-540-32271-9

2005
Edition 1
€100
Logic Programming and Nonmonotonic Reasoning

16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings

Georg Gottlob; Daniela Inclezan; Marco Maratea

978-3-031-15707-3

2022
Edition 1
€146
Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Guido Governatori; Giovanni Sartor

978-3-642-14183-6

2010
Edition 1
€100
Making Systems Safer

Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Chris Dale; Tom Anderson

978-1-84996-086-1

2010
Edition 1
- The papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience.
- Includes both recent developments in the field and discussion of open issues that will shape future progress.
€280
Software Process Improvement and Capability Determination

16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

Paul M. Clarke; Rory V. O'Connor; Terry Rout; Alec Dorling

978-3-319-38980-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Arithmetic of Finite Fields

Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings

Joachim von zur Gathen; José Luis Imana; Cetin Kaya Koc

978-3-540-69499-1

2008
Edition 1
€100
Games and Learning Alliance

9th International Conference, GALA 2020, Laval, France, December 9–10, 2020, Proceedings

Iza Marfisi-Schottman; Francesco Bellotti; Ludovic Hamon; Roland Klemke

978-3-030-63464-3

2020
Edition 1
€170
Formal Aspects of Component Software

20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

Diego Marmsoler; Meng Sun

978-3-031-71261-6

2024
Edition 1
€110
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing

7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings

Ning Zhong; Setsuo Ohsuga

978-3-540-48061-7

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Active Media Technology

7th International Conference, AMT 2011, Lanzhou, China, September 7-9, 2011. Proceedings

Ning Zhong; Vic Callaghan; Ali A. Ghorbani; Bin Hu

978-3-642-23620-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Compiler Construction

5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings

Peter A. Fritzson

978-3-540-48371-7

1994
Edition 1
€100
Artificial Immune Systems

8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings

Paul S. Andrews; Jon Timmis; Nick D. L. Owens; Uwe Aickelin; Emma Hart; Andrew Hone; Andy Tyrrell

978-3-642-03246-2

2009
Edition 1
€100
Medical Data Analysis

Second International Symposium, ISMDA 2001, Madrid, Spain, October 8-9, 2001 Proceedings

Jose Crespo; Victor Maojo; Fernando Martin

978-3-540-45497-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Generative and Component-Based Software Engineering

Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings

Jan Bosch

978-3-540-44800-6

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100

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.