License single eBooks

Your results

View Cart

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012

Proceedings of the Fifth International Conference on High Performance Scientific Computing, March 5-9, 2012, Hanoi, Vietnam

Hans Georg Bock; Xuan Phu Hoang; Rolf Rannacher; Johannes P. Schlöder

978-3-319-09063-4

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Tiziana Margaria; Bernhard Steffen

978-3-030-03424-5

2018
Edition 1
€100
Cellular Automata: Research Towards Industry

ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

Roberto Serra; Furio Suggi Liverani

978-1-4471-1281-5

1998
Edition 1
€180
Advances in Cyber Security

Second International Conference, ACeS 2020, Penang, Malaysia, December 8-9, 2020, Revised Selected Papers

Mohammed Anbar; Nibras Abdullah; Selvakumar Manickam

978-981-33-6835-4

2021
Edition 1
€180
Neural Information Processing

22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II

Sabri Arik; Tingwen Huang; Weng Kin Lai; Qingshan Liu

978-3-319-26535-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Applied Machine Learning and Data Analytics

6th International Conference, AMLDA 2023, Lübeck, Germany, November 9–10, 2023, Revised Selected Papers

M. A. Jabbar; Sanju Tiwari; Fernando Ortiz-Rodríguez; Sven Groppe; Tasneem Bano Rehman

978-3-031-55486-5

2024
Edition 1
€150
Measurement Methodology and Tools

First European Workshop, FP7 FIRE/EULER Project, May 9, 2012, Aalborg, Denmark, Invited Papers

Lluís Fàbrega; Pere Vilà; Davide Careglio; Dimitri Papadimitriou

978-3-642-41296-7

2013
Edition 1
- Workshop on Measurement and Measurement Tools organized within the Future Internet Research Experimentation (FIRE) initiative of the EU 7th Framework Programme (FP7) during the Future Internet Assembly 2012
€90
Applications of Sheaves

Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977

M. P. Fourman; C. J. Mulvey; D. S. Scott

978-3-540-34849-8

1979
Edition 1
€120
Mathematics and Computing

4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

Debdas Ghosh; Debasis Giri; Ram N. Mohapatra; Ekrem Savas; Kouichi Sakurai; L. P. Singh

978-981-13-0023-3

2018
Edition 1
€100
Articulated Motion and Deformable Objects

5th International Conference, AMDO 2008, Port d'Andratx, Mallorca, Spain, July 9-11, 2008, Proceedings

Francisco J. Perales; Robert B. Fisher

978-3-540-70517-8

2008
Edition 1
€100
Large-Scale Scientific Computations

14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5–9, 2023, Revised Selected Papers

Ivan Lirkov; Svetozar Margenov

978-3-031-56208-2

2024
Edition 1
€150
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Kerstin Lemke-Rust; Michael Tunstall

978-3-319-54669-8

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
AI, Data, and Digitalization

First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers

Rajendra Akerkar

978-3-031-53770-7

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Infrared Extinction and Standardization

Proceedings of two Sessions of IAU Commissions 25 and 9 Held at Baltimore, Maryland, USA, August 4, 1988

E.F. Milone

978-3-540-46710-6

1989
Edition 1
€100
Digital Forensics and Cyber Crime

15th EAI International Conference, ICDF2C 2024, Dubrovnik, Croatia, October 9–10, 2024, Proceedings, Part I

Sanjay Goel; Ersin Uzun; Mengjun Xie; Sumantra Sarkar

978-3-031-89363-6

2025
Edition 1
€200
Relativistic Quantum Measurement and Decoherence

Lectures of a Workshop Held at the Istituto Italiano per gli Studi Filosofici Naples, April 9-10, 1999

Heinz-Peter Breuer; Francesco Petruccione

978-3-540-45369-7

2000
Edition 1
- Deals with one of the most interesting and fundamental problems of modern physics
- Includes supplementary material: sn.pub/extras
€100
Natural Language Processing and Chinese Computing

14th National CCF Conference, NLPCC 2025, Urumqi, China, August 7–9, 2025, Proceedings, Part I

Xian-Ling Mao; Zhaochun Ren; Muyun Yang

978-981-95-3343-5

2026
Edition 1
€180
Key Technologies for Data Management

21st British National Conference on Databases, BNCOD 21, Edinburgh, UK, July 7-9, 2004, Proceedings

Howard Williams; Lachlan MacKinnon

978-3-540-27811-5

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Grid and Pervasive Computing

8th International Conference, GPC 2013, and Colocated Workshops, Seoul, Korea, May 9-11, 2013, Proceedings

James J. (Jong Hyuk) Park; Hamid R. Arabnia; Cheonshik Kim; Weisong Shi; Joon-Min Gil

978-3-642-38027-3

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€180
Computational Collective Intelligence

16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part II

Ngoc Thanh Nguyen; Bogdan Franczyk; André Ludwig; Manuel Núñez; Jan Treur; Gottfried Vossen; Adrianna Kozierkiewicz

978-3-031-70819-0

2024
Edition 1
€150
Monoclonal Antibodies and Breast Cancer

Proceedings of the International Workshop on Monoclonal Antibodies and Breast Cancer San Francisco, California — November 8–9, 1984

R. Ceriani

978-1-4613-2617-5

1985
Edition 1
€400
Image and Graphics Technologies and Applications

20th Chinese Conference, IGTA 2025, Beijing, China, August 9–10, 2025, Revised Selected Papers

Yongtian Wang; Yi Chen

978-981-95-4966-5

2026
Edition 1
€170
Digital Information Processing and Communications, Part II

International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II

Vaclav Snasael; Jan Platos; Eyas El-Qawasmeh

978-3-642-22410-2

2011
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€180
Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Jyotirmoy Deshmukh; Dejan Ničković

978-3-030-60508-7

2020
Edition 1
€100
Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci; C. R. Ramakrishnan

978-3-642-39176-7

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Computer Performance Engineering

6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

Jeremy T. Bradley

978-3-642-02924-0

2009
Edition 1
€100
e-Learning, e-Education, and Online Training

8th EAI International Conference, eLEOT 2022, Harbin, China, July 9–10, 2022, Proceedings, Part I

Weina Fu; Guanglu Sun

978-3-031-21161-4

2022
Edition 1
€240
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage

4th International Conference, TMM_CH 2025, Athens, Greece, April 7–9, 2025, Revised Selected Papers

Antonia Moropoulou; Andreas Georgopoulos; Marinos Ioannides; Anastasios Doulamis; Kyriakos Lampropoulos; Alfredo Ronchi

978-3-032-15069-1

2026
Edition 1
€170
Hereditary Colorectal Cancer

Proceedings of the Fourth International Symposium on Colorectal Cancer (ISCC-4) November 9–11, 1989, Kobe Japan

Joji Utsunomiya; Henry T. Lynch

978-4-431-68337-7

1990
Edition 1
€180
Generative and Transformational Techniques in Software Engineering IV

International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

Ralf Lämmel; João Saraiva; Joost Visser

978-3-642-35992-7

2013
Edition 1
- Tutorial book on generative and transformational techniques in software engineering
- Original, readable and useful lecture nodes
- Made for students, researchers and practitioners
€419
ICT for Health, Accessibility and Wellbeing

First International Conference, IHAW 2021, Larnaca, Cyprus, November 8–9, 2021, Revised Selected Papers

Edwige Pissaloux; George Angelos Papadopoulos; Achilleas Achilleos; Ramiro Velázquez

978-3-030-94209-0

2021
Edition 1
€150
Perturbative and Nonperturbative Aspects of Quantum Field Theory

Proceedings of the 35. Internationale Universitätswochen für Kern- und Teilchenphysik, Schladming, Austria, March 2–9, 1996

H. Latal; W. Schweiger

978-3-540-49735-6

1997
Edition 1
€180
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Manjunath Gorentla Venkata; Neena Imam; Swaroop Pophale

978-3-319-73814-7

2018
Edition 1
€80
Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Andre Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi

978-3-031-71177-0

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
- This book is open access, which means that you have free and unlimited access
Open Access
From Data and Information Analysis to Knowledge Engineering

Proceedings of the 29th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Magdeburg, March 9-11, 2005

Myra Spiliopoulou; Rudolf Kruse; Christian Borgelt; Andreas Nürnberger; Wolfgang A. Gaul

978-3-540-31314-4

2006
Edition 1
- Includes supplementary material: sn.pub/extras
€280
New Trends in Neural Computation

International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings

Jose Mira; Joan Cabestany; Alberto Prieto

978-3-540-47741-9

1993
Edition 1
€180
Web Information Systems and Technologies

7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

Joaquim Filipe; José Cordeiro

978-3-642-28082-5

2012
Edition 1
- Fast track proceedings
€100
Secure Knowledge Management In The Artificial Intelligence Era

9th International Conference, SKM 2021, San Antonio, TX, USA, October 8–9, 2021, Proceedings

Ram Krishnan; H. Raghav Rao; Sanjay K. Sahay; Sagar Samtani; Ziming Zhao

978-3-030-97532-6

2022
Edition 1
€130
Extended Reality

International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-43404-4

2023
Edition 1
€180
Robotics and Rehabilitation Intelligence

First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II

Jianhua Qian; Honghai Liu; Jiangtao Cao; Dalin Zhou

978-981-33-4932-2

2020
Edition 1
€100
Information Search, Integration, and Personalization

13th International Workshop, ISIP 2019, Heraklion, Greece, May 9–10, 2019, Revised Selected Papers

Giorgos Flouris; Dominique Laurent; Dimitris Plexousakis; Nicolas Spyratos; Yuzuru Tanaka

978-3-030-44900-1

2020
Edition 1
€100
Next Generation Information System Technology

First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990. Procceedings

Joachim W. Schmidt; Anatoly A. Stogny

978-3-540-47444-9

1991
Edition 1
€100
Explainable and Transparent AI and Multi-Agent Systems

4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers

Davide Calvaresi; Amro Najjar; Michael Winikoff; Kary Främling

978-3-031-15565-9

2022
Edition 1
€100
Computational Intelligence Methods for Bioinformatics and Biostatistics

14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Massimo Bartoletti; Annalisa Barla; Andrea Bracciali; Gunnar W. Klau; Leif Peterson; Alberto Policriti; Roberto Tagliaferri

978-3-030-14160-8

2019
Edition 1
€100
Intelligent Systems in Computing and Communication

First International Conference, ISCComm 2023, Moodabidri, India, December 8–9, 2023, Proceedings, Part-II

Shreekumar T.; Dinesha L.; Sreeja Rajesh

978-3-031-75608-5

2025
Edition 1
€280
Directions in Safety-Critical Systems

Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Felix Redmill; Tom Anderson

978-1-4471-2037-7

1993
Edition 1
€100
Resonances — Models and Phenomena

Proceedings of a Workshop held at the Centre for Interdisciplinary Research, Bielefeld University, Bielefeld, Germany, April 9–14, 1984

S. Albeverio; L.S. Ferreira; L. Streit

978-3-540-39077-0

1984
Edition 1
€100
New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies

19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

Rachid Benmoussa; Roland De Guio; Sébastien Dubois; Sebastian Koziołek

978-3-030-32497-1

2019
Edition 1
€180
Computer Security - ESORICS 94

Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings

Dieter Gollmann

978-3-540-49034-0

1994
Edition 1
€100
Model-Driven Engineering and Software Development

Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

Philippe Desfray; Joaquim Filipe; Slimane Hammoudi; Luís Ferreira Pires

978-3-319-27869-8

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.