License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

View Cart

Tools and Algorithms for the Construction and Analysis of Systems

9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Hubert Garavel; John Hatcliff

978-3-540-36577-8

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
VLSI-SoC: Design for Reliability, Security, and Low Power

23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers

Youngsoo Shin; Chi Ying Tsui; Jae-Joon Kim; Kiyoung Choi; Ricardo Reis

978-3-319-46097-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Foundations of Software Science and Computational Structures

6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Andrew D. Gordon

978-3-540-36576-1

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Fundamental Approaches to Software Engineering

6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Mauro Pezzè

978-3-540-36578-5

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Intelligent Human Systems Integration 2019

Proceedings of the 2nd International Conference on Intelligent Human Systems Integration (IHSI 2019): Integrating People and Intelligent Systems, February 7-10, 2019, San Diego, California, USA

Waldemar Karwowski; Tareq Ahram

978-3-030-11051-2

2019
Edition 1
- Highlights research aimed at integrating people with intelligent and automated systems
- Discusses best practices in virtual, augmented, and mixed reality systems
- Covers applications in industry, the economy, government, and education
€400 €360
10% OFF
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
Ingenieurgeologie und Geomechanik als Grundlagen des Felsbaues / Engineering Geology and Geomechanics as Fundamentals of Rock Engineering

Vorträge des 30. Geomechanik-Kolloquiums der Österreichischen Gesellschaft für Geomechanik / Contributions to the 30th Geomechanical Colloquium of the Austrian Society for Geomechanics, Salzburg 7.–9. Oktober 1981

L. Müller

978-3-7091-8665-7

1982
Edition 1
€201 €181
10% OFF
Compiler Construction

12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Görel Hedin

978-3-540-36579-2

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops

ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings

Geyong Min; Beniamino Di Martino; Laurence T. Yang; Minyi Guo; Gudula Ruenger

978-3-540-49862-9

2006
Edition 1
€180 €162
10% OFF
Ontologies-Based Databases and Information Systems

First and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers

Martine Collard

978-3-540-75474-9

2007
Edition 1
€100 €90
10% OFF
Nano-Crystalline and Thin Film Magnetic Oxides

Proceedings of the NATO Advanced Research Workshop on Ferrimagnetic Nano-Crystalline and Thin Film Magnetooptical and Microwave Materials Sozopol, Bulgaria Sept. 27 – Oct. 3, 1998

Ivan Nedkov; M. Ausloos

978-94-011-4493-3

1999
Edition 1
€400 €360
10% OFF
Enterprise, Business-Process and Information Systems Modeling

20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings

Iris Reinhartz-Berger; Jelena Zdravkovic; Jens Gulden; Rainer Schmidt

978-3-030-20618-5

2019
Edition 1
€100 €90
10% OFF
Digitally Transformed Education: Are We There Yet?

4th IFIP TC 3 Open Conference on Computers in Education, OCCE 2024, Bournemouth, UK, February 27 – March 1, 2024, Revised Selected Papers

Margaret Leahy; Christophe Reffay

978-3-031-88744-4

2025
Edition 1
€280 €252
10% OFF
Systems Biology and Computational Proteomics

Joint RECOMB 2006 Satellite Workshops on Systems Biology, and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

Trey Ideker; Vineet Bafna

978-3-540-73060-6

2007
Edition 1
€100 €90
10% OFF
Mineral Resource Base of the Southern Caucasus and Systems for its Management in the XXI Century

Proceedings of the NATO Advanced Research Workshop on Mineral Resource Base of the Southern Caucasus and Systems for its Management in the XXI Century Tbilisi, Georgia 3–6 April 2001

Alexander G. Tvalchrelidze; Georges Morizot

978-94-010-0084-0

2002
Edition 1
€280 €252
10% OFF
Colour Vision Deficiencies IX

Proceedings of the ninth symposium of the International Research Group on Colour Vision Deficiencies, held at St. John’s College, Annapolis, Maryland, U.S.A., 1–3 July 1987

B. Drum; G. Verriest

978-94-009-2695-0

1989
Edition 1
€578 €520
10% OFF
ICT Education

46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers

Janet Liebenberg; Stefan Gruner

978-3-319-69670-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Coalgebraic Methods in Computer Science

13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Ichiro Hasuo

978-3-319-40370-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
SOC Design Methodologies

IFIP TC10 / WG10.5 Eleventh International Conference on Very Large Scale Integration of Systems-on-Chip (VLSI-SOC’01) December 3–5, 2001, Montpellier, France

Michel Robert; Bruno Rouzeyre; Christian Piguet; Marie-Lise Flottes

978-0-387-35597-9

2002
Edition 1
€400 €360
10% OFF
Enterprise Design, Operations, and Computing. EDOC 2023 Workshops

IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, EDOC Forum, Demonstrations Track and Doctoral Consortium, Groningen, The Netherlands, October 30–November 3, 2023, Revised Selected Papers

Tiago Prince Sales; Sybren de Kinderen; Henderik A. Proper; Luise Pufahl; Dimka Karastoyanova; Marten van Sinderen

978-3-031-54712-6

2024
Edition 1
€150 €135
10% OFF
Artificial Intelligence. ECAI 2023 International Workshops

XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II

Sławomir Nowaczyk; Przemysław Biecek; Neo Christopher Chung; Mauro Vallati; Paweł Skruch; Joanna Jaworek-Korjakowska; Simon Parkinson; Alexandros Nikitas; Martin Atzmüller; Tomáš Kliegr; Ute Schmid; Szymon Bobek; Nada Lavrac; Marieke Peeters; Roland van Dierendonck; Saskia Robben; Eunika Mercier-Laurent; Gülgün Kayakutlu; Mieczyslaw Lech Owoc; Karl Mason; Abdul Wahid; Pierangela Bruno; Francesco Calimeri; Francesco Cauteruccio; Giorgio Terracina; Diedrich Wolter; Jochen L. Leidner; Michael Kohlhase; Vania Dimitrova

978-3-031-50485-3

2024
Edition 1
€220 €198
10% OFF
Methodology, Epistemology, and Philosophy of Science

Essays in Honour of Wolfgang Stegmüller on the Occasion of his 60th B irth day, June 3rd, 1983. Reprinted from the Journal Erkenntnis, Vol. 19, Nos 1,2 and 3

Carl G. Hempel; H. Putnam; Wilhelm K. Essler

978-94-015-7676-5

1983
Edition 1
€400 €360
10% OFF
Treatment of Hydrocephalus Computer Tomography

Proceedings of the Joint Meeting of the Deutsche Gesellschaft für Neurochirurgie, the Society of British Neurological Surgeons, and the Nederlandse Vereniging van Neurochirurgen Berlin, May 3–6, 1978

R. Wüllenweber; H. Wenker; M. Brock; M. Klinger

978-3-642-67082-4

1978
Edition 1
€180 €162
10% OFF
Open Hypermedia Systems and Structural Computing

6th International Workshop, OHS-6 2nd International Workshop, SC-2 San Antonio, Texas, USA, May 30-June 3, 2000 Proceedings

Siegfried Reich; Kenneth M. Anderson

978-3-540-39941-4

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Operations Research Proceedings 2024

Selected Papers of the International Conference of the German, Austrian and Swiss Operations Research Societies (GOR, ÖGOR, SVOR/ASRO), Munich, Germany, September 3-6, 2024

Lukas Glomb

978-3-031-92575-7

2025
Edition 1
- Presents latest findings in operations research (OR) with a focus on choice-based analytics
- Gathers selected papers from a leading OR conference
- Summarizes the perspectives of OR researchers on recent and upcoming challenges
€419 €377
10% OFF
The Transdisciplinary Reach of Design Science Research

17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1–3, 2022, Proceedings

Andreas Drechsler; Aurona Gerber; Alan Hevner

978-3-031-06516-3

2022
Edition 1
€160 €144
10% OFF
Responsible AI and Analytics for an Ethical and Inclusive Digitized Society

20th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2021, Galway, Ireland, September 1–3, 2021, Proceedings

Denis Dennehy; Anastasia Griva; Nancy Pouloudi; Yogesh K. Dwivedi; Ilias Pappas; Matti Mäntymäki

978-3-030-85447-8

2021
Edition 1
€300 €270
10% OFF
Modern Advances in Applied Intelligence

27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part I

Moonis Ali; Jeng-Shyang Pan; Shyi-Ming Chen; Mong-Fong Horng

978-3-319-07455-9

2014
Edition 1
€100 €90
10% OFF
A Modern Course on Statistical Distributions in Scientific Work

Volume 3 — Characterizations and Applications 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-1848-7

1975
Edition 1
€400 €360
10% OFF
Magnetisches Verhalten von γ-Fe-Ni-Cr-Legierungen

Das komplexe magnetische Verhalten von reinen γ-Fe-Ni-Cr-Legierungen zwischen 3 und 1000 K in Magnetfeldern bis 56 kG

Helmut Alexander

978-3-322-87825-0

1975
Edition 1
€201 €181
10% OFF
Smart Cities, Green Technologies and Intelligent Transport Systems

8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers

Markus Helfert; Cornel Klein; Brian Donnellan; Oleg Gusikhin

978-3-030-68028-2

2021
Edition 1
€100 €90
10% OFF
Psychiatrie, Psychosomatik, Psychotherapie

Band 1: Allgemeine Psychiatrie 1, Band 2: Allgemeine Psychiatrie 2, Band 3: Spezielle Psychiatrie 1, Band 4: Spezielle Psychiatrie 2

Hans-Jürgen Möller; Gerd Laux; Hans-Peter Kapfhammer

978-3-662-49295-6

2017
Edition 5
- DAS Standardwerk in der Psychiatrie, Psychosomatik und Psychotherapie
- Komplett aktualisiert und überarbeitet
- Up to date in vier Bänden
€2,986 €2,687
10% OFF
Modern Magnetic Resonance

Part 1: Applications in Chemistry, Biological and Marine Sciences, Part 2: Applications in Medical and Pharmaceutical Sciences, Part 3: Applications in Materials Science and Food Science

Graham A. Webb

978-1-4020-3910-2

2006
Edition 1
- These volumes contain a unique collection of NMR, MRI, and ESR information
- A uniquely comprehensive coverage of the wide-ranging applications of magnetic resonance today
- The Editors and Contributors, internationally renowned scientists in their fields, come from over 20 countries, covering all continents
- Unifies the diverse NMR applications for a complete yet detailed overview
- Acquaints practitioners and theorists alike with the many applications outside their chosen fields to foster cross-fertilization of techniques and applications
- Includes supplementary material: sn.pub/extras
€1,678 €1,510
10% OFF
Advancing Democracy, Government and Governance

Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012, Proceedings

Andrea Kö; Christine Leitner; Herbert Leitold; Alexander Prosser

978-3-642-32701-8

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90 €81
10% OFF
Buckling and Post-Buckling

Four Lectures in Experimental, Numerical and Theoretical Solid Mechanics Based on Talks Given at the CISM-Meeting Held in Udine, Italy, September 29–October 3, 1985

Johann Arbocz; Michel Potier-Ferry; Josef Singer; Viggo Tvergaard

978-3-540-47875-1

1987
Edition 1
€419 €377
10% OFF
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
New Trends in Database and Information Systems II

Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II

Nick Bassiliades; Mirjana Ivanovic; Margita Kon-Popovska; Yannis Manolopoulos; Themis Palpanas; Goce Trajcevski; Athena Vakali

978-3-319-10518-5

2015
Edition 1
- Latest research on Databases and Information Systems
- Results of the workshops of the 18th East-European Conference on Advances in Databases and Information Systems (ADBIS 2014) held September 7-10, 2014 at Ohrid, Republic of Macedonia
- Presents an international forum of researchers and practitioners in the fields of databases and information systems, database theory, development of advanced DBMS technologies, and their advanced applications
€280 €252
10% OFF
Evaluation of Novel Approaches to Software Engineering

3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, Revised Selected Papers

Leszek Maciaszek; César González-Pérez; Stefan Jablonski

978-3-642-14819-4

2010
Edition 1
€100 €90
10% OFF
Privacy and Identity Management for the Future Internet in the Age of Globalisation

9th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Patras, Greece, September 7-12, 2014, Revised Selected Papers

Jan Camenisch; Simone Fischer-Hübner; Marit Hansen

978-3-319-18621-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Programming Languages and Systems

12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Pierpaolo Degano

978-3-540-36575-4

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Towards an Optical Internet

New Visions in Optical Network Design and Modelling. IFIP TC6 Fifth Working Conference on Optical Network Design and Modelling (ONDM 2001) February 5–7, 2001, Vienna, Austria

Admela Jukan

978-0-387-35491-0

2002
Edition 1
€280 €252
10% OFF
Artificial Intelligence in Theory and Practice IV

4th IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2015, Held as Part of WCC 2015, Daejeon, South Korea, October 4-7, 2015, Proceedings

Tharam Dillon

978-3-319-25261-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020–2030

First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18–21, 2021, Revised Selected Papers

Rodrigo Pereira dos Santos; Marcelo da Silva Hounsell

978-3-031-27639-2

2023
Edition 1
€150 €135
10% OFF
High-Performance Computing

6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers

Jesus Labarta; Kazuki Joe; Toshinori Sato

978-3-540-77704-5

2008
Edition 1
€100 €90
10% OFF
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 €377
10% OFF
Technological Innovation for Applied AI Systems

12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7–9, 2021, Proceedings

Luis M. Camarinha-Matos; Pedro Ferreira; Guilherme Brito

978-3-030-78288-7

2021
Edition 1
€220 €198
10% OFF
Relations and Kleene Algebra in Computer Science

10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings

Rudolf Berghammer; Bernhard Möller; Georg Struth

978-3-540-78913-0

2008
Edition 1
€100 €90
10% OFF
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
The General Principles of Law as Applied by International Tribunals to Disputes on Attribution and Exercise of State Jurisdiction

Proefschrift ter Verkrijging van den Graad van Doctor in de Rechtsgeleerdheid aan de Rijksuniversiteit te Leiden, op Gezag van den Rector Magnificus Dr. B. G. Escher, Hoogleeraar in de Faculteit der Wis- en Natuurkunde, Publiek te Verdedigen op Woensdag 3 April 1946, des Namiddags te 3 Uur

Alexander Marie Stuyt

978-94-015-0955-8

1946
Edition 1
€100 €90
10% OFF
Urban Air Quality: Measurement, Modelling and Management

Proceedings of the Second International Conference on Urban Air Quality: Measurement, Modelling and Management Held at the Computer Science School of the Technical University of Madrid 3–5 March 1999

Ranjeet S. Sokhi; Roberto San José; Nicolas Moussiopoulos; Ruwim Berkowicz

978-94-010-0932-4

2000
Edition 1
€280 €252
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.