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

Not published yet

Available from
2026-03-17
Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 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

Susanne Graf; Michael Schwartzbach

978-3-540-46419-8

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Compiler Construction

9th International Conference, CC 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

David A. Watt

978-3-540-46423-5

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Performance Engineering

9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Mirco Tribastone; Stephen Gilmore

978-3-642-36781-6

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90
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
Programming Languages and Systems

31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Ilya Sergey

978-3-030-99336-8

2022
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
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
- Reports on advanced design and modeling of drives and control systems
- Describes advanced findings relating to materials and process engineering
- Second volume of a 2-volume set
€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
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
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€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
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
- Presents Innovations in Bio-Inspired Computing and Applications
- Covers Proceedings of the 14th International Conference on Innovations in Bio-Inspired Computing and Applications
- Written by prominent experts in the field
€380
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
- Includes supplementary material: sn.pub/extras
€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
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
- Includes supplementary material: sn.pub/extras
€100
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
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
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

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
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
- Includes supplementary material: sn.pub/extras
€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
- This book is open access, which means that you have free and unlimited access
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
- Includes supplementary material: sn.pub/extras
€100
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
- Includes supplementary material: sn.pub/extras
€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
- Includes supplementary material: sn.pub/extras
€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
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
- This book is open access, which means that you have free and unlimited access
Open Access
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
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
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
- Includes supplementary material: sn.pub/extras
€80
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
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
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
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
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
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
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
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
- Advances the work explored in earlier proceedings of this conference to offer an updated look at the challenges facing the networking industry
- Key areas covered include: Network Policy, Network Security, Quality of Service, Wireless Networks, Intelligent Networks, and Performance Evaluation
- Includes supplementary material: sn.pub/extras
€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 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
- Reports on results from health technology assessment processes
- Covers the design and evaluation of medical devices
- Highlight advances in medical informatics and signal/image processing
€460
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
- Includes supplementary material: sn.pub/extras
€100
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
- Das bewährte Kompendium jetzt mit Zusatznutzen:
- Zwei topaktualisierte Bände mit Grundlagen und Therapie
- Plus ein Zusatzband mit Indikationen und Therapieschemata
- Kompaktes Praxiswissen sofort griffbereit!
- Includes supplementary material: sn.pub/extras
€701
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
- Includes supplementary material: sn.pub/extras
€180
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
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
- Includes supplementary material: sn.pub/extras
€419
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
- Includes supplementary material: sn.pub/extras
€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.