License single eBooks

Your results

View Cart

Technology and Assessment of Safety-Critical Systems

Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

Felix Redmill; Tom Anderson

978-1-4471-2082-7

1994
Edition 1
€100
Frontiers in Algorithmics

12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

Jianer Chen; Pinyan Lu

978-3-319-78455-7

2018
Edition 1
€100
Hybrid Metaheuristics

4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings

Thomas Bartz-Beielstein; Maria J. Blesa; Christian Blum; Boris Naujoks; Andrea Roli; Günther Rudolph; Michael Sampels

978-3-540-75514-2

2007
Edition 1
€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
Algorithmic Learning Theory

25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Peter Auer; Alexander Clark; Thomas Zeugmann; Sandra Zilles

978-3-319-11662-4

2014
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
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
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
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
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
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
Advances in Mobile Computing and Multimedia Intelligence

23rd International Conference, MoMM 2025, Matsue, Japan, December 8–10, 2025, Proceedings

Pari Delir Haghighi; Gabriele Kotsis; Toshiyuki Amagasa; Akiyo Nadamoto; Ismail Khalil

978-3-032-11768-7

2026
Edition 1
€114
Secure IT Systems

22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings

Helger Lipmaa; Aikaterini Mitrokotsa; Raimundas Matulevičius

978-3-319-70290-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Algorithmic Aspects in Information and Management

Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings

Ming-Yang Kao; Xiang-Yang Li

978-3-540-72870-2

2007
Edition 1
€100
Intelligent Information Systems

CAiSE 2026 Forum and Doctoral Consortium, Verona, Italy, June 8–12, 2026, Proceedings

Francesca Zerbato; Jelena Zdravkovic; Luise Pufahl; Geert Poels; Marite Kirikova

978-3-032-27997-2

2026
Edition 1
€130

Not published yet

Available from
2026-06-23
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
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
E-Voting and Identity

Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009, Proceedings

Peter Y. A. Ryan; Berry Schoenmakers

978-3-642-04135-8

2009
Edition 1
€100
Integer Programming and Combinatorial Optimization

21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings

Daniel Bienstock; Giacomo Zambelli

978-3-030-45771-6

2020
Edition 1
€130
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
Automata, Languages and Programming

28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Fernando Orejas; Paul G. Spirakis; Jan van Leeuwen

978-3-540-48224-6

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
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
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
Advanced Information Networking and Applications

Proceedings of the 40th International Conference on Advanced Information Networking and Applications (AINA-2026), Volume 8

Leonard Barolli; Winston K. G. Seah; Isaac Woungang

978-3-032-23347-9

2026
Edition 1
- Presents recent research in information networking and applications
- Gathers the proceedings of the 40th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€459

Not published yet

Available from
2026-05-10
Business Process Management Workshops

BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

Fabiana Fournier; Jan Mendling

978-3-319-15895-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
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
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
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
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
Information Security Practice and Experience

10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014, Proceedings

Xinyi Huang; Jianying Zhou

978-3-319-06320-1

2014
Edition 1
€100
Evolutionary Multi-Criterion Optimization

4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings

Shigeru Obayashi; Kalyanmoy Deb; Carlo Poloni; Tomoyuki Hiroyasu; Tadahiko Murata

978-3-540-70928-2

2007
Edition 1
€280
Algebraic Methodology and Software Technology

7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings

Armando M. Haeberer

978-3-540-49253-5

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Future Generation Information Technology

Third International Conference, FGIT 2011, Jeju Island, December 8-10, 2011. Proceedings

Tai-hoon Kim; Hojjat Adeli; Dominik Slezak; Frode Eika Sandnes; Xiaofeng Song; Kyo-il Chung; Kirk P. Arnett

978-3-642-27142-7

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Computer Vision – ECCV 2018

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

Vittorio Ferrari; Martial Hebert; Cristian Sminchisescu; Yair Weiss

978-3-030-01264-9

2018
Edition 1
€180
Entertainment Computing - ICEC 2010

9th International Conference, ICEC 2010, Seoul, Korea, September 8-11, 2010. Proceedings

Hyun Seung Yang; Rainer Malaka; Junichi Hoshino; Jung Hyun Han

978-3-642-15399-0

2010
Edition 1
- Unique visibility
- State-of-the-art survey
- Fast-track conference proceedings
€180
Telematics and Computing

10th International Congress, WITCOM 2021, Virtual Event, November 8–12, 2021, Proceedings

Miguel Félix Mata-Rivera; Roberto Zagal-Flores

978-3-030-89586-0

2021
Edition 1
€150
Advanced Information Systems Engineering

21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009, Proceedings

Pascal van Eck; Jaap Gordijn; Roel J. Wieringa

978-3-642-02144-2

2009
Edition 1
€100
Knowledge Engineering and Semantic Web

8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings

Przemysław Różewski; Christoph Lange

978-3-319-69548-8

2017
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.