License single eBooks

Your results

View Cart

Technological Innovation for Smart Systems

8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings

Luis M. Camarinha-Matos; Mafalda Parreira-Rocha; Javaneh Ramezani

978-3-319-56077-9

2017
Edition 1

€180
Artificial Intelligence in Neuroscience: Affective Analysis and Health Applications

9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part I

José Manuel Ferrández Vicente; José Ramón Álvarez-Sánchez; Félix de la Paz López; Hojjat Adeli

978-3-031-06242-1

2022
Edition 1

€170
Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration

Proceedings of the XLVI, XLVII ACADEMIC SPACE CONFERENCE, Dedicated to the Memory of Academian S.P. Korolev and Other Outstanding Russian Scientists - Pioneers of Space Exploration, “KOROLEV ACADEMIC SPACE CONFERENCE” (Volume 3)

V. I. Mayorova; A. I. Komkin

978-3-032-05757-0

2026
Edition 1

€459

Not published yet

Available from
2026-02-11
Foundations of Software Science and Computational Structures

14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Martin Hofmann

978-3-642-19805-2

2011
Edition 1

€100
Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Arie Gurfinkel; Marijn Heule

978-3-031-90643-5

2025
Edition 1

Open Access
Web Information Systems and Technologies

16th International Conference, WEBIST 2020, November 3–5, 2020, and 17th International Conference, WEBIST 2021, October 26–28, 2021, Virtual Events, Revised Selected Papers

Massimo Marchiori; Francisco José Domínguez Mayo; Joaquim Filipe

978-3-031-24197-0

2023
Edition 1

€130
New Challenges on Bioinspired Applications

4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II

José M. Ferrández; José Ramón Álvarez; Félix de la Paz; Fco. Javier Toledo

978-3-642-21326-7

2011
Edition 1

€100
Laboratory Diagnosis in Neonatal Calf and Pig Diarrhoea

Proceedings of a Workshop on Diagnostic Techniques for Enteropathogenic Agents Associated with Neonatal Diarrhoea in Calves and Pigs, held at the Central Veterinary Institute, Department of Virology, Lelystad, The Netherlands, June 3–5, 1980

Peter W. de Leeuw; P.A.M. Guinee

978-94-009-8328-1

1981
Edition 1

€100
Compiler Construction

20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Jens Knoop

978-3-642-19861-8

2011
Edition 1

€100
Operations Research Proceedings 2021

Selected Papers of the International Conference of the Swiss, German and Austrian Operations Research Societies (SVOR/ASRO, GOR e.V., ÖGOR), University of Bern, Switzerland, August 31 – September 3, 2021

Norbert Trautmann; Mario Gnägi

978-3-031-08623-6

2022
Edition 1

€280
Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D

15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I

Petter Nielsen; Honest Christopher Kimaro

978-3-030-18400-1

2019
Edition 1

€180
Technological Innovation for Life Improvement

11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1–3, 2020, Proceedings

Luis M. Camarinha-Matos; Nastaran Farhadi; Fábio Lopes; Helena Pereira

978-3-030-45124-0

2020
Edition 1

€180
Neue Erkenntnisse im Hohlraumbau — Fundierungen im Fels / Latest Findings in the Construction of Underground Excavations — Rock Foundations

Vorträge des 24. Geomechanik-Kolloquiums der Österreichischen Gesellschaft für Geomechanik / Contributions to the 24th Geomechanical Colloquium of the Austrian Society for Geomechanics Salzburg, 2. und 3. Oktober 1975

Österreichische Gesellschaft für Geomechanik

978-3-7091-8452-3

1976
Edition 1

€201
VLSI-SoC: The Advanced Research for Systems on Chip

19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

Salvador Mir; Chi-Ying Tsui; Ricardo Reis; Oliver C.S. Choy

978-3-642-32770-4

2012
Edition 1

€100
Coordination Models and Languages

15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

Rocco De Nicola; Christine Julien

978-3-642-38493-6

2013
Edition 1

€100
Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Dimitra Giannakopoulou; Fernando Orejas

978-3-642-19811-3

2011
Edition 1

€100
Pattern Recognition Applications and Methods

10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4–6, 2021 and February 3–5, 2022, Revised Selected Papers

Maria De Marsico; Gabriella Sanniti di Baja; Ana Fred

978-3-031-24538-1

2023
Edition 1

€110
Advances in Design, Simulation and Manufacturing VIII

Proceedings of the 8th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2025, June 17–20, 2025, Porto, Portugal - Volume 3: Materials Engineering and Engineering Education

Francisco J. G. Silva; Vitalii Ivanov; Arnaldo Manuel Guedes Pinto; Rita de Cassia M. Sales-Contini

978-3-031-96413-8

2025
Edition 1

€400
Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Parosh Aziz Abdulla; K. Rustan M. Leino

978-3-642-19835-9

2011
Edition 1

€100
Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Arie Gurfinkel; Marijn Heule

978-3-031-90660-2

2025
Edition 1

Open Access
Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Arie Gurfinkel; Marijn Heule

978-3-031-90653-4

2025
Edition 1

Open Access
Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D

15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part II

Petter Nielsen; Honest Christopher Kimaro

978-3-030-19115-3

2019
Edition 1

€180
TeX, XML, and Digital Typography

International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings

Apostolos Syropoulos; Karl Berry; Yannis Haralambous; Baden Hughes; Steven Peter; John Plaice

978-3-540-27773-6

2004
Edition 1

€100
Endocrine Causes of Seasonal and Lactational Anestrus in Farm Animals

A Seminar in the CEC Programme of Co-ordination of Research on Livestock Productivity and Management, held at the Institut für Tierzücht und Tierverhalten, Mariensee, Bundesforschumgsanstalt für Landwirtschaft (FAL) October 2–3, 1984

F. Ellendorff; F. Elsaesser

978-94-009-5026-9

1985
Edition 1

€100
Coordination, Organizations, Institutions, and Norms in Agent Systems IX

COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers

Tina Balke; Frank Dignum; M. Birna van Riemsdijk; Amit K. Chopra

978-3-319-07314-9

2014
Edition 1

€100
Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence

9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II

José Manuel Ferrández Vicente; José Ramón Álvarez-Sánchez; Félix de la Paz López; Hojjat Adeli

978-3-031-06527-9

2022
Edition 1

€180
Business Tool Guide

SAP R/3®, BaanERP®, J.D. Edwards® OneWorld®, Oracle® Applications im Vergleich So treffen Sie für Ihr Unternehmen die richtige Entscheidung

Heinz Brauer;

978-3-322-86534-2

2000
Edition 1

€220
Programming Languages and Systems

20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Gilles Barthe

978-3-642-19718-5

2011
Edition 1

€100
Service-Oriented Computing – ICSOC 2024 Workshops

ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3–6, 2024, Revised Selected Papers, Part I

Slim Kallel; Claudia Raibulet; Ismael Bouassida Rodriguez; Noura Faci; Amel Bennaceur; Saoussen Cheikhrouhou; Leila Ben Ayed; Mohamed Sellami; Elisa Yumi Nakagawa; Riadh Ben Halima

978-981-96-7238-7

2026
Edition 1

€280
Advances in Digital Health and Medical Bioengineering

Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9–10, 2023, Bucharest, Romania – Volume 3: Telemedicine, Biomaterials, Environmental Protection, Medical Imaging, and Biomechanics

Hariton-Nicolae Costin; Ratko Magjarević; Gladiola Gabriela Petroiu

978-3-031-62523-7

2024
Edition 1

€400
Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Viktor Vafeiadis

978-3-031-91118-7

2025
Edition 1

Open Access
System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches

Volume 1 Fault Diagnostics and Reliability Proceedings of the First European Workshop on Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Island of Rhodes, Greece, August 31–September 3, 1986

S.G. Tzafestas; Madan Singh; Günther Schmidt

978-94-009-3929-5

1987
Edition 1

€280
Service-Oriented Computing – ICSOC 2024 Workshops

ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3–6, 2024, Revised Selected Papers, Part II

Slim Kallel; Claudia Raibulet; Ismael Bouassida Rodriguez; Noura Faci; Amel Bennaceur; Saoussen Cheikhrouhou; Leila Ben Ayed; Mohamed Sellami; Elisa Yumi Nakagawa; Riadh Ben Halima

978-981-96-7423-7

2026
Edition 1

€146
Human Activity Recognition and Anomaly Detection

4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3–9, 2024, Revised Selected Papers

Kuan-Chuan Peng; Yizhou Wang; Ziyue Li; Zhenghua Chen; Jianfei Yang; Sungho Suh; Min Wu

978-981-97-9003-6

2025
Edition 1

€120
Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Viktor Vafeiadis

978-3-031-91121-7

2025
Edition 1

Open Access
Operations Research and Enterprise Systems

11th International Conference, ICORES 2022, Virtual Event, February 3–5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Federico Liberatore; Slawo Wesolkowski; Marc Demange; Greg H. Parlier

978-3-031-49662-2

2024
Edition 1

€150
Anaesthesie in Augen- und HNO-Heilkunde Blutgerinnung Blutgasanalyse

Beiträge und Diskussionen ... der 13. Gemeinsamen Tagung der Deutschen, Schweizerischen und Österreichischen Gesellschaften für Anaesthesiologie und Reanimation vom 5.- 8. September 1973 in Linz. Teil 3

H. Bergmann; B. Blauhut

978-3-642-66219-5

1975
Edition 1

€201
Operations Research Proceedings 2013

Selected Papers of the International Conference on Operations Research, OR2013, organized by the German Operations Research Society (GOR), the Dutch Society of Operations Research (NGB) and Erasmus University Rotterdam, September 3-6, 2013

Dennis Huisman; Ilse Louwerse; Albert P.M. Wagelmans

978-3-319-07001-8

2014
Edition 1

€180
Semantics, Analytics, Visualization

3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

Alejandra González-Beltrán; Francesco Osborne; Silvio Peroni; Sahar Vahdati

978-3-030-01379-0

2018
Edition 1

€100
Recent Trends and Developments in Social Software

International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers

John G Breslin; Thomas N. Burg; Hong-Gee Kim; Tom Raftery; Jan-Hinrik Schmidt

978-3-642-16581-8

2010
Edition 1

€100
Distributed Applications and Interoperable Systems

14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Kostas Magoutis; Peter Pietzuch

978-3-662-43352-2

2014
Edition 1

€100
Coordination Models and Languages

16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Eva Kühn; Rosario Pugliese

978-3-662-43376-8

2014
Edition 1

€100
Progress in Artificial Intelligence

13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings

José Maia Neves; Manuel Filipe Santos; José Manuel Machado

978-3-540-77002-2

2007
Edition 1

€180
Aircraft Wake Turbulence and Its Detection

Proceedings of a Symposium on Aircraft Wake Turbulence held in Seattle, Washington, September 1–3, 1970. Sponsored jointly by the Flight Sciences Laboratory, Boeing Scientific Research Laboratories and the Air Force Office of Scientific Research

John Olsen

978-1-4684-8346-8

1971
Edition 1

€100
Handbuch der Urologie

Band 3: Spezielle Urologie I: Spezielle Pathologie und Therapie der Mißbildungen. Verletzungen der Harn- und Geschlechtsorgane. Störungen der Blasenfunktion. Nephritis. Eklampsie. Entzündliche Erkrankungen der Harn- und Geschlechtsorgane

A.v. Lichtenberg; F. Voelcker; H. Wildbolz

978-3-642-50205-7

1928
Edition 1

€168
Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Erika Ábrahám; Catuscia Palamidessi

978-3-662-43613-4

2014
Edition 1

€100
Electronic Publishing, Artistic Imaging, and Digital Typography

7th International Conference on Electronic Publishing, EP'98 Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo France, March 30 - April 3, 1998

Roger Hersch; Jacques Andre; Heather Brown

978-3-540-69718-3

1998
Edition 1

€100
Feuerfeste Baustoffe in der Eisenhüttenindustrie

Vortragsreihe, veranstaltet vom Technisch-wissenschaftlichen Verein „Eisenhütte Österreich“ und der Lehrkanzel für Gesteinshüttenkunde und feuerfeste Baustoffe der Montanistischen Hochschule Leoben. Leoben, 2. und 3. März 1967

Herbert Trenkler; Felix Trojer

978-3-7091-7948-2

1967
Edition 1

€155
Distributed Applications and Interoperable Systems

13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Jim Dowling; François Taïani

978-3-642-38541-4

2013
Edition 1

€100
Jugendliche + Erwachsene ’85 Generationen im Vergleich

Band 1 Biografien Orientierungsmuster Perspektiven / Band 2 Freizeit und Jugendkultur / Band 3 Jugend der Fünfziger Jahre — Heute / Band 4 Jugend in Selbstbildern / Band 5 Arbeitsbericht und Dokumentation

978-3-322-95566-1

1985
Edition 1

€197

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.