License single eBooks

Your results

View Cart

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
- This book is open access, which means that you have free and unlimited access
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
- This book is open access, which means that you have free and unlimited access
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
- Reports on advanced design and modeling of drives and control systems
- Describes advanced findings relating to process engineering
- Reports on advanced materials and composites, and on their industrial applications
€400
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
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
- Includes supplementary material: sn.pub/extras
€100
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
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
- Presents Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration
- Provides cutting-edge research on system modeling, spacecraft materials, and the development of aerospace education
- Contains proceedings of the of the XLVI, XLVII Academic Space Conference
€459
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
- Includes supplementary material: sn.pub/extras
€180
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
- This book is open access, which means that you have free and unlimited access
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
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
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
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
- Presents latest findings from operations research (OR)
- Gathers selected papers from a leading OR conference
- Summarizes the perspectives of OR researchers on recent and upcoming challenges
€280
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
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€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
- fast-track conference proceedings
€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
- Reports on design methods for metals, composites, polymers, and nanomaterials
- Covers findings relating to engineering education and professional growth
- Third volume of a 4-volume set
€400
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
- This book is open access, which means that you have free and unlimited access
Open Access
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
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
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
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
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
- This book is open access, which means that you have free and unlimited access
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
- This book is open access, which means that you have free and unlimited access
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
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
- This book is open access, which means that you have free and unlimited access
Open Access
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
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 II

Stephanie Weirich

978-3-031-57267-8

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
VLSI-SoC: Design Trends

28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6–9, 2020, Revised and Extended Selected Papers

Andrea Calimera; Pierre-Emmanuel Gaillardon; Kunal Korgaonkar; Shahar Kvatinsky; Ricardo Reis

978-3-030-81641-4

2021
Edition 1
€240
Natural Language Understanding and Intelligent Applications

5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2–6, 2016, Proceedings

Chin-Yew Lin; Nianwen Xue; Dongyan Zhao; Xuanjing Huang; Yansong Feng

978-3-319-50496-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Unusual DNA Structures

Proceedings of the First Gulf Shores Symposium, held at Gulf Shores State Park Resort, April 6–8 1987, sponsored by the Department of Biochemistry, Schools of Medicine and Dentistry, University of Alabama at Birmingham, Birmingham, Alabama

R.D. Wells; S.C. Harvey

978-1-4612-3800-3

1988
Edition 1
€180
Molecular Mechanisms of Microbial Adhesion

Proceedings of the Second Gulf Shores Symposium, held at Gulf Shores State Park Resort, May 6–8 1988, sponsored by the Department of Biochemistry, Schools of Medicine and Dentistry, University of Alabama at Birmingham, Birmingham, Alabama

Lech Switalski; Magnus Höök; Edwin Beachey

978-1-4612-3590-3

1989
Edition 1
€180
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
- This book is open access, which means that you have free and unlimited access
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
- This book is open access, which means that you have free and unlimited access
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
- Includes supplementary material: sn.pub/extras
€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
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
- der einzige en-detail-Vergleich der größten ERP-Systeme
€220

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.