License single eBooks

Your results

View Cart

Recent Advances in Constraints

Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers

Krzysztof R. Apt; Francois Fages; Francesca Rossi; Peter Szeredi; Josef Váncza

978-3-540-24662-6

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Formal Methods for Performance Evaluation

7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Marco Bernardo; Jane Hillston

978-3-540-72522-0

2007
Edition 1
€419
Modelling and Simulation of Complex Systems for Sustainable Energy Efficiency II

Selected Contributions to the 2nd International Workshop on Modelling and Simulation of Complex Systems for Sustainable Energy Efficiency, MOSCOSSEE’2024, November 2–3, 2024, Matmata, Gabes, Tunisia

Ahmed Hammami; Abdel Kader Mahmoud; Ahmed Mohamed Yahya; Philippus Stephanus Heyns; Majdi Yangui; Mohamed Haddar

978-3-032-00930-2

2025
Edition 1
- Reports on advances in modelling and simulation of complex systems
- Highlights applications relating to renewable and hybrid energy systems
- Covers analytical and finite element modelling, and AI applications
€340
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 2: Mechanical Engineering

Raul D. Campilho; Vitalii Ivanov; Gustavo Filipe Pinto; Andresa Baptista; Francisco J. G. Silva

978-3-031-95218-0

2025
Edition 1
- Reports on comprehensive research methods in mechanics for various industrial applications
- Describes advanced modeling, simulation, control, and diagnostic techniques
- Second volume of a 4-volume set
€439
Technological Innovation for AI-Powered Cyber-Physical Systems

16th IFIP WG 5.5 / SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2025, Caparica, Portugal, July 2 - 4, 2025, Proceedings

Luis M. Camarinha-Matos; Filipa Ferrada

978-3-031-97051-1

2025
Edition 1
€220
Privacy and Identity Management for Life

6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers

Simone Fischer-Hübner; Penny Duquenoy; Marit Hansen; Ronald Leenes; Ge Zhang

978-3-642-20769-3

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Design, User Experience, and Usability: Interactive Experience Design

4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III

Aaron Marcus

978-3-319-20889-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Universal Access in Human-Computer Interaction. Access to Interaction

9th International Conference, UAHCI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

Margherita Antona; Constantine Stephanidis

978-3-319-20681-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Nora verläßt ihr Puppenheim

Autorinnen des 20. Jahrhunderts und ihr Beitrag zur ästhetischen Innovation. Dokumentation eines Symposiums am 2. und 3. Dezember 1999, Universität-GHS Siegen

Waltraud Wende

978-3-476-02693-4

2000
Edition 1
€107
Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health

6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

Vincent G. Duffy

978-3-319-21070-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Structural Stability in Physics

Proceedings of Two International Symposia on Applications of Catastrophe Theory and Topological Concepts in Physics Tübingen, Fed. Rep. of Germany, May 2–6 and December 11–14, 1978

G. Güttinger; H. Eikemeier

978-3-642-67363-4

1979
Edition 1
€100
Local Solutions for Global Challenges

20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2–4, 2025, Proceedings, Part II

Samir Chatterjee; Jan vom Brocke; Ricardo Anderson

978-3-031-93979-2

2025
Edition 1
€146
Farm animal proteomics 2013

Proceedings of the 4th Management Committee Meeting and 3rd Meeting of Working Groups 1, 2 & 3 of COST Action FA1002 Košice, Slovakia - 25-26 April 2013

André de Almeida; David Eckersall; Elena Bencurova; Saskia Dolinska; Patrik Mlynarcik; Miroslava Vincova; Mangesh Bhide

978-90-8686-776-9

2013
Edition 1
- Reflects the will of a group of scientists that merge innovation with excellence of research
- Of interest to scientists at the early stages of their careers as well as to researchers well established in the field and to whom proteomics may be the necessary next step towards more in-depth research activities
- A witness to the vitality of the area and the importance it holds to animal and food research, to science, industry, government agencies, the consumer and ultimately the society as a whole
€118
Design, User Experience, and Usability: Users and Interactions

4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

Aaron Marcus

978-3-319-20898-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Universal Access in Human-Computer Interaction. Access to the Human Environment and Culture

9th International Conference, UAHCI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part IV

Margherita Antona; Constantine Stephanidis

978-3-319-20687-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Intelligent Information Hiding and Multimedia Signal Processing

Proceeding of the 16th International Conference on IIHMSP in conjunction with the 13th international conference on FITAT, November 5-7, 2020, Ho Chi Minh City, Vietnam, Volume 2

Jeng-Shyang Pan; Jianpo Li; Keun Ho Ryu; Zhenyu Meng; Aleksandra Klasnja-Milicevic

978-981-33-6757-9

2021
Edition 1
- Presents recent innovative research in the field of information technology
- Discusses the outcomes of IIHMSP 2020, held in Ho Chi Minh City, Vietnam
- Serves as a reference resource for researchers and practitioners in academia and industry
€400
Current Problems in Fertility

Based on the IFA Symposium held in Stockholm, Sweden, April 2–4, 1970. Sponsored by Åhlen-stiftelsen, Sven och Dagmar Saléns stiftelse, and Roland Lundborg, M.D.

Axel Ingelman-Sundberg

978-1-4615-8651-7

1971
Edition 1
€100
Global Optimization and Constraint Satisfaction

First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers

Christian Bliek; Christophe Jermann; Arnold Neumaier

978-3-540-39901-8

2003
Edition 1
€100
Wireless and Mobile Networking

IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30 - October 2, 2008

Zoubir Mammeri

978-0-387-84839-6

2008
Edition 1
- Peer-reviewed and carefully selected
- Much information in this series is published in advance of journal publication
- The contributors in this volume are world-renowned experts in their field
€280
Cross-Cultural Design: Applications in Mobile Interaction, Education, Health, Tarnsport and Cultural Heritage

7th International Conference, CCD 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

P.L. Patrick Rau

978-3-319-20934-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being

9th International Conference, UAHCI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III

Margherita Antona; Constantine Stephanidis

978-3-319-20684-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Schwachstellen der Nitrat- und Ammoniumassimilation — eine Chance für die Gentechnik?

Vorgelegt in der Sitzung vom 2. Juli 1994 als Abschlußbericht des Forschungsprojekts „Regulation von Schwachstellen der Nitratassimilation“ der Heidelberger Akademie der Wissenschaften

Hans Mohr; Armin Neininger

978-3-642-46814-8

1994
Edition 1
€201
Teil 1: Konstitution. Allergische Krankheiten. Krankheiten der Knochen, Gelenke und Muskeln. Teil 2: Krankheiten aus äußeren physikalischen Ursachen. Ernährungskrankheiten. Vitamine und Vitaminkrankeiten

Friedrich Curtius; William H. Adolph

978-3-642-94628-8

1954
Edition 4
€257
ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Frederic Boniol; Virginie Wiels; Yamine Ait Ameur; Klaus-Dieter Schewe

978-3-319-07512-9

2014
Edition 1
€100
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
Principles of Security and Trust

5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Frank Piessens; Luca Viganò

978-3-662-49635-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Foundations of Software Science and Computation Structures

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

Patricia Bouyer; Lutz Schröder

978-3-030-99253-8

2022
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Der patentrechtliche Schutz von Daten und seine Grenzen

Gleichzeitig ein Beitrag zum Erfordernis der Technizität informationsbezogener Erfindungen sowie der Körperlichkeit von Erzeugnissen im Sinne des § 9 S. 2 Nr. 1 PatG

Dr. jur. Fabian Landscheidt

978-3-658-43119-8

2024
Edition 1
- Dies ist ein Open-Access-Buch, was bedeutet, dass Sie freien und uneingeschränkten Zugang haben.
Open Access
Fundamental Approaches to Software Engineering

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Perdita Stevens; Andrzej Wąsowski

978-3-662-49665-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Marsha Chechik; Jean-François Raskin

978-3-662-49674-9

2016
Edition 1
€100
Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Bart Jacobs; Christof Löding

978-3-662-49630-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Tiziana Margaria; Wang Yi

978-3-540-45319-2

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180
A Modern Course on Statistical Distributions in Scientific Work

Volume 2 — Model Building and Model Selection Proceedings of the NATO Advanced Study Institute held at the University of Calgary, Calgary, Alberta, Canada July 29 – August 10, 1974

Ganapati P. Patil; S. Kotz; J.K. Ord

978-94-010-1845-6

1975
Edition 1
€400
Dielectric Properties of Polymers

Proceedings of a Symposium held on March 29–30, 1971, in connection with the 161st National Meeting of the American Chemical Society in Los Angeles, California, March 28 – April 2, 1971

Frank Karasz

978-1-4615-8669-2

1972
Edition 1
€100
Multi-lingual Information Access in South Asian Languages

Second and Third Workshop of the Forum for Information Retrieval, FIRE 2010 and FIRE 2011, held in Gandhinagar, India, February 19-20, and in Bombay, India, December 2-4, 2011

Prasenjit Majumder; Mandar Mitra; Pushpak Bhattacharya; L. Venkata Subramaniam; Danish Contractor; Paolo Rosso

978-3-642-40087-2

2013
Edition 1
- Second and Third Workshop on Multi-lingual Information Access in South Asian Languages, FIRE 2010 and 2011
€100
Enabling Real-Time Business Intelligence

5th International Workshop, BIRTE 2011, Held at the 37th International Conference on Very Large Databases, VLDB 2011, Seattle, WA, USA, September 2, 2011, Revised Selected Papers

Malu Castellanos; Umeshwar Dayal; Wolfgang Lehner

978-3-642-33500-6

2012
Edition 1
- Fast track proceedings
€90
Advances in Design, Simulation and Manufacturing V

Proceedings of the 5th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2022, June 7–10, 2022, Poznan, Poland – Volume 2: Mechanical and Chemical Engineering

Vitalii Ivanov; Ivan Pavlenko; Oleksandr Liaposhchenko; José Machado; Milan Edl

978-3-031-06044-1

2022
Edition 1
- Reports on comprehensive research methods in mechanical and chemical engineering
- Describes advanced findings relating to the mechanics of solids and structures
- Discusses energy-efficient technologies and their industrial applications
€320
Fundamental Approaches to Software Engineering

4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings

Heinrich Hussmann

978-3-540-45314-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Information Technology for Management: Business and Social Issues

16th Conference, ISM 2021, and FedCSIS-AIST 2021 Track, Held as Part of FedCSIS 2021, Virtual Event, September 2–5, 2021, Extended and Revised Selected Papers

Ewa Ziemba; Witold Chmielarz

978-3-030-98997-2

2022
Edition 1
€90
Handbuch Pharma-Management

Band 1 Entscheidungs- und Marktstrukturen Pressure Group Management Marketing-Management / Band 2 Informationsmanagement Forschungs- und Innovationsmanagement Human Resources Management Recht und Management

Michael Lonsert; Klaus-Jürgen Preuß; Eckhard Kucher

978-3-322-90784-4

1995
Edition 1
€374
Foundations of Software Science and Computation Structures

4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Furio Honsell; Marino Miculan

978-3-540-45315-4

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Fundamental Approaches to Software Engineering

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

Einar Broch Johnsen; Manuel Wimmer

978-3-030-99429-7

2022
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Compiler Construction

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

Reinhard Wilhelm

978-3-540-45306-2

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Design, Simulation and Manufacturing IV

Proceedings of the 4th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2021, June 8–11, 2021, Lviv, Ukraine – Volume 2: Mechanical and Chemical Engineering

Vitalii Ivanov; Ivan Pavlenko; Oleksandr Liaposhchenko; José Machado; Milan Edl

978-3-030-77823-1

2021
Edition 1
- Reports on the application of computational methods in mechanical and chemical engineering
- Describes advanced findings relating to the mechanics of solids and structures
- Discusses energy-efficient technologies and their industrial applications
€280
Advances in Design, Simulation and Manufacturing III

Proceedings of the 3rd International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2020, June 9-12, 2020, Kharkiv, Ukraine – Volume 2: Mechanical and Chemical Engineering

Vitalii Ivanov; Ivan Pavlenko; Oleksandr Liaposhchenko; José Machado; Milan Edl

978-3-030-50491-5

2020
Edition 1
- Reports on computational methods in mechanical and chemical engineering
- Describes advanced findings relating to the mechanics of solids and structures
- Discusses energy-efficient technologies and their industrial applications
€280
Prerational Intelligence: Adaptive Behavior and Intelligent Systems Without Symbols and Logic , Volume 1, Volume 2 Prerational Intelligence: Interdisciplinary Perspectives on the Behavior of Natural and Artificial Systems, Volume 3

Holk Cruse; Jeffrey Dean; Helge Ritter

978-94-010-0870-9

2000
Edition 1
€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
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
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
Programming Languages and Systems

25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Peter Thiemann

978-3-662-49498-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100

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.