License single eBooks

Your results

View Cart

Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue; Pedro Merino

978-3-540-79707-4

2008
Edition 1
€100
Applications of Self-Adjoint Extensions in Quantum Physics

Proceedings of a Conference Held at the Laboratory of Theoretical Physics, JINR, Dubna, USSR, September 29–October 1, 1987

Pavel Exner; Petr Seba

978-3-540-46104-3

1989
Edition 1
€100
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXXIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-80136-5

2025
Edition 1
€300
Symmetries and Semiclassical Features of Nuclear Dynamics

Invited Lectures of the 1986 International Summer School Held at Poiana Brasov, Romania, September 1-13, 1986

A.A. Raduta

978-3-540-47112-7

1987
Edition 1
€160
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXVI

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78395-1

2025
Edition 1
€146
Financial Cryptography and Data Security

FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers

Andrew A. Adams; Michael Brenner; Matthew Smith

978-3-642-41320-9

2013
Edition 1
- Proceedings of the workshops held at the 17th International Conference on Financial Cryptology and Data Security, FC 2013: - Workshop on Usable Security, USEC 2013 -Third Workshop on Applied Homomorphic Cryptography, WAHC 2013
€90
Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Antonio Cerone

978-3-031-43678-9

2023
Edition 1
- Valuable for students, researchers, and practitioners
- Lecturers are known experts in the field
- Contributions show application of formal methods in diverse fields
€419
The Science and Technology of Superconductivity

Proceedings of a summer course held August 13–26, 1971, at Georgetown University, Washington, D. C. Volume 1

W. Gregory

978-1-4684-2997-8

1973
Edition 1
€180
The Semantic Web: ESWC 2017 Satellite Events

ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers

Eva Blomqvist; Katja Hose; Heiko Paulheim; Agnieszka Ławrynowicz; Fabio Ciravegna; Olaf Hartig

978-3-319-70407-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€130
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part X

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78192-6

2025
Edition 1
€146
Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part IV

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12290-2

2026
Edition 1
€146
Mössbauer Effect Methodology

Volume 1: Proceedings of the First Symposium on Mössbauer Effect Methodology New York City, January 26, 1965

Irwin J. Gruverman

978-1-4757-1541-5

1965
Edition 1
€100
Multidimensional Signal Processing: Methods and Applications

Proceedings of the Fifth International Conference on 3D Imaging Technologies—Multidimensional Signal Processing and Deep Learning, Volume 1

Roumen Kountchev; Srikanta Patnaik; Yingkai Liu; Roumiana Kountcheva

978-981-97-5181-5

2024
Edition 1
- Features the outcomes of 3DDIT 2023, held in Kunming, China, during December 2023
- Presents high-quality research in the field of 3D imaging technology
- Serves as a reference resource for researchers and practitioners in academia and industry
€439
Medien und Ökonomie

Band 1/2: Grundlagen der Medienökonomie: Soziologie, Kultur, Politik, Philosophie, International, Geschichte, Technik, Journalistik

Klaus-Dieter Altmeppen; Matthias Karmasin

978-3-322-80395-5

2003
Edition 1
- Einführendes Lehrbuch in die Medienökonomie
€295
The Semantic Web

20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings

Catia Pesquita; Ernesto Jimenez-Ruiz; Jamie McCusker; Daniel Faria; Mauro Dragoni; Anastasia Dimou; Raphael Troncy; Sven Hertling

978-3-031-33455-9

2023
Edition 1
€200
Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski; Hans-Jörg Kreowski

978-3-642-28412-0

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78198-8

2025
Edition 1
€146
Algorithms and Data Structures

8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings

Frank Dehne; Jörg Rüdiger Sack; Michiel Smid

978-3-540-45078-8

2003
Edition 1
€100
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)

Hartmut Ehrig; Robert Kowalski; Giorgio Levi; Ugo Montanari

978-3-540-47746-4

1987
Edition 1
€70
Collaboration and Technology

19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings

Pedro Antunes; Marco Aurélio Gerosa; Allan Sylvester; Julita Vassileva; Gert-Jan de Vreede

978-3-642-41347-6

2013
Edition 1
- Fast-track conference proceedings of CRIWG 2013
€100
Evolutionary Multi-Criterion Optimization

8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

António Gaspar-Cunha; Carlos Henggeler Antunes; Carlos Coello Coello

978-3-319-15934-8

2015
Edition 1
€100
Schrödinger Operators

Proceedings of the Nordic Summer School in Mathematics Held at Sandbjerg Slot, Sønderborg, Denmark, August 1–12, 1988

Helge Holden; Arne Jensen

978-3-540-46807-3

1989
Edition 1
€180
Advances in Information and Computer Security

12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017, Proceedings

Satoshi Obana; Koji Chida

978-3-319-64200-0

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

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part VII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78183-4

2025
Edition 1
€146
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXXI

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78119-3

2025
Edition 1
€260
Innovation and Emerging Trends in Computing and Information Technologies

First International Conference, IETCIT 2024, Mohali, Punjab, India, March 1–2, 2024, Proceedings, Part I

Manisha Malhotra

978-3-031-80839-5

2025
Edition 1
€220
Communication and Architectural Support for Network-Based Parallel Computing

First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings

Dhabaleswar K. Panda; Craig B. Stunkel

978-3-540-68085-7

1997
Edition 1
€100
Dynamics of Information Systems

8th International Conference, DIS 2025, London, UK, June 1–5, 2025, Revised Selected Papers

Hossein Moosaei; Roman Belavkin; Panos M. Pardalos

978-3-032-16469-8

2026
Edition 1
€146
Chinese Computational Linguistics

19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings

Maosong Sun; Sujian Li; Yue Zhang; Yang Liu; Shizhu He; Gaoqi Rao

978-3-030-63031-7

2020
Edition 1
€100
Water Structure at the Water-Polymer Interface

Proceedings of a Symposium held on March 30 and April 1, 1971, at the 161st National Meeting of the American Chemical Society

H. Jellinek

978-1-4615-8681-4

1972
Edition 1
€100
Systems, Software and Services Process Improvement

30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part I

Murat Yilmaz; Paul Clarke; Andreas Riel; Richard Messnarz

978-3-031-42307-9

2023
Edition 1
€180
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part VI

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78172-8

2025
Edition 1
€146
Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part III

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12296-4

2026
Edition 1
€146
Twelfth International Seaweed Symposium

Proceedings of the Twelfth International Seaweed Symposium held in Sao Paulo, Brazil, July 27–August 1, 1986

Mark A. Ragan; Carolyn J. Bird

978-94-009-4057-4

1987
Edition 1
€154
Towards the Automatization of Cranial Implant Design in Cranioplasty II

Second Challenge, AutoImplant 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, Proceedings

Jianning Li; Jan Egger

978-3-030-92652-6

2021
Edition 1
€110
Applied Economic Research and Trends

2023 International Conference on Applied Economics (ICOAE), Brno, Czech Republic, June 29-July 1, 2023

Nicholas Tsounis; Aspasia Vlachvei

978-3-031-49105-4

2024
Edition 1
- Offers advanced methods and applications in economic research
- Examines applied microeconomics, macroeconomics, financial economics, agricultural economics, and health economics
- Features country specific studies with economic policy conclusions
€438
ICTs for Improving Patients Rehabilitation Research Techniques

Third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised Selected Papers

Habib M. Fardoun; Victor M. R. Penichet; Daniyal M. Alghazzawi; M. Elena De la Guia

978-3-319-69694-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Neural Networks - ISNN 2005

Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I

Jun Wang; Xiaofeng Liao; Zhang Yi

978-3-540-32065-4

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Mathematical Finance - Bachelier Congress 2000

Selected Papers from the First World Congress of the Bachelier Finance Society, Paris, June 29-July 1, 2000

Helyette Geman; Dilip Madan; Stanley R. Pliska; Ton Vorst

978-3-662-12429-1

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Models in Software Engineering

Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Thomas Kühne

978-3-540-69489-2

2007
Edition 1
€100
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78347-0

2025
Edition 1
€114
Methods in Mathematical Logic

Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983

Carlos A. Di Prisco

978-3-540-39414-3

1985
Edition 1
€94
Image Analysis and Recognition

International Conference ICIAR 2004, Porto, Portugal, September 29 - October 1, 2004, Proceedings, Part II

Aurélio Campilho; Mohamed Kamel

978-3-540-30126-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Computing Particle Properties

Proceedings of the 36. Internationale Universitätswochen für Kern- und Teilchenphysik, Schladming, Austria, March 1–8, 1997

Helmut Gausterer; Christian B. Lang

978-3-540-69183-9

1998
Edition 1
- The contributions to this book are meant as an introduction to modern research for graduate students
€100
The Practice of Enterprise Modeling

16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings

João Paulo A. Almeida; Monika Kaczmarek-Heß; Agnes Koschmider; Henderik A. Proper

978-3-031-48583-1

2024
Edition 1
€120
Fracture Phenomena in Nature and Technology

Proceedings of the IUTAM Symposium on Fracture Phenomena in Nature and Technology held in Brescia, Italy, 1-5 July 2012

Davide Bigoni; Angelo Carini; Massimiliano Gei; Alberto Salvadori

978-3-319-04397-5

2014
Edition 1
- Cutting-edge contributions in fracture research keep the reader up to date
- Accomplished scientists address crucial issues on fracturephenomena in nature and technology
- Questions that need to be answered in a broad class of engineering and structural mechanics areas are posed
- Includes supplementary material: sn.pub/extras
€180
Organisation und Betrieb von DV-Versorgungssystemen

Vorträge der 11. Gl-Fachtagung über Rechenzentren am 30. November und 1. Dezember 1995 in Göttingen

Dieter Wall;

978-3-663-14575-2

1995
Edition 1
€201
Forthcoming Networks and Sustainability in the IoT Era

First EAI International Conference, FoNeS – IoT 2020, Virtual Event, October 1-2, 2020, Proceedings

Enver Ever; Fadi Al-Turjman

978-3-030-69431-9

2021
Edition 1
€100
Elemente der theoretischen Physik

Band 1, Klassische Mechanik und Spezielle Relativitätstheorie Eine Einführung für das Lehramts- und Bachelorstudium

Franz Embacher

978-3-8348-9782-4

2010
Edition 1
- Der kompakte Einsteigerkurs für Bachelor und für das Lehramt
€273
Pattern Recognition and Computer Vision

4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part I

Huimin Ma; Liang Wang; Changshui Zhang; Fei Wu; Tieniu Tan; Yaonan Wang; Jianhuang Lai; Yao Zhao

978-3-030-88004-0

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