License single eBooks

Your results

View Cart

Model-Based Safety and Assessment

8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

Christel Seguin; Marc Zeller; Tatiana Prosvirnova

978-3-031-15842-1

2022
Edition 1
€110
Real-Time Networks and Systems

33rd International Conference, RTNS 2025, Pisa, Italy, November 5–7, 2025, Proceedings

Angeliki Kritikakou; Florian Brandner

978-3-032-17628-8

2026
Edition 1
€160

Not published yet

Available from
2026-06-24
Machine Learning: ECML 2001

12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings

Luc de Raedt; Peter Flach

978-3-540-44795-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Cooperative Information Systems

9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings

Carlo Batini; Fausto Giunchiglia; Paolo Giorgini; Massimo Mecella

978-3-540-44751-1

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

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Werner Damm; Holger Hermanns

978-3-540-73368-3

2007
Edition 1
€100
Trust, Privacy and Security in Digital Business

4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Costas Lambrinoudakis; Günther Pernul; A Min Tjoa

978-3-540-74409-2

2007
Edition 1
€100
Exploring Services Science

4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013, Proceedings

João Falcão e Cunha; Mehdi Snene; Henriqueta Nóvoa

978-3-642-36356-6

2013
Edition 1
- Fast track proceedings
€100
A Practical Programming Model for the Multi-Core Era

International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings

Barbara Chapman; Weimin Zheng; Guang R. Gao; Mitsuhisa Sato; Eduard Ayguadé; Dongsheng Wang

978-3-540-69303-1

2008
Edition 1
€100
Advances in Turbulence XII

Proceedings of the 12th EUROMECH European Turbulence Conference, September 7-10, 2009, Marburg, Germany

Bruno Eckhardt

978-3-642-03085-7

2009
Edition 1
- Proceedings of the conference Advances in Turbulence XII
- Provide useful information to researchers and graduate students
- Includes supplementary material: sn.pub/extras
€578
Image Analysis and Processing — ICIAP 2015

18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part II

Vittorio Murino; Enrico Puppo

978-3-319-23234-8

2015
Edition 1
€100
Multimedia and Signal Processing

Second International Conference, CMSP 2012, Shanghai, China, December 7-9, 2012, Proceedings

Fu Lee Wang; Jingsheng Lei; Rynson W.H. Lau; Jingxin Zhang

978-3-642-35286-7

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the art report
€100
Business Process Management

12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings

Shazia Sadiq; Pnina Soffer; Hagen Völzer

978-3-319-10172-9

2014
Edition 1
€100
Brain Informatics

International Conference, BI 2018, Arlington, TX, USA, December 7–9, 2018, Proceedings

Shouyi Wang; Vicky Yamamoto; Jianzhong Su; Yang Yang; Erick Jones; Leon Iasemidis; Tom Mitchell

978-3-030-05587-5

2018
Edition 1
€100
Combinatorial Pattern Matching

17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings

Moshe Lewenstein; Gabriel Valiente

978-3-540-35461-1

2006
Edition 1
€100
Secure IT Systems

29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings

Leonardo Horn Iwaya; Liina Kamm; Leonardo Martucci; Tobias Pulls

978-3-031-79007-2

2025
Edition 1
€160
Detection of Intrusions and Malware, and Vulnerability Assessment

14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings

Michalis Polychronakis; Michael Meier

978-3-319-60876-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Agile Processes in Software Engineering and Extreme Programming

14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings

Hubert Baumeister; Barbara Weber

978-3-642-38314-4

2013
Edition 1
- Proceedings of the 14th International Conference on Agile Software Development
€90
e-Learning, e-Education, and Online Training

4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings

Shuai Liu; Matt Glowatz; Marco Zappatore; Honghao Gao; Bing Jia; Alberto Bucciero

978-3-319-93719-9

2018
Edition 1
€100
Image Processing and Vision Engineering

5th International Conference, IMPROVE 2025, Porto, Portugal, April 7–8, 2025, Proceedings

Cosimo Distante; Sebastiano Battiato

978-3-032-01169-5

2026
Edition 1
€150
Deutsches Rechtswörterbuch

Wörterbuch der älteren deutschen Rechtssprache. Band XIV, Heft 7/8 - taugbar – Toppschilling

Heidelberger Akademie der Wissenschaften

978-3-662-66996-9

2023
Edition 1
- Das Großwörterbuch zur deutschen historischen Rechtssprache
- Alle Fachtermini des Rechts, ebenso Wörter der Allgemeinsprache
- Bisher über 100.000 Wortartikel von A-S
€327
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedings

Marcelo Mendoza; Sergio Velastín

978-3-319-75193-1

2018
Edition 1
€100
Collaboration and Technology

20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014, Proceedings

Nelson Baloian; Frada Burstein; Hiroaki Ogata; Flavia Santoro; Gustavo Zurita

978-3-319-10166-8

2014
Edition 1
€100
Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Nathalie Bertrand; Luca Bortolussi

978-3-319-66335-7

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Holomorphic Dynamical Systems

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 7-12, 2008

Nessim Sibony; Graziano Gentili; Dierk Schleicher; Giorgio Patrizio; Dinh Tien Cuong; Jacques Guenot; Marco Brunella; Eric Bedford; Marco Abate

978-3-642-13171-4

2010
Edition 1
- This title includes contributions by six well known reserchers in different topics of the ample subject
- The contributions are as much self-contained as possible
- The volume provides a fascinating introduction to many key problems of the current research
- Includes supplementary material: sn.pub/extras
€100
Persuasive Technology

5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings

Thomas Ploug; Per Hasle; Harri Oinas-Kukkonen

978-3-642-13226-1

2010
Edition 1
€100
Games and Learning Alliance

5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings

Rosa Bottino; Johan Jeuring; Remco C. Veltkamp

978-3-319-50182-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings

Maribel Fernández

978-3-030-68446-4

2021
Edition 1
€150
Algorithmic Number Theory

4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings

Wieb Bosma

978-3-540-44994-2

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Advances in Automation VII

Proceedings of the International Russian Automation Conference, RusAutoCon2025, September 7–13, 2025, Sochi, Russia

Andrey A. Radionov; Vadim R. Gasiyarov

978-3-032-14742-4

2026
Edition 1
- Reports on novel systems for automatic control
- Covers applications in power engineering and transportation
- Describes cutting-edge intelligent control and monitoring systems
€559
Nuclear Spectroscopy

Lecture Notes of the Workshop Held at Gull Lake, Michigan August 27–September 7, 1979

G.F. Bertsch; D. Kurath

978-3-540-39193-7

1980
Edition 1
€100
Achieving Systems Safety

Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Chris Dale; Tom Anderson

978-1-4471-2494-8

2012
Edition 1
- Contains the papers presented at the twentieth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2012
- 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: Vulnerabilities in Global Navigation Satellite Systems; Safety Culture and Community; Transport Safety; Cyber-attacks on Safety-critical Systems; Improving our Approach to Systems Safety; Accidents: Assessment, Validation and Testing; Safety Standards and Safety Levels
€280
Computational Science and Its Applications – ICCSA 2022

22nd International Conference, Malaga, Spain, July 4–7, 2022, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Eligius M. T. Hendrix; David Taniar; Bernady O. Apduhan

978-3-031-10450-3

2022
Edition 1
€240
Web Reasoning and Rule Systems

First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings

Massimo Marchiori; Jeff Z. Pan; Christian de Sainte Marie

978-3-540-72982-2

2007
Edition 1
€100
Grundkurs Betriebswirtschaftslehre

Eine kompakte Einführung in 7 Kapiteln für praktisch tätige Ingenieure, Informatiker und Mathematiker

Notger Carl; Rudolf Fiedler; William Jórasz; Manfred Kiesel

978-3-322-93954-8

2001
Edition 1
- Karrierebaustein BWL für Ingenieure
€449
Artificial Intelligence: Methodology, Systems, and Applications

17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings

Christo Dichev; Gennady Agre

978-3-319-44748-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Wireless Sensor Networks

19th CCF Conference, CWSN 2025, Hangzhou, China, September 6–7, 2025, Proceedings

Limin Sun; Xinwei Yao

978-981-95-9615-7

2026
Edition 1
€180

Not published yet

Available from
2026-06-28
Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Pierpaolo Degano; Roberto Gorrieri; Alberto Marchetti-Spaccamela

978-3-540-69194-5

1997
Edition 1
€180
AI 2012: Advances in Artificial Intelligence

25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings

Michael Thielscher; Dongmo Zhang

978-3-642-35101-3

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Mobile Social Signal Processing

First International Workshop, MSSP 2010, Lisbon, Portugal, September 7, 2010, Invited Papers

Roderick Murray-Smith

978-3-642-54325-8

2014
Edition 1
€90
Neutron Radiography

Proceedings of the First World Conference San Diego, California, U.S.A. December 7–10, 1981

John P. Barton; Peter von der Hardt

978-94-009-7043-4

1983
Edition 1
€154
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky

24th International Conference, AIED 2023, Tokyo, Japan, July 3–7, 2023, Proceedings

Ning Wang; Genaro Rebolledo-Mendez; Vania Dimitrova; Noboru Matsuda; Olga C. Santos

978-3-031-36336-8

2023
Edition 1
€240
Algebraic and Geometrical Methods in Topology

Conference on Topological Methods in Algebraic Topology, Suny, Binghamton, USA, Oct. 3-7, 1973

L.F. McAuley

978-3-540-37300-1

1974
Edition 1
€74
Advances in Service-Oriented and Cloud Computing

Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

Alexander Lazovik; Stefan Schulte

978-3-319-72125-5

2018
Edition 1
€100
Software Engineering Education

SEI Conference 1992, San Diego, California, USA, October 5-7, 1992. Proceedings

Carol Sledge

978-3-540-47330-5

1992
Edition 1
€100
Computational Science and Its Applications - ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42111-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€170
Parallel Computing Technologies

6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings

Victor Malyshkin

978-3-540-44743-6

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Architecture of Computing Systems

34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings

Christian Hochberger; Lars Bauer; Thilo Pionteck

978-3-030-81682-7

2021
Edition 1
€100
Towards Autonomous Robotic Systems

23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings

Salvador Pacheco-Gutierrez; Alice Cryer; Ipek Caliskanelli; Harun Tugal; Robert Skilton

978-3-031-15908-4

2022
Edition 1
€130
Autonomic and Trusted Computing

6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

Juan González Nieto; Guojun Wang; Wolfgang Reif; Jadwiga Indulska

978-3-642-02704-8

2009
Edition 1
€100
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97564-6

2025
Edition 1
€180

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.