License single eBooks

Your results

View Cart

Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Mario Bravetti; Leila Kloul; Gianluigi Zavattaro

978-3-540-31903-0

2005
Edition 1

€100
Foundations of Software Science and Computation Structures

28th International Conference, FoSSaCS 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

Parosh Aziz Abdulla; Delia Kesner

978-3-031-90897-2

2025
Edition 1

Open Access
VLSI-SOC: From Systems to Chips

IFIP TC 10/WG 10.5, Twelfth International Conference on Very Large Scale Ingegration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany

Manfred Glesner; Ricardo Reis; Leandro Indrusiak; Vincent Mooney; Hans Eveking

978-0-387-33403-5

2006
Edition 1

€180
Foundations on Natural and Artificial Computation

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 I

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

978-3-642-21344-1

2011
Edition 1

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

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Bernd Finkbeiner; Laura Kovács

978-3-031-57246-3

2024
Edition 1

Open Access
Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Naoki Kobayashi; James Worrell

978-3-031-57228-9

2024
Edition 1

Open Access
Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Luís Caires

978-3-030-17184-1

2019
Edition 1

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

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tomáš Vojnar; Lijun Zhang

978-3-030-17462-0

2019
Edition 1

Open Access
Advances in Design, Simulation and Manufacturing VI

Proceedings of the 6th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2023, June 6–9, 2023, High Tatras, Slovak Republic – Volume 2: Mechanical and Materials Engineering

Vitalii Ivanov; Ivan Pavlenko; Oleksandr Liaposhchenko; José Machado; Milan Edl

978-3-031-32774-2

2023
Edition 1

€400
VLSI-SoC: Internet of Things Foundations

22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers

Luc Claesen; Maria-Teresa Sanz-Pascual; Ricardo Reis; Arturo Sarmiento-Reyes

978-3-319-25279-7

2015
Edition 1

€100
Programming Languages and Systems

17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Sophia Drossopoulou

978-3-540-78739-6

2008
Edition 1

€100
Computer: Aufgaben im Gesundheitswesen

Kolloquien „Computer in der Medizin - Ergebnisse und künftige Entwicklungen“ 18.–20. November 1970 in Bad Salzuflen und „Zukünftige Strukturen im Gesundheitswesen“ 6.–8. Oktober 1971 in Hannover

Nils Hollberg; B. Pleuss; H. Rittersbacher

978-3-642-61961-8

1973
Edition 1

€201
Ad Hoc Networks and Tools for IT

13th EAI International Conference, ADHOCNETS 2021, Virtual Event, December 6–7, 2021, and 16th EAI International Conference, TRIDENTCOM 2021, Virtual Event, November 24, 2021, Proceedings

Wei Bao; Xingliang Yuan; Longxiang Gao; Tom H. Luan; David Bong Jun Choi

978-3-030-98005-4

2022
Edition 1

€160
Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Roberto Bruni; Juergen Dingel

978-3-642-21461-5

2011
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
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
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
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
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
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
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
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
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
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-12
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
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
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
Application of Electro-Ultrafiltration (EUF) in Agricultural Production

Proceedings of the First International Symposium on the Application of Electro-Ultrafiltration in Agricultural Production, organized by the Hungarian Ministry of Agriculture and the Central Research Institute for Chemistry of the Hungarian Academy of Sciences, Budapest, May 610, 1980

K. Németh

978-94-009-7559-0

1982
Edition 1

€100
Model-Driven Engineering and Software Development

9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers

Luís Ferreira Pires; Slimane Hammoudi; Edwin Seidewitz

978-3-031-38821-7

2023
Edition 1

€150
Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Naoki Kobayashi; James Worrell

978-3-031-57231-9

2024
Edition 1

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

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tomáš Vojnar; Lijun Zhang

978-3-030-17465-1

2019
Edition 1

Open Access
Operations Research and Enterprise Systems

9th International Conference, ICORES 2020, Valetta, Malta, February 22–24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers

Greg H. Parlier; Federico Liberatore; Marc Demange

978-3-031-10725-2

2022
Edition 1

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

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Bernd Finkbeiner; Laura Kovács

978-3-031-57249-4

2024
Edition 1

Open Access
Applications of Declarative Programming and Knowledge Management

15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Dietmar Seipel; Michael Hanus; Ulrich Geske; Oskar Bartenstein

978-3-540-32124-8

2005
Edition 1

€100
Programming Languages and Systems

33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Stephanie Weirich

978-3-031-57262-3

2024
Edition 1

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

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Bernd Finkbeiner; Laura Kovács

978-3-031-57256-2

2024
Edition 1

Open Access
Data Management Technologies and Applications

10th International Conference, DATA 2021, Virtual Event, July 6–8, 2021, and 11th International Conference, DATA 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

Alfredo Cuzzocrea; Oleg Gusikhin; Slimane Hammoudi; Christoph Quix

978-3-031-37890-4

2023
Edition 1

€160
Robotics, Computer Vision and Intelligent Systems

First International Conference, ROBOVIS 2020, Virtual Event, November 4-6, 2020, and Second International Conference, ROBOVIS 2021, Virtual Event, October 27-28, 2021, Revised Selected Papers

Péter Galambos; Erdal Kayacan; Kurosh Madani

978-3-031-19650-8

2022
Edition 1

€150
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
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
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
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
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
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

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.