License single eBooks

Your results

View Cart

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue

978-3-642-25271-6

2012
Edition 1
- High-quality selected papers
- State-of-the-art research
- Unique visibility
€100
The Magnetospheres of the Earth and Jupiter

Proceedings of the Neil Brice Memorial Symposium, Held in Frascati, May 28–June 1, 1974

V. Formisano

978-94-010-1789-3

1975
Edition 1
€100
IUTAM Symposium on Micromechanics of Plasticity and Damage of Multiphase Materials

Proceedings of the IUTAM Symposium held in Sèvres, Paris, France, 29 August – 1 September 1995

André Pineau; André Zaoui

978-94-009-1756-9

1996
Edition 1
€400
Computer Assisted Assessment -- Research into E-Assessment

International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings

Marco Kalz; Eric Ras

978-3-319-08657-6

2014
Edition 1
€100
Cometary Science after Hale-Bopp

Volume 1 Proceedings of IAU Colloquium 186 21–25 January 2002, Tenerife, Spain

Hermann Böhnhardt; Michael Combi; Mark R. Kidger; Rita Schulz

978-94-017-1086-2

2003
Edition 1
€280
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Ábrahám; Marieke Huisman

978-3-319-33693-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€160
X-Ray Astronomy

Proceedings of the NATO Advanced Study Institute held at Erice, Sicily, July 1–14, 1979

G. Giacconi; G. Setti

978-94-009-9088-3

1980
Edition 1
€100
Applied Algebra, Algorithmics and Error-Correcting Codes

2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings

Alain Poli

978-3-540-38813-5

1986
Edition 1
€100
Intelligent Systems, Blockchain, and Communication Technologies

Selected Papers From the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom24) - Volume 1

Ahmed Abdelgawad; Akhtar Jamil; Alaa Ali Hameed

978-3-031-82377-0

2025
Edition 1
- Presents recent research in Intelligent Systems, Blockchain, and Communication Technologies
- Proceedings of the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom24)
- Written by expert in the field
€320
Untersuchungen am stabilisierten elektrischen Lichtbogen (Wälzbogen) in Stickstoff und Kohlensäure bei Drücken von 1 bis 40 at

Rudolf Foitzik

978-3-662-29545-8

1940
Edition 1
€187
Interface for an App—The design rationale leading to an app that allows someone with Type 1 diabetes to self-manage their condition

Bob Spence

978-3-031-02233-3

2021
Edition 1
€66
Proceedings of the 5th International Conference on Big Data Analytics for Cyber-Physical System in Smart City—Volume 1

BDCPS 2023, December 28–29, Fuyang, China

Mohammed Atiquzzaman; Neil Yen; Zheng Xu

978-981-96-0208-7

2025
Edition 1
- Includes papers presented at the BDCPS 2023 conference
- Covers the latest advances made in the field of machine learning and big data analytics methods
- Offers a valuable resource for all researchers and professionals interested in big data
€539
XXIX Brazilian Congress on Biomedical Engineering - Volume 1: Biomedical Robotics, Rehabilitation, Biomechanics, and Biomedical Signal Processing

Proceedings of CBEB 2024, September 2-6, 2024, Ribeirão Preto-SP, Brazil

Alcimar Barbosa Soares; George Cunha Cardoso; Renata Ferranti Leoni

978-3-031-93646-3

2025
Edition 1
- Covers advances in biomechanics for medical applications
- Reports on low-cost assistive devices and robotic rehabilitation
- First volume of a 3-volume set
€479
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations

A Monograph Based on Articles of the Founding Authors, Reproduced in Full

Radomir Stankovic; Paul Leo Butzer; ; William R. Wade; Weiyi Su; Yasushi Endow; Sandor Fridli; Boris I. Golubov; Franz Pichler

978-94-6239-160-4

2015
Edition 1
- A unique development of a field by seven founding authors, together with reproductions of some of their basic papers
- Applications to dyadic differential equations, approximation theory, etc.
- Reviews of former and recent results help the reader to get a fast introduction and a rather complete coverage of the area. A separate chapter with open problems should be useful for further research in the field
- Includes supplementary material: sn.pub/extras
€100
Proceedings of the 7th Asia Pacific Conference on Manufacturing Systems and 6th International Manufacturing Engineering Conference—Volume 1

iMEC-APCOMS 2024, Melaka, Malaysia

Siti Nadiah Mohd Saffe; Siti Zubaidah Ismail; Cucuk Nur Rosyidi; Mohammad Osman Tokhi

978-981-96-4353-0

2025
Edition 1
- Presents selected papers from the iMEC-APCOMS 2024 in manufacturing engineering and other related topics
- Includes papers written by leading experts covering advances in global manufacturing systems and technology
- Provides an overview of sustainable development goals through innovative manufacturing engineering
€380
Emerging ICT for Bridging the Future - Proceedings of the 49th Annual Convention of the Computer Society of India (CSI) Volume 1

Suresh Chandra Satapathy; A. Govardhan; K. Srujan Raju; J. K. Mandal

978-3-319-13728-5

2015
Edition 1
- Latest research on ICT and critical infrastructure
- Results of the 49th Annual Convention of the Computer Society of India, held 11-15 Dec 2014 in Hyderabad, India
- Written by experts in the field
€400
Proceedings of the 4th International Conference on Big Data Analytics for Cyber-Physical System in Smart City - Volume 1

BDCPS 2022, December 16-17, Bangkok, Thailand

Mohammed Atiquzzaman; Neil Yen; Zheng Xu

978-981-99-0880-6

2023
Edition 1
- Includes papers presented at the BDCPS 2022 conference
- Covers the latest advances made in the field of machine learning and big data analytics methods
- Offers a valuable resource for all researchers and professionals interested in big data
€638
Die Maschinenzölle in den wichtigsten Kulturstaaten der Welt nach dem Stande vom 1. Januar 1908

978-3-642-92011-0

1908
Edition 1
€201
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Michael Butler; Sylvain Conchon; Fatiha Zaïdi

978-3-319-25423-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Artificial Intelligence and Soft Computing

11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II

Leszek Rutkowski; Marcin Korytkowski; Rafał Scherer; Ryszard Tadeusiewicz; Lotfi Zadeh; Jacek Zurada

978-3-642-29350-4

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Information Security and Cryptology

7th International Conference, Inscrypt 2011, Beijing, China, November 30 -- December 3, 2011. Revised Selected Papers

Chuan-Kun Wu; Moti Yung; Dongdai Lin

978-3-642-34704-7

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Local Area Network Security

Workshop LANSEC '89. European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3-6, 1989. Proceedings

Thomas A. Berson; Thomas Beth

978-3-540-46802-8

1989
Edition 1
€46
Computer Science - Theory and Applications

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings

Volker Diekert; Mikhail Volkov; Andrei Voronkov

978-3-540-74510-5

2007
Edition 1
€100
Digital-Forensics and Watermarking

11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected Papers

Yun Q. Shi; Fernando Pérez-González; Hyoung Joong Kim

978-3-642-40099-5

2013
Edition 1
- 11th International Workshop on Digital Forensics and Watermarking, IWDW 2012
€100
Electronic Participation

16th IFIP WG 8.5 International Conference, ePart 2024, Ghent, Belgium, September 3–5, 2024, Proceedings

Marius Rohde Johannessen; Csaba Csáki; Lieselot Danneels; Sara Hofmann; Thomas Lampoltshammer; Peter Parycek; Gerhard Schwabe; Efthimios Tambouris; Jolien Ubacht

978-3-031-70804-6

2024
Edition 1
€130
Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Kung-Kiu Lau; Timothy P. Clement

978-1-4471-3560-9

1993
Edition 1
€100
Neural Information Processing

13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46485-3

2006
Edition 1
€240
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 3: Die neuen Länder: Rückblick und Perspektiven

Jugendwerk der Deutschen Shell

978-3-322-95893-8

1992
Edition 1
€220
Benchmarking, Measuring, and Optimizing

15th BenchCouncil International Symposium, Bench 2023, Sanya, China, December 3–5, 2023, Revised Selected Papers

Sascha Hunold; Biwei Xie; Kai Shu

978-981-97-0316-6

2024
Edition 1
€110
Information Security and Privacy

22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part II

Josef Pieprzyk; Suriadi Suriadi

978-3-319-59870-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Electronic Participation

6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

Efthimios Tambouris; Ann Macintosh; Frank Edward Bannister

978-3-662-44914-1

2014
Edition 1
€80
Neural Information Processing

13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part II

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46482-2

2006
Edition 1
€240
Radiation Trapped in the Earth’s Magnetic Field

Proceedings of the Advanced Study Institute Held at the Chr. Michelsen Institute, Bergen, Norway August 16–September 3, 1965

Billy McCormac

978-94-010-3553-8

1966
Edition 1
€180
Information Retrieval Technology

10th Asia Information Retrieval Societies Conference, AIRS 2014, Kuching, Malaysia, December 3-5, 2014. Proceedings

Azizah Jaafar; Nazlena Mohamad Ali; Shahrul Azman Mohd Noah; Alan F. Smeaton; Peter Bruza; Zainab Abu Bakar; Nursuriati Jamil; Tengku Mohd Tengku Sembok

978-3-319-12844-3

2014
Edition 1
€100
Design and Analysis of Algorithms

First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings

Guy Even; Dror Rawitz

978-3-642-34862-4

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Computer Vision and Image Processing

8th International Conference, CVIP 2023, Jammu, India, November 3–5, 2023, Revised Selected Papers, Part I

Harkeerat Kaur; Vinit Jakhetiya; Puneet Goyal; Pritee Khanna; Balasubramanian Raman; Sanjeev Kumar

978-3-031-58181-6

2024
Edition 1
€180
Advances on Data Mining: Applications and Theoretical Aspects

11th Industrial Conference, ICDM 2011, New York, NY, USA, August 30 – September 3, 2011, Proceedings

Petra PErner

978-3-642-23184-1

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Advances in Cryptology -- ASIACRYPT 2006

12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings

Xuejia Lai; Kefei Chen

978-3-540-49476-8

2006
Edition 1
€100
Advances in Cryptology - ASIACRYPT 2000

6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000 Proceedings

Tatsuaki Okamoto

978-3-540-44448-0

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Recent Advances in Parallel Virtual Machine and Message Passing Interface

14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings

Franck Capello; Thomas Herault; Jack Dongarra

978-3-540-75416-9

2007
Edition 1
€100
Advances in Digital Forensics XVIII

18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers

Gilbert Peterson; Sujeet Shenoi

978-3-031-10078-9

2022
Edition 1
€180
Descriptional Complexity of Formal Systems

19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Giovanni Pighizzini; Cezar Câmpeanu

978-3-319-60252-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Manuel Serrano; Jurriaan Hage

978-3-319-39110-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€80
Electronic Participation

Fourth IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012, Proceedings

Efthimios Tambouris; Ann Macintosh; Øystein Sæbø

978-3-642-33250-0

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Syphilis und Innere Medizin

Die Syphilis des Zirkulations- und Respirationstraktes und der innersekretorischen Drüsen. Syphilis und Blutkrankheiten. Vol. 3

Hermann Schlesinger

978-3-7091-4701-6

1928
Edition 1
€294
Advances in Computational Intelligence Systems

Contributions Presented at The 24th UK Workshop on Computational Intelligence (UKCI 2025), September 3-5, 2025, Edinburgh, UK

Emma Hart; Tomas Horvath; Zhiyuan Tan; Sarah Thomson

978-3-032-07938-1

2026
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 24th UK Workshop on Computational Intelligence
€400
Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Rajeev Alur; Thomas Henzinger

978-3-540-68599-9

1996
Edition 1
€100
Enterprise Information Systems

21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers

Joaquim Filipe; Michał Śmiałek; Alexander Brodsky; Slimane Hammoudi

978-3-030-40783-4

2020
Edition 1
€100
Mobile as Mainstream - Towards Future Challenges in Mobile Learning

13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014. Proceedings

Marco Kalz; Yasemin Bayyurt; Marcus Specht

978-3-319-13416-1

2014
Edition 1
€100
Advances in Soft Computing. MICAI 2025 Posters Track

24th Mexican International Conference on Artificial Intelligence, MICAI 2025, Guanajuato, Mexico, November 3-7, 2025, Proceedings

Lourdes Martínez-Villaseñor; Roberto A. Vázquez; Gilberto Ochoa-Ruiz

978-3-032-08704-1

2025
Edition 1
€220

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.