License single eBooks

Your results

View Cart

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Egon Börger; Hans Kleine Büning; Michael M. Richter

978-3-540-46736-6

1989
Edition 1
€100
Advances in Case-Based Reasoning

8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings

Thomas Roth-Berghofer; Mehmet H. Göker; H. Altay Güvenir

978-3-540-36846-5

2006
Edition 1
€100
Advances in Automation VII

Proceedings of the International Russian Automation Conference, RusAutoCon2025, September 7–13, 2025, Sochi, Russia

Andrey A. Radionov; Vadim R. Gasiyarov

978-3-032-14742-4

2026
Edition 1
- Reports on novel systems for automatic control
- Covers applications in power engineering and transportation
- Describes cutting-edge intelligent control and monitoring systems
€559
Persuasive Technology

5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings

Thomas Ploug; Per Hasle; Harri Oinas-Kukkonen

978-3-642-13226-1

2010
Edition 1
€100
Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings

Maribel Fernández

978-3-030-68446-4

2021
Edition 1
€150
Algorithmic Number Theory

4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings

Wieb Bosma

978-3-540-44994-2

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Emerging Information Security and Applications

4th International Conference, EISA 2023, Hangzhou, China, December 6–7, 2023, Proceedings

Jun Shao; Sokratis K. Katsikas; Weizhi Meng

978-981-99-9614-8

2024
Edition 1
€130
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
Architecture of Computing Systems

34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings

Christian Hochberger; Lars Bauer; Thilo Pionteck

978-3-030-81682-7

2021
Edition 1
€100
Logic and Its Applications

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

R. Ramanujam; Sundar Sarukkai

978-3-540-92701-3

2009
Edition 1
€100
Mobilität und Echtzeit

Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007

Peter Holleczek; Birgit Vogel-Heuser

978-3-540-74837-3

2008
Edition 1
- Jahrestagung 2007 der GI-Fachgruppe 'Echtzeitsysteme und PEARL'
- Neue Trends und Entwicklungen
- Mit Anwendungsbeispielen
€201
Radiative Corrections for e+e- Collisions

Proceedings of the International Workshop Held at Schloß Ringberg Tegernsee, FRG, April 3–7, 1989

Johann H. Kühn

978-3-642-74925-4

1989
Edition 1
€100
The Semantic Web – ASWC 2006

First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings

Riichiro Mizoguchi; Fausto Giunchiglia

978-3-540-38331-4

2006
Edition 1
€180
Big Data and Artificial Intelligence

11th International Conference, BDA 2023, Delhi, India, December 7–9, 2023, Proceedings

Vikram Goyal; Naveen Kumar; Sourav S. Bhowmick; Pawan Goyal; Navneet Goyal; Dhruv Kumar

978-3-031-49601-1

2023
Edition 1
€130
Interactive Distributed Multimedia Systems

8th International Workshop,IDMS 2001, Lancaster, UK, September 4-7, 2001. Proceedings

Doug Shepherd; Joe Finney; Laurent Mathy; Nicholas Race

978-3-540-44763-4

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Algebraic Methodology and Software Technology

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

V.S. Alagar; Maurice Nivat

978-3-540-49410-2

1995
Edition 1
€180
Location and Context Awareness

4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings

Tanzeem Choudhury; Aaron Quigley; Thomas Strang; Koji Suginuma

978-3-642-01721-6

2009
Edition 1
€100
Contributions to the Von Neumann Growth Model

Proceedings of a Conference Organized by the Institute for Advanced Studies Vienna, Austria, July 6 and 7, 1970

G. Bruckmann; W. Weber

978-3-662-24667-2

1971
Edition 1
€201
Autonomic and Trusted Computing

6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

Juan González Nieto; Guojun Wang; Wolfgang Reif; Jadwiga Indulska

978-3-642-02704-8

2009
Edition 1
€100
Web Information Systems Engineering – WISE 2017

18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II

Athman Bouguettaya; Yunjun Gao; Andrey Klimenko; Lu Chen; Xiangliang Zhang; Fedor Dzerzhinskiy; Weijia Jia; Stanislav V. Klimenko; Qing Li

978-3-319-68786-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computational Science and Its Applications – ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42092-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Brain Informatics

International Conference, BI 2018, Arlington, TX, USA, December 7–9, 2018, Proceedings

Shouyi Wang; Vicky Yamamoto; Jianzhong Su; Yang Yang; Erick Jones; Leon Iasemidis; Tom Mitchell

978-3-030-05587-5

2018
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
Secure IT Systems

29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings

Leonardo Horn Iwaya; Liina Kamm; Leonardo Martucci; Tobias Pulls

978-3-031-79007-2

2025
Edition 1
€146
Image Analysis and Processing — ICIAP 2015

18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part II

Vittorio Murino; Enrico Puppo

978-3-319-23234-8

2015
Edition 1
€100
Holomorphic Dynamical Systems

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 7-12, 2008

Nessim Sibony; Graziano Gentili; Dierk Schleicher; Giorgio Patrizio; Dinh Tien Cuong; Jacques Guenot; Marco Brunella; Eric Bedford; Marco Abate

978-3-642-13171-4

2010
Edition 1
- This title includes contributions by six well known reserchers in different topics of the ample subject
- The contributions are as much self-contained as possible
- The volume provides a fascinating introduction to many key problems of the current research
- Includes supplementary material: sn.pub/extras
€100
Business Process Management

12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings

Shazia Sadiq; Pnina Soffer; Hagen Völzer

978-3-319-10172-9

2014
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
Image Processing and Vision Engineering

5th International Conference, IMPROVE 2025, Porto, Portugal, April 7–8, 2025, Proceedings

Cosimo Distante; Sebastiano Battiato

978-3-032-01169-5

2026
Edition 1
€150
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedings

Marcelo Mendoza; Sergio Velastín

978-3-319-75193-1

2018
Edition 1
€100
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
Angiography / Scintigraphy

Symposium of the European Association of Radiology Mainz 1–3 October, 1970

L. Diethelm

978-3-642-48827-6

1972
Edition 1
€180
Logic Programming '85

Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985

Eiiti Wada

978-3-540-39820-2

1986
Edition 1
€100
Rutland Water — Decade of Change

Proceedings of the Conference held in Leicester, U.K., 1–3 April 1981

David M. Harper; J.A. Bullock

978-94-009-8006-8

1982
Edition 1
€180
Equations aux Derivees Partielles

Proceedings, Saint-Jean-de-Monts, June 1-4, 1977

The Lai Pham

978-3-540-35764-3

1978
Edition 1
€50
Set Theory and Model Theory

Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

R.B. Jensen; A. Prestel

978-3-540-38757-2

1981
Edition 1
€46
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
Computational Science and Its Applications – ICCSA 2024 Workshops

Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part VIII

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; David Taniar; Ana Maria A. C. Rocha; Maria Noelia Faginas Lago

978-3-031-65318-6

2024
Edition 1
€300
Computational Science and Its Applications – ICCSA 2024 Workshops

Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part IV

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; David Taniar; Ana Maria A. C. Rocha; Maria Noelia Faginas Lago

978-3-031-65273-8

2024
Edition 1
€260
Taurine 8

Volume 1: The Nervous System, Immune System, Diabetes and the Cardiovascular System

Abdeslem El Idrissi; William J. L'Amoreaux

978-1-4614-6130-2

2013
Edition 1
- Contains important and timely research on the role of Taurine in health and disease
- Provides information on the role of Taurine in multiple organ systems as well as the immune system
- Thorough total of 65 chapters across two volumes represent the best the field
- Includes supplementary material: sn.pub/extras
€400
Harmonic Analysis

Proceedings of a Conference Held in Cortona, Italy, July 1-9, 1982

G. Mauceri; F. Ricci; G. Weiss

978-3-540-39885-1

1983
Edition 1
€88
Chemotaxonomie der Pflanzen

Band XIb-1: Leguminosae Teil 2: Caesalpinioideae und Mimosoideae

R. Hegnauer

978-3-0348-9175-2

1996
Edition 1
€578
Eurasian Business Perspectives

Proceedings of the 20th Eurasia Business and Economics Society Conference - Vol. 1

Mehmet Huseyin Bilgin; Hakan Danis; Ender Demir; Ugur Can

978-3-319-67913-6

2018
Edition 1
- Features latest empirical management research from Eurasian countries
- Presents an eclectic collection of qualitative and quantitative methodologies in addressing management issues
- Includes special topics such as management of education and green entrepreneurship
€400
Smart Computing Techniques and Applications

Proceedings of the Fourth International Conference on Smart Computing and Informatics, Volume 1

Suresh Chandra Satapathy; Vikrant Bhateja; Margarita N. Favorskaya; T. Adilakshmi

978-981-16-0878-0

2021
Edition 1
- Presents research works in the field of smart computing and informatics
- Contains best selected papers presented at SCI 2020 held in Hyderabad, India, during 5 to 6 June 2020
- Serves as a reference for researchers and practitioners in academia and industry
€400

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.