License single eBooks

Your results

View Cart

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 2)

V. I. Mayorova; A. I. Komkin

978-3-032-05754-9

2026
Edition 1

€459

Not published yet

Available from
2026-03-17
Balancing Agility and Formalism in Software Engineering

Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

Bertrand Meyer; J.R. Nawrocki; Bartosz Walter

978-3-540-85279-7

2008
Edition 1

€100
Bio-Inspired Computing

Proceedings of the 14th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2023) held during December 14-15, 2023, Volume 2: Deep Learning and Large Language Models

Anu Bajaj; Ajith Abraham; Ryotaro Kamimura

978-3-031-78940-3

2025
Edition 1

€380
Advances in Design, Simulation and Manufacturing VII

Proceedings of the 7th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2024, June 4–7, 2024, Pilsen, Czech Republic - Volume 2: Mechanical and Materials Engineering

Vitalii Ivanov; Ivan Pavlenko; Milan Edl; Jose Machado; Jinyang Xu

978-3-031-63720-9

2024
Edition 1

€419
Technological Innovation for Resilient Systems

9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

Luis M. Camarinha-Matos; Kankam O. Adu-Kankam; Mohammad Julashokri

978-3-319-78574-5

2018
Edition 1

€100
Programming Languages and Systems

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

David Sands

978-3-540-45309-3

2001
Edition 1

€100
Foundation of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Jerzy Tiuryn

978-3-540-46432-7

2000
Edition 1

€100
Advances in Software Engineering Techniques

4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka

978-3-642-28038-2

2012
Edition 1

€100
Euro-Par 2011: Parallel Processing Workshops

CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I

Michael Alexander; Pasqua D'Ambra; Adam Belloum; George Bosilca; Mario Cannataro; Marco Danelutto; Beniamino Di Martino; Michael Gerndt; Emmanuel Jeannot; Raymond Namyst; Jean Roman; Stephen L. Scott; Jesper Larsson Traff; Geoffroy Vallee; Josef Weidendorfer

978-3-642-29737-3

2012
Edition 1

€100
Foundations of Software Science and Computation Structures

7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Igor Walukiewicz

978-3-540-24727-2

2004
Edition 1

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

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Holger Hermanns; Jens Palsberg

978-3-540-33057-8

2006
Edition 1

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

10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Kurt Jensen; Andreas Podelski

978-3-540-24730-2

2004
Edition 1

€180
Circumstellar Matter 1994

Proceedings of an International Conference to Celebrate the Centenary of the Royal Observatory, Edinburgh, held at the Edinburgh Conference Centre, Heriot-Watt University, Riccarton, Edinburgh, Scotland, 29 August – 2 September, 1994

Graeme D. Watt; Peredur M. Williams

978-94-011-0147-9

1995
Edition 1

€100
Privacy and Identity Management

17th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Privacy and Identity 2022, Virtual Event, August 30–September 2, 2022, Proceedings

Felix Bieker; Joachim Meyer; Sebastian Pape; Ina Schiering; Andreas Weich

978-3-031-31971-6

2023
Edition 1

€140
Fundamental Approaches to Software Engineering

7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings

Michel Wermelinger; Tiziana Margaria-Steffen

978-3-540-24721-0

2004
Edition 1

€100
Compiler Construction

13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Evelyn Duesterwald

978-3-540-24723-4

2004
Edition 1

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

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

Dana Fisman; Grigore Rosu

978-3-030-99524-9

2022
Edition 1

Open Access
Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Tom Maibaum

978-3-540-46428-0

2000
Edition 1

€100
Parallel and Distributed Processing

10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings

Jose Rolim

978-3-540-69756-5

1998
Edition 1

€180
Formal Techniques for Distributed Systems

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

Dirk Beyer; Michele Boreale

978-3-642-38592-6

2013
Edition 1

€100
Sprachverarbeitung in Information und Dokumentation

Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV) in Kooperation mit der Fachgruppe 3 „Natürlichsprachliche Systeme“ im FA1.2 der Gesellschaft für Informatik (Gl),Hannover, 5.–7. März 1985 Proceedings

Brigitte Endres-Niggemeyer; Jürgen Krause

978-3-642-70866-4

1985
Edition 1

€201
Über die Wirkung von Bädern mit verschiedenem Kochsalz- und CO2-Gehalt auf Gesunde und Kranke mit Funktionsstörungen des kardio-pulmonalen Systems

I. Mitteilung Das Verhalten der Funktionsgrößen des kardio-pulmonalen Systems im CO2-haltigen Solbad bei gleicher Temperatur, gleicher Wasserhöhe und gleicher Badedauer (Arbeitsergebnisse bis zum 1. 3. 1962)

Bernhard Lüderitz; Walter Noder

978-3-663-20416-9

1964
Edition 1

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

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Dana Fisman; Grigore Rosu

978-3-030-99527-0

2022
Edition 1

Open Access
Programming Languages and Systems

13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

David Schmidt

978-3-540-24725-8

2004
Edition 1

€240
Programming Languages and Systems

9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings

Gert Smolka

978-3-540-46425-9

2000
Edition 1

€100
Materials Science Research

Volume 2 The Proceedings of the 1964 Southern Metals/ Materials Conference on Advances in Aerospace Materials, held April 16–17, 1964, at Orlando, Florida, hosted by the Orlando Chapter of the American Society of Metals

H. Otte

978-1-4684-7450-3

1965
Edition 1

€100
Transport and Chemical Transformation in the Troposphere

Proceedings of EUROTRAC Symposium 2000 Garmisch-Partenkirchen, Germany 27–31 March 2000 Eurotrac-2 International Scientific Secretariat GSF-National Research Center for Environment and Health Munich, Germany

Pauline M. Midgley; Markus J. Reuther; Marilee Williams

978-3-642-56722-3

2001
Edition 1

€280
Numerische Methoden bei graphentheoretischen und kombinatorischen Problemen

Band 2: Vortragsauszüge der Tagung über numerische Methoden bei graphentheoretischen und kombinatorischen Problemen vom 7. bis 12. Mai 1978 im Mathematischen Forschungsinstitut Oberwolfach (Schwarzwald)

COLLATZ; MEINARDUS; WETTERLING

978-3-0348-5997-4

1979
Edition 1

€168
Satellite Events at the MoDELS 2005 Conference

MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

Jean-Michel Bruel

978-3-540-31781-4

2006
Edition 1

€100
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
Klinische Elektroencephalographie

7. Kongress der Deutschen EEG-Gesellschaft, Deutsche Sektion der Internationalen Gesellschaft für EEG und Angewandte Neurophysiologie, Bad Nauheim, vom 2. bis 4. Oktober 1958

Rudolf Janzen

978-3-642-52722-7

1961
Edition 1

€201
Hybrid Systems Biology

Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Oded Maler; Ádám Halász; Thao Dang; Carla Piazza

978-3-319-27656-4

2015
Edition 1

€80
Grundzüge des Ueberspannungsschutzes in Theorie und Praxis

Erweiterte Wiedergabe eines Vortrages, gehalten in der 2. Sitzung der Kommission für Ueberspannungsschutz des Schweizer. Elektrotechnischen Vereins und des Verbands Schweizer. Elektrizitätswerke am 17. Januar 1914

Karl Kuhlmann

978-3-662-25664-0

1914
Edition 1

€168
Euro-Par 2011: Parallel Processing Workshops

CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part II

Michael Alexander; Pasqua D'Ambra; Adam Belloum; George Bosilca; Mario Cannataro; Marco Danelutto; Beniamino Di Martino; Michael Gerndt; Emmanuel Jeannot; Raymond Namyst; Jean Roman; Stephen L. Scott; Jesper Larsson Traff; Geoffroy Vallee; Josef Weidendorfer

978-3-642-29740-3

2012
Edition 1

€100
Physiology of Movements / Physiologie der Bewegungen

Part 2: Movements due to the Effects of Temperature, Gravity, Chemical Factors and Internal Factors / Teil2: Bewegungen durch Einflüsse der Temperatur, Schwerkraft, Chemischer Faktoren und aus Inneren Ursachen

E. Bünning

978-3-642-94852-7

1962
Edition 1

€173
Die Staublungenerkrankungen

Bericht über die 3. Internationale Staublungen-Tagung des Staatsinstitutes für Staublungenforschung und Gewerbehygiene beim Hygiene-Institut der Westfälischen Wilhelms-Universität Münster/Westf. vom 29. bis 31. Oktober 1957

Karl W. Jötten; Werner Klosterkötter

978-3-662-21806-8

1958
Edition 1

€187
Access Networks

5th International ICST Conference on Access Networks, AccessNets 2010 and First International Workshop on Automatic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Revised Selected Papers, Budapest, Hungary, November 3-5, 2010

Robert Szabó; Hua Zhu; Sándor Imre; Ranganai Chaparadza

978-3-642-20931-4

2011
Edition 1

€100
Vorträge der IX. Fortbildungswoche der Dermatologischen Klinik und Poliklinik der Ludwig-Maximilians-Universität München in Verbindung mit dem Berufsverband der Deutschen Dermatologen e.V. vom 30. Juli bis 3. August 1979

O. Braun-Falco; H. H. Wolff

978-3-642-81412-9

1979
Edition 1

€201
Merkblatt enthaltend Richtlinien für die Ernährung gesunder und kranker Kinder bis zum 2. Lebensjahre in der Kriegszeit vom Kaiserl. Gesundheitsamt unter Mitw. von prakt. Sachverst. hrsg

Kaiserliches Gesundheitsamt

978-3-662-42387-5

1917
Edition 1

€187
Die Berner Uebereinkunft zum Schutze von Werken der Literatur und Kunst vom 9. September 1886 revidiert in Berlin am 13. November 1908 und in Rom am 2. Juni 1928

Willy Hoffmann

978-3-662-29087-3

1935
Edition 1

€201
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 2: Health Technology Assessment, Biomedical Signal Processing, Medicine and Informatics

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

978-3-031-62520-6

2024
Edition 1

€460
Innovative Intelligent Industrial Production and Logistics

First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers

Alexander Smirnov; Hervé Panetto; Kurosh Madani

978-3-031-37228-5

2023
Edition 1

€130
Network Control and Engineering for QOS, Security and Mobility, III

IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8. Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain

Dominique Gaïti; Sebastià Galmés; Ramon Puigjaner

978-0-387-23198-3

2005
Edition 1

€280
Viktor von Weizsäcker zum 100. Geburtstag

Beiträge zum Symposion der Universität Heidelberg (1.–3.5.1986) sowie der 24. Arbeitstagung des Deutschen Kollegiums für Psychosomatische Medizin (5. 3. 1986) und der 36. Lindauer Psychotherapiewochen (19. 4. 1986)

P. Hahn; W. Jacob

978-3-642-95500-6

1987
Edition 1

€201
Kompendium Internistische Onkologie. Standards in Diagnostik und Therapie

Teil 1: Grundlagen, Richtlinien, Antineoplastische Substanzen, Toxizitäten, Prophylaktische und Supportive Therapie, Adressen. Teil 2: Therapie von Leukämien, Lymphomen, Soliden Tumoren, Spezielle Therapiemodalitäten,Regionale Chemotherapie, Notfälle. Tei

Hans-Joachim Schmoll; Klaus Höffken; Kurt Possinger

978-3-662-42627-2

1999
Edition 3

€701
Distributed Applications and Interoperable Systems

15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Alysson Bessani; Sara Bouchenak

978-3-319-19129-4

2015
Edition 1

€100
Reactor Dosimetry

Volume 1 Volume 2 Dosimetry Methods for Fuels, Cladding and Structural Materials Proceedings of the Fifth ASTM-Euratom Symposium on Reactor Dosimetry, GKSS Research Centre, Geesthacht, F.R.G., September 24–28, 1984

J.P. Genthon; Heinz Röttger

978-94-009-5378-9

1985
Edition 1

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

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

35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Susanne Graf; Mahesh Viswanathan

978-3-319-19195-9

2015
Edition 1

€100
Multi-Agent Systems and Applications

9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers

Michael Luck; Vladimir Marik; Olga Stepankova; Robert Trappl

978-3-540-47745-7

2001
Edition 1

€419

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.