License single eBooks

Your results

View Cart

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 €360
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €144
10% OFF
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 €90
10% OFF
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 €181
10% OFF
Service Research and Innovation

5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2–3, 2015, and October 19–20, 2017, Revised Selected Papers

Amin Beheshti; Mustafa Hashmi; Hai Dong; Wei Emma Zhang

978-3-319-76587-7

2018
Edition 1
€100 €90
10% OFF
Fundamental Approaches to Software Engineering

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

Artur Boronat; Gordon Fraser

978-3-031-90900-9

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Computer Games

Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

Tristan Cazenave; Mark H.M. Winands; Hiroyuki Iida

978-3-319-05428-5

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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
- This book is open access, which means that you have free and unlimited access
Open Access
Operations Research Proceedings 2004

Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) - Jointly Organized with the Netherlands Society for Operations Research (NGB), Tilburg, September 1-3, 2004

Hein Fleuren; Dick den Hertog; Peter Kort

978-3-540-27679-1

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
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 €90
10% OFF
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
- Most up-to-date research on microelectronics design
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction

14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 – July 3, 2024, Proceedings, Part II

Hiroyuki Kajimoto; Pedro Lopes; Claudio Pacchierotti; Cagatay Basdogan; Monica Gori; Betty Lemaire-Semail; Maud Marchal

978-3-031-70061-3

2025
Edition 1
€160 €144
10% OFF
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
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100 €90
10% OFF
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 €135
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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
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 €90
10% OFF
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
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 €135
10% OFF
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
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 €144
10% OFF
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 €162
10% OFF
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 €117
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €162
10% OFF
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 €90
10% OFF
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 €153
10% OFF
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 €413
10% OFF
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 €252
10% OFF
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 €162
10% OFF
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 €181
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €360
10% OFF
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 €90
10% OFF
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 €216
10% OFF
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 €162
10% OFF
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 €162
10% OFF
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 €162
10% OFF
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 €90
10% OFF

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.