License single eBooks

Your results

View Cart

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Erika Ábrahám; Catuscia Palamidessi

978-3-662-43613-4

2014
Edition 1

€100
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
Electronic Publishing, Artistic Imaging, and Digital Typography

7th International Conference on Electronic Publishing, EP'98 Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo France, March 30 - April 3, 1998

Roger Hersch; Jacques Andre; Heather Brown

978-3-540-69718-3

1998
Edition 1

€100
Distributed Applications and Interoperable Systems

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

Jim Dowling; François Taïani

978-3-642-38541-4

2013
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
Universal Access in Human-Computer Interaction. User and Context Diversity

16th International Conference, UAHCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Margherita Antona; Constantine Stephanidis

978-3-031-05039-8

2022
Edition 1

€220
Cross-Cultural Design. Product and Service Design, Mobility and Automotive Design, Cities, Urban Areas, and Intelligent Environments Design

14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part IV

Pei-Luen Patrick Rau

978-3-031-06053-3

2022
Edition 1

€200
Programming Languages and Systems

16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Rocco De Nicola

978-3-540-71316-6

2007
Edition 1

€180
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 1: Medical Devices, Measurements, and Artificial Intelligence Applications

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

978-3-031-62502-2

2024
Edition 1

€460
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 1)

V. I. Mayorova; A. I. Komkin

978-3-032-05751-8

2026
Edition 1

€459
Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms

AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers

Han La Poutré; Norman Sadeh; Sverker Janson

978-3-540-46243-9

2006
Edition 1

€100
Design, User Experience, and Usability: Design for Emotion, Well-being and Health, Learning, and Culture

11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Marcelo M. Soares; Elizabeth Rosenzweig; Aaron Marcus

978-3-031-05900-1

2022
Edition 1

€180
Principles of Security and Trust

First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Pierpaolo Degano; Joshua D. Guttman

978-3-642-28641-4

2012
Edition 1

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

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Cormac Flanagan; Barbara König

978-3-642-28756-5

2012
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 1: Manufacturing Engineering

Vitalii Ivanov; Justyna Trojanowska; Ivan Pavlenko; Erwin Rauch; Ján Piteľ

978-3-031-32767-4

2023
Edition 1

€419
Machine Learning and Knowledge Extraction

First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 – September 1, 2017, Proceedings

Andreas Holzinger; Peter Kieseberg; A Min Tjoa; Edgar Weippl

978-3-319-66808-6

2017
Edition 1

€100
Learning and Collaboration Technologies. Novel Technological Environments

9th International Conference, LCT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Panayiotis Zaphiris; Andri Ioannou

978-3-031-05675-8

2022
Edition 1

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

13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Orna Grumberg; Michael Huth

978-3-540-71209-1

2007
Edition 1

€180
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Health, Operations Management, and Design

13th International Conference, DHM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Vincent G. Duffy

978-3-031-06018-2

2022
Edition 1

€146
In Memory Data Management and Analysis

First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers

Arun Jagatheesan; Justin Levandoski; Thomas Neumann; Andrew Pavlo

978-3-319-13960-9

2015
Edition 1

€80
Social Computing and Social Media: Applications in Education and Commerce

14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Gabriele Meiselwitz

978-3-031-05064-0

2022
Edition 1

€160
Fundamental Approaches to Software Engineering

15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Juan de Lara; Andrea Zisman

978-3-642-28872-2

2012
Edition 1

€100
Virtual, Augmented and Mixed Reality: Applications in Education, Aviation and Industry

14th International Conference, VAMR 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Jessie Y. C. Chen; Gino Fragomeni

978-3-031-06015-1

2022
Edition 1

€160
Modern Approaches in Applied Intelligence

24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II

Kishan G. Mehrotra; Chilukuri Krishna Mohan; Jae C. Oh; Pramod K. Varshney; Moonis Ali

978-3-642-21827-9

2011
Edition 1

€180
Compiler Construction

21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Michael O'Boyle

978-3-642-28652-0

2012
Edition 1

€100
Cross-Cultural Design. Applications in Learning, Arts, Cultural Heritage, Creative Industries, and Virtual Reality

14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Pei-Luen Patrick Rau

978-3-031-06047-2

2022
Edition 1

€220
Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Helmut Seidl

978-3-540-71389-0

2007
Edition 1

€100
Cross-Cultural Design. Applications in Business, Communication, Health, Well-being, and Inclusiveness

14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III

Pei-Luen Patrick Rau

978-3-031-06050-2

2022
Edition 1

€160
Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Matthew B. Dwyer; Antonia Lopes

978-3-540-71289-3

2007
Edition 1

€100
Human Aspects of IT for the Aged Population. Technology in Everyday Living

8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Qin Gao; Jia Zhou

978-3-031-05654-3

2022
Edition 1

€200
Distributed, Ambient and Pervasive Interactions. Smart Living, Learning, Well-being and Health, Art and Creativity

10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

Norbert A. Streitz; Shin'ichi Konomi

978-3-031-05431-0

2022
Edition 1

€160
Statistical Distributions in Scientific Work

Volume 4 — Models, Structures, and Characterizations, Proceedings of the NATO Advanced Study Institute held at the Università degli Studi di Trieste, Trieste, Italy, July 10 – August 1, 1980

Charles Taillie; Ganapati P. Patil; Bruno A. Baldessari

978-94-009-8549-0

1981
Edition 1

€400
Robotics

12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers

Fernando Santos Osório; Rogério Sales Gonçalves

978-3-319-47247-8

2016
Edition 1

€100
Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Lars Birkedal

978-3-642-28729-9

2012
Edition 1

€100
Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies

11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III

Marcelo M. Soares; Elizabeth Rosenzweig; Aaron Marcus

978-3-031-05906-3

2022
Edition 1

€180
Decision Support Systems III - Impact of Decision Support Systems for Global Environments

Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers

Fátima Dargam; Jorge E. Hernández; Pascale Zaraté; Shaofeng Liu; Rita Ribeiro; Boris Delibašić; Jason Papathanasiou

978-3-319-11364-7

2014
Edition 1

€80
Wissenschaftliche Gesellschaft für Flugtechnik

Stenographischer Bericht über die Versammlung von Vertretern der Luftfahrt-Wissenschaft- und Technik zwecks Gründung der Gesellschaft im Saale 2 des Herrenhausgebäudes zu Berlin am Mittwoch den 3. April 1912

Gustav Schade

978-3-662-26602-1

1912
Edition 1

€187
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
Wissenschaftliche Gesellschaft für Flugtechnik

Stenographischer Bericht über die Versammlung von Vertretern der Luftfahrt-Wissenschaft- und Technik zwecks Gründung der Gesellschaft im Saale 2 des Herrenhausgebäudes zu Berlin am Mittwoch den 3. April 1912

Gustav Schade

978-3-642-52582-7

1912
Edition 1

€187
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
Fundamental Approaches to Software Engineering

24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Esther Guerra; Mariëlle Stoelinga

978-3-030-71500-7

2021
Edition 1

Open Access
Relations and Kleene Algebra in Computer Science

11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

Rudolf Berghammer; Ali Jaoua; Bernhard Möller

978-3-642-04639-1

2009
Edition 1

€100
Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Helmut Seidl

978-3-642-28869-2

2012
Edition 1

€100
Principles and Practice of Multi-Agent Systems

International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers

Matteo Baldoni; Cristina Baroglio; Floris Bex; Floriana Grasso; Nancy Green; Mohammad-Reza Namazi-Rad; Masayuki Numao; Merlin Teodosia Suarez

978-3-319-46218-9

2016
Edition 1

€100
Innere Medizin

Ein Lehrbuch für Studierende der Medizin und Ärzte. 1: Allgemeine Grundlagen und Grundregeln der Heilkunde · Infektionskrankheiten · Rheumatische Erkrankungen · Cancerologie Blut · Herz und Kreislauf · Atmungsorgane

Hans A. Kühn; Ludwig Heilmeyer

978-3-642-96082-6

1971
Edition 3

€486
Foundations of Software Science and Computation Structures

24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Stefan Kiefer; Christine Tasson

978-3-030-71995-1

2021
Edition 1

Open Access
Decision Support Systems – Collaborative Models and Approaches in Real Environments

Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011, Revised Selected and Extended Papers

Hernandez Jorge; Pascale Zarate; Fatima Dargam; Boris Delibašić; Shaofeng Liu; Rita Ribeiro

978-3-642-32191-7

2012
Edition 1

€90

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.