License single eBooks

Your results

View Cart

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Ed Brinksma

978-3-540-68519-7

1997
Edition 1
€100
Stars and the Milky Way System

Volume 2 Proceedings of the First European Astronomical Meeting Athens, September 4–9, 1972

L. N. Mavridis

978-3-642-65666-8

1974
Edition 1
€180
Logics in Artificial Intelligence

European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

Manuel Ojeda-Aciego; Inma P. de Guzman; Gerhard Brewka; Luis M. Pereira

978-3-540-40006-6

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€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
Mediendidaktik

Band 2 ihre Einordnung in eine offen strukturierte Entscheidungstheorie des Lehrens und Lernens

Jörn Wittern

978-3-663-19529-0

1975
Edition 1
€201
Advances in Neural Computation, Machine Learning, and Cognitive Research

Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

Boris Kryzhanovsky; Witali Dunin-Barkowski; Vladimir Redko

978-3-319-66604-4

2018
Edition 1
- Includes selected papers from the XIX International Conference on Neuroinformatics, held on October 2–6, 2017, in Moscow, Russia
- Reports on both the theory and applications of artificial neural networks
- Presents topics ranging from advances in machine learning to evolutionary programming and neuroimaging/neurobiology
- Offers a multidisciplinary perspective on neuroinformatics
€280
Nuclear Dynamics: From Quarks to Nuclei

Proceedings of the XXth CFIF Fall Workshop, Lisbon, Portugal, October 31—November 2, 2002

M.T. Pena; A. Stadtler; A.M. Eiró; J. Adam

978-3-7091-6014-5

2003
Edition 1
€280
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Proceedings of FAIM 2022, June 19–23, 2022, Detroit, Michigan, USA, Volume 2

Kyoung-Yun Kim; Leslie Monplaisir; Jeremy Rickli

978-3-031-17629-6

2023
Edition 1
- Reports on innovative manufacturing processes, tools, systems, and technologies
- Highlights applications of machine learning and automation strategies in manufacturing
- Second volume of a 2-volume set
€679
Modeling Decisions for Artificial Intelligence

First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings

Vicenc Torra; Yasuo Narukawa

978-3-540-27774-3

2004
Edition 1
€100
Smart Medical, IoT & Artificial Intelligence

The 2nd International Conference on Smart Medical, IoT & Artificial Intelligence (ICSMAI'25), Volume 2

Kamal Ghoumid; Aissa Kerkour Elmiad; Mohamed Lazaar; Khalid Haddouch; Omar Elmazria

978-3-032-18897-7

2026
Edition 1
- Presents recent research on Smart Healthcare, IoT & Artificial Intelligence
- Proceedings of the International Conference on Smart Medical, IoT & Artificial Intelligence ICSMAI 2025
- Written by experts in the field
€400

Not published yet

Available from
2026-06-23
Computer Analysis of Images and Patterns

13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings

Xiaoyi Jiang; Nicolai Petkov

978-3-642-03767-2

2009
Edition 1
€280
Transport Transitions: Advancing Sustainable and Inclusive Mobility

Proceedings of the 10th TRA Conference, 2024, Dublin, Ireland - Volume 2: Sustainable Transport Development

Ciaran McNally; Páraic Carroll; Beatriz Martinez-Pastor; Bidisha Ghosh; Marina Efthymiou; Nikolaos Valantasis-Kanellos

978-3-031-85578-8

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
- Covers strategies for making urban and rural transport (more) sustainable
- Second volume of a 6-volume set
Open Access
Software and Compilers for Embedded Systems

8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers

978-3-540-30113-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computational Science and High Performance Computing

Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Egon Krause; Yurii I. Shokin; Nina Shokina

978-3-540-32376-1

2005
Edition 1
- Sound mathematical theory meets supercomputing
- Includes supplementary material: sn.pub/extras
€400
Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Samson Abramsky

978-3-540-45413-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Service-Oriented and Cloud Computing

Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Massimo Villari; Wolf Zimmermann; Kung-Kiu Lau

978-3-662-44879-3

2014
Edition 1
€100
Die Sterilisation geistig Behinderter

2. Einbecker Workshop der Deutschen Gesellschaft für Medizinrecht, 20.–21.Juni 1987

Günter Hiersche; Toni Graf-Baumann

978-3-642-83495-0

1988
Edition 1
€201
Bronchology: Research, Diagnostic, and Therapeutic Aspects

Proceedings of the Second World Congress for Bronchology, held at Düsseldorf, FRG, 2–4 June 1980

J.A. Nakhosteen; W. Maassen

978-94-009-8236-9

1981
Edition 1
€100
Ethnopharmacology and Drug Discovery for COVID-19: Anti-SARS-CoV-2 Agents from Herbal Medicines and Natural Products

Jen-Tsung Chen

978-981-99-3664-9

2023
Edition 1
- One of the pioneer collections on herbal medicines and therapies against coronavirus disease
- Covers strategies and approaches for discovering potential candidates for anti-SARS-CoV-2 drugs
- Includes discovering anti-SARS-CoV-2 compounds from plants, microorganisms and marine organisms
€280
Functional Characterization of Arabidopsis Phosphatidylinositol Monophosphate 5-kinase 2 in Lateral Root Development, Gravitropism and Salt Tolerance

Yu Mei

978-94-017-9373-5

2014
Edition 1
- Nominated as an outstanding Ph.D. thesis by Chinese Academy of Sciences, China
- Isolated Arabidopsis PIP5K2 and characterized its function and underlying mechanisms
- Shed light on the crosstalk between PI signaling and Auxin response
- Includes supplementary material: sn.pub/extras
€180
Emerging ICT for Bridging the Future - Proceedings of the 49th Annual Convention of the Computer Society of India CSI Volume 2

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

978-3-319-13731-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 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 2

BDCPS 2024, December 7–8, Ji'an, China

Mohammed Atiquzzaman; Neil Y. Yen; Zheng Xu

978-981-95-7622-7

2026
Edition 1
- Includes papers presented at the BDCPS 2024 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
€559

Not published yet

Available from
2026-06-27
Proceedings of the 5th International Conference on Big Data Analytics for Cyber-Physical System in Smart City—Volume 2

BDCPS 2023, December 28–29, Fuyang, China

Mohammed Atiquzzaman; Neil Yen; Zheng Xu

978-981-96-0211-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
€599
Proceedings of the 4th International Conference on Big Data Analytics for Cyber-Physical System in Smart City - Volume 2

BDCPS 2022, December 16–17, 2022, Bangkok, Thailand

Mohammed Atiquzzaman; Neil Yuwen Yen; Zheng Xu

978-981-99-1157-8

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
Proceedings of the 7th Asia Pacific Conference on Manufacturing Systems and 6th International Manufacturing Engineering Conference - Volume 2

iMEC-APCOMS 2024, Melaka, Malaysia

Mohamad Rusydi Mohamad Yasin; Zulhelmi Ismail; Cucuk Nur Rosyidi; Mohammad Osman Tokhi

978-981-96-5690-5

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
Ermittlung der Phasenzusammensetzung von Gemischen, in denen CaCO3, CaO oder Ca(OH)2 Hauptbestandteile sind

Paul Ney

978-3-663-07205-8

1967
Edition 1
€201
Die Staublungenerkrankungen Band II

Bericht über die 2. Internationale Staublungen-Tagung des Staatsinstitutes für Staublungenforschung und Gewerbehygiene beim Hygiene-Institut der Westfälischen Wilhelms-Universität Münster/Westf. vom 2. bis 4. Nov. 1953

Karl W. Jötten; Werner Klosterkötter; Gerhard Pfefferkorn

978-3-642-47695-2

1954
Edition 1
€201
Artificial Life and Computational Intelligence

Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings

Tapabrata Ray; Ruhul Sarker; Xiaodong Li

978-3-319-28270-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Information Processing in Cells and Tissues

9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings

Michael A. Lones; Stephen L. Smith; Sarah Teichmann; Felix Naef; Jonathan Oliver; Martin Albrecht Trefzer

978-3-642-28792-3

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Differential Geometric Methods in Mathematical Physics

Proceedings of an International Conference Held at the Technical University of Clausthal, FRG, August 30 - September 2, 1983

Heinz-Dietrich Doebner; Jörg-Dieter Hennig

978-3-540-39585-0

1985
Edition 1
€69
Subject-Oriented Business Process Management. Process Customer Satisfaction and Process Excellence

16th International Conference, S-BPM ONE 2025, Munich, Germany, July 2–3, 2025, Proceedings

Matthes Elstermann; Matthias Lederer

978-3-032-04944-5

2026
Edition 1
€150
Image and Signal Processing

6th International Conference, ICISP 2014, Cherbourg, France, June 20 -- July 2, 2014, Proceedings

Abderrahim Elmoataz; Olivier Lezoray; Fathallah Nouboud; Driss Mammass

978-3-319-07998-1

2014
Edition 1
€100
Computer Performance Evaluation. Modelling Techniques and Tools

13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings

Peter Kemper; William H. Sanders

978-3-540-45232-4

2003
Edition 1
€100
Lectures on Particle Physics, Astrophysics and Cosmology

Proceedings of the Third IDPASC School, Santiago de Compostela, Spain, January 21 -- February 2, 2013

Carlos Merino

978-3-319-12238-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€280
Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Bruno C. d. S. Oliveira

978-3-030-64437-6

2020
Edition 1
€100
Towards Autonomous Robotic Systems

12th Annual Conference, TAROS 2011, Sheffield, UK, August 31 -- September 2, 2011, Proceedings

Roderich Groß; Lyuba Alboul; Chris Melhuish; Mark Witkowski; Tony T. Prescott; Jacques Penders

978-3-642-23232-9

2011
Edition 1
- Fast track proceedings
- Unique visibility
- State of the art research
€100
Advances in Optimization and Control

Proceedings of the Conference “Optimization Days 86” Held at Montreal, Canada, April 30 – May 2, 1986

Horst A. Eiselt; Giorgio Pederzoli

978-3-642-46629-8

1988
Edition 1
€280
Intelligent Computing Theories and Application

12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

De-Shuang Huang; Vitoantonio Bevilacqua; Prashan Premaratne

978-3-319-42291-6

2016
Edition 1
€180
Systems, Software and Services Process Improvement

29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 – September 2, 2022, Proceedings

Murat Yilmaz; Paul Clarke; Richard Messnarz; Bruno Wöran

978-3-031-15559-8

2022
Edition 1
€240
Constructive Approaches for Security Analysis and Design of Embedded Systems

First International Conference, CASCADE 2025, Saint-Etienne, France, April 2–4, 2025, Proceedings

Matthieu Rivain; Pascal Sasdrich

978-3-032-01405-4

2026
Edition 1
€146
Security and Cryptography for Networks

10th International Conference, SCN 2016, Amalfi, Italy, August 31 – September 2, 2016, Proceedings

Vassilis Zikas; Roberto De Prisco

978-3-319-44618-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Software Product Lines

Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings

Robert L. Nord

978-3-540-28630-1

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€160
Frontiers in Algorithmics

10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

Daming Zhu; Sergey Bereg

978-3-319-39817-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Reform der Unternehmensbesteuerung

Erfordernisse und Lösungswege. 2. Merton-Lesung an der Johann Wolfgang Goethe-Universität Frankfurt am Main

Kurt Schmidt; P.Bernd Spahn

978-3-642-93332-5

1986
Edition 1
€201
Body Area Networks: Smart IoT and Big Data for Intelligent Health Management

14th EAI International Conference, BODYNETS 2019, Florence, Italy, October 2-3, 2019, Proceedings

Lorenzo Mucchi; Matti Hämäläinen; Sara Jayousi; Simone Morosi

978-3-030-34833-5

2019
Edition 1
€100
Calculus of Variations and Nonlinear Partial Differential Equations

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 27 - July 2, 2005

Luigi Ambrosio; Bernard Dacorogna; E. Mascolo; Luis A. Caffarelli; Paolo Marcellini; Michael G. Crandall; Lawrence C. Evans; Nicola Fusco

978-3-540-75914-0

2008
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Trust, Privacy and Security in Digital Business

8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings

Steven Furnell; Costas Lambrinoudakis; Günther Pernul

978-3-642-22890-2

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Semantic Technology

Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012, Proceedings

Hideaki Takeda; Yuzhong Qu; Riichiro Mizoguchi; Yoshinobu Kitamura

978-3-642-37996-3

2013
Edition 1
- Up-to-date results in semantic technology
- Proceedings of the second joint international semantic technology conference
- Features papers from two application tracks on linked data in practice and database integration
€100
Abstraction, Reformulation, and Approximation

5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Sven Koenig; Robert C. Holte

978-3-540-45622-3

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Knowledge Engineering and Semantic Web

6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Pavel Klinov; Dmitry Mouromtsev

978-3-319-24543-0

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