License single eBooks

Your results

View Cart

Systems Modelling and Simulation

Second International Symposium, SMS 2026, Putrajaya, Malaysia, May 4–5, 2026, Proceedings

Nurul Adilla Mohd Subha; Norhaliza Abdul Wahab; Pei Ling Leow; Herman Wahid; Siti Maherah Hussin; Zaharuddin Mohamed

978-981-92-0306-2

2026
Edition 1
€170
Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Serenella Cerrito; Andrei Popescu

978-3-030-29026-9

2019
Edition 1
€100
Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Ivica Crnkovic; Elena Troubitsyna

978-3-319-45892-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€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
Information Technology in Bio- and Medical Informatics

Third International Conference, ITBAM 2012, Vienna, Austria, September 4-5, 2012, Proceedings

Christian Böhm; Sami Khuri; Lenka Lhotská; M. Elena Renda

978-3-642-32395-9

2012
Edition 2
- Fast track conference proceedings
- Unique visibility
- State of the art research
€90
Frontiers in Algorithmics

9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

Jianxin Wang; Chee Yap

978-3-319-19647-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Document Analysis and Recognition – ICDAR 2021

16th International Conference, Lausanne, Switzerland, September 5–10, 2021, Proceedings, Part III

Josep Lladós; Daniel Lopresti; Seiichi Uchida

978-3-030-86334-0

2021
Edition 1
€100
Fun with Algorithms

4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Pierluigi Crescenzi; Giuseppe Prencipe; Geppino Pucci

978-3-540-72914-3

2007
Edition 1
€100
Entertainment Computing -- ICEC 2009

8th International Conference, ICEC 2009, Paris, France, September 3-5, 2009, Proceedings

Stéphane Natkin; Jérome Dupire

978-3-642-04052-8

2009
Edition 1
€100
Rule Technologies: Foundations, Tools, and Applications

9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Nick Bassiliades; Georg Gottlob; Fariba Sadri; Adrian Paschke; Dumitru Roman

978-3-319-21542-6

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Logic and Its Applications

10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

Mohua Banerjee; A. V. Sreejith

978-3-031-26689-8

2023
Edition 1
€130
Descriptional Complexity of Formal Systems

16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Helmut Jürgensen; Juhani Karhumäki; Alexander Okhotin

978-3-319-09704-6

2014
Edition 1
€100
Pattern Formation by Dynamic Systems and Pattern Recognition

Proceedings of the International Symposium on Synergetics at Schloß Elmau, Bavaria, April 30 – May 5, 1979

Hermann Haken

978-3-642-67480-8

1979
Edition 1
€100
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Dimitar Kazakov; Can Erten

978-3-030-49210-6

2020
Edition 1
€100
SWAT '88

1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings

Rolf Karlsson; Andrzej Lingas

978-3-540-39288-0

1988
Edition 1
€100
Logic and Its Applications

11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings

C. Aiswarya; Prabal Kumar Sen; Shashi Mohan Srivastava

978-3-031-89610-1

2025
Edition 1
€130
Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Jean-Francois Raskin; P.S. Thiagarajan

978-3-540-75454-1

2007
Edition 1
€100
Web Engineering

17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings

Jordi Cabot; Roberto De Virgilio; Riccardo Torlone

978-3-319-60131-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Gesunde Ernährung von Anfang an

Von der Schwangerschaft bis zum Kleinkindalter mit der westlichen 5-Elemente Ernährung

Veronika Ottenschläger

978-3-662-63768-5

2022
Edition 1
- East meets West - die gesunde Ernährungsform für Ihr Kind!
- Genuss und Wohlbefinden für Mutter und Kind
- Einfache Tipps und Rezepte für den Familienalltag
€93
Provable and Practical Security

15th International Conference, ProvSec 2021, Guangzhou, China, November 5–8, 2021, Proceedings

Qiong Huang; Yu Yu

978-3-030-90402-9

2021
Edition 1
€150
Automated and Algorithmic Debugging

First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings

Peter A. Fritzson

978-3-540-48141-6

1993
Edition 1
€100
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
Algorithm Theory - SWAT 2002

8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings

Martti Penttonen; Erik Meineche Schmidt

978-3-540-45471-7

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Telematics and Computing

7th International Congress, WITCOM 2018, Mazatlán, Mexico, November 5-9, 2018, Proceedings

Miguel Felix Mata-Rivera; Roberto Zagal-Flores

978-3-030-03763-5

2018
Edition 1
€100
Internet Science

6th International Conference, INSCI 2019, Perpignan, France, December 2–5, 2019, Proceedings

Samira El Yacoubi; Franco Bagnoli; Giovanna Pacini

978-3-030-34770-3

2019
Edition 1
€100
LATIN 2004: Theoretical Informatics

6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings

Martin Farach-Colton

978-3-540-24698-5

2004
Edition 1
€180
Evolving Ambient Intelligence

AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers

Michael O’Grady; Hamed Vahdat-Nejad; Klaus-Hendrik Wolf; Mauro Dragone; Juan Ye; Carsten Röcker; Gregory O'Hare

978-3-319-04406-4

2013
Edition 1
€100
Technologies and Innovation

5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

Rafael Valencia-García; Gema Alcaraz-Mármol; Javier Del Cioppo-Morstadt; Néstor Vera-Lucio; Martha Bucaram-Leverone

978-3-030-34989-9

2019
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
Developments in Language Theory

23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Piotrek Hofman; Michał Skrzypczak

978-3-030-24886-4

2019
Edition 1
€100
Modeling, Simulation and Computer Technology

First International Conference, ICMSCT 2024, Skikda, Algeria, November 5–6, 2024, Proceedings

Noureddine Seddari; Mohammed Redjimi

978-3-032-01922-6

2025
Edition 1
€180
Software Process Technology

4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings

Wilhelm Schäfer

978-3-540-49224-5

1995
Edition 1
€100
Computational Systems-Biology and Bioinformatics

First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, Proceedings

Jonathan H. Chan; Yew-Soon Ong; Sung-Bae Cho

978-3-642-16750-8

2010
Edition 1
€100
Optimization and Learning

6th International Conference, OLA 2023, Malaga, Spain, May 3–5, 2023, Proceedings

Bernabé Dorronsoro; Francisco Chicano; Gregoire Danoy; El-Ghazali Talbi

978-3-031-34020-8

2023
Edition 1
€180
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50433-5

2020
Edition 1
€100
Nstar2007

Proceedings of the 11th Workshop on The Physics of Excited Nucleons, 5-8 September 2007, Bonn, Germany

Hans W. Hammer; Vera Kleber; Ulrike Thoma; Hartmut Schmieden

978-3-540-85144-8

2008
Edition 1
€180
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
Advances in Artificial Life

8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings

Mathieu Capcarrere; Alex A. Freitas; Peter J. Bentley; Colin G. Johnson; Jon Timmis

978-3-540-31816-3

2005
Edition 1
€180
Die Vereinbarkeit von Militärgerichten mit dem Recht auf ein faires Verfahren gemäß Art. 6 Abs. 1 EMRK, Art. 8 Abs. 1 AMRK und Art. 14 Abs. 1 des UN-Paktes über bürgerliche und politische Rechte

Jeanine Bucherer

978-3-540-37638-5

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€266
Physiology of Movements / Physiologie der Bewegungen

Part 1 Movements due to Mechanical and Electrical Stimuli and to Radiations / Teil 1 Bewegungen durch Einflüsse Mechanischer und Elektrischer Natur Sowie durch Strahlungen

E. Bünning

978-3-642-94755-1

1959
Edition 1
€155
Neue Märkte durch Multimedia / New Markets with Multimedia

Vorträge des am 30. November und 1. Dezember 1994 in München abgehaltenen Kongresses / Proceedings of Congress Held in Munich, November 30 and December 1, 1994

Jörg Eberspächer

978-3-642-79768-2

1995
Edition 1
€201
Evolution in Computational Intelligence

Frontiers in Intelligent Computing: Theory and Applications (FICTA 2020), Volume 1

Vikrant Bhateja; Sheng-Lung Peng; Suresh Chandra Satapathy; Yu-Dong Zhang

978-981-15-5788-0

2021
Edition 1
- Presents research in the field of intelligent computing
- Features the proceedings of FICTA 2020, held at NIT Surathkal, India
- Serves as a reference resource for researchers and practitioners in academia and industry
€400
Statistical Theory of Open Systems

Volume 1: A Unified Approach to Kinetic Description of Processes in Active Systems

Yu.L. Klimontovich

978-94-011-0175-2

1995
Edition 1
€180
Representation of Lie Groups and Special Functions

Volume 1: Simplest Lie Groups, Special Functions and Integral Transforms

N.Ja. Vilenkin; A.U. Klimyk

978-94-011-3538-2

1991
Edition 1
€300
Intelligent and Fuzzy Systems

Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

Cengiz Kahraman; Irem Ucal Sari; Basar Oztaysi; Selcuk Cebi; Sezi Cevik Onar; A. Çağrı Tolga

978-3-031-39774-5

2023
Edition 1
- Shows the latest point that intelligent and fuzzy systems have reached in the world
- Contains papers written by world-renowned experts in their fields
- Is an applied source on intelligent systems rather than a theoretical one
€380
Smart Technologies and Innovations in Design for Control of Technological Processes and Objects: Economy and Production

Proceeding of the International Science and Technology Conference "FarEastСon-2018" Volume 1

Denis B. Solovev

978-3-030-15577-3

2020
Edition 1
- Presents recent advances and promising research in the sphere of intelligent technologies in solving real, applied problems in various fields of industry and economic policies
- Constitutes the Proceedings of The International Science and Technology Conference “FarEast?on-2018” held on October 2-4, 2018, at Far Eastern Federal University, Vladivostok, Russian Federation
€400
Hyperbolic Problems: Theory, Numerics, Applications

Eighth International Conference in Magdeburg, February/March 2000 Volume 1

Heinrich Freistühler; Gerald Warnecke

978-3-0348-8370-2

2001
Edition 1
€180
Perspectives in Translational Research in Life Sciences and Biomedicine

Translational Outcomes Research in Life Sciences and Translational Medicine, Volume 1

Ena Ray Banerjee

978-981-10-0989-1

2016
Edition 1
- Provides actual laboratory data helping readers to plan experiments
- Offers step-by-step and lucid directions in the “Materials & Methods” section
- Broadens readers’ understanding of human stem cell culture and differentiation with valuable and original insights
- Discusses the use of models in human development and disease studies in a novel and exhaustive manner
- Presents the concept of antibody engineering in a novel and unique way
- Includes supplementary material: sn.pub/extras
€280
Bauphysikalische Temperaturberechnungen in FORTRAN

Band 1: Zwei- bzw. dreidimensionale stationäre Probleme des Wärmeschutzes

Rudolphi; Mueller

978-3-322-91865-9

1985
Edition 1
€201
Pathogenese

Ein Handbuch für die ärztliche Fortbildung Band 1/2

K. Bürki; H. Cottier; M. W. Hess; H. U. Keller; B. Roos; R. Schindler; A. Zimmermann

978-3-642-67213-2

1980
Edition 1
€374

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.