License single eBooks

Your results

View Cart

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Bertrand Meyer; Jim Woodcock

978-3-540-69149-5

2008
Edition 1
€180
Ubiquitous Computing and Ambient Intelligence

10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 – December 2, 2016, Proceedings, Part I

Carmelo R. García; Pino Caballero-Gil; Mike Burmester; Alexis Quesada-Arencibia

978-3-319-48746-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Applications for Web, Human Computer Interaction, Signal and Image Processing, and Pattern Recognition

International Conferences, SIP, WSE, and ICHCI 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Tai-hoon Kim; Sabah Mohammed; Carlos Ramos; Jemal Abawajy; Byeong-Ho Kang; Dominik Slezak

978-3-642-35270-6

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Boundary Element Topics

Proceedings of the Final Conference of the Priority Research Programme Boundary Element Methods 1989–1995 of the German Research Foundation October 2–4, 1995 in Stuttgart

W.L. Wendland

978-3-642-60791-2

1997
Edition 1
€180
Spheres of Global Justice

Volume 1 Global Challenges to Liberal Democracy. Political Participation, Minorities and Migrations; Volume 2 Fair Distribution - Global Economic, Social and Intergenerational Justice

Jean-Christophe Merle

978-94-007-5998-5

2013
Edition 1
- Illustrates the specificities and interconnections of major spheres of global justice
- Analyzes the diverse kinds of global ethical obligations in relation to the diversity of global causal relationships
- Presents a multidisciplinary spectrum by leading scholars that combines empirical analysis with theoretical approaches
€280
International Symposium on Gravity, Geoid and Height Systems 2024 (GGHS2024)

Proceedings of the Joint IAG Commission 2, IGFS and GGOS Symposium on Gravity, Geoid, and Height Systems 2024, Thessaloniki, Greece, 4 – 6 September 2024

Jeffrey T. Freymueller; Laura Sánchez

978-3-032-22865-9

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
- Presents contributions to the latest research results in geodesy
- Contains peer-reviewed articles from GGHS2024 symposium, Thessaloniki, Greece
Open Access
Design Tools and Methods in Industrial Engineering IV

Proceedings of the Fourth International Conference on Design Tools and Methods in Industrial Engineering, ADM 2024, September 11–13, 2024, Palermo, Italy, Volume 2

Paolo Di Stefano; Francesco Gherardini; Vincenzo Nigrelli; Caterina Rizzi; Gaetano Sequenzia; Davide Tumino

978-3-031-76594-0

2025
Edition 1
- Reports on engineering methods and their interdisciplinary applications
- Reports on advances in virtual prototyping and reverse engineering in industrial and medical applications
- Second volume of a 2-volume set
€459
Ubiquitous Computing and Ambient Intelligence

10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 – December 2, 2016, Part II

Carmelo R. García; Pino Caballero-Gil; Mike Burmester; Alexis Quesada-Arencibia

978-3-319-48799-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Comprehensive Systems Design: A New Educational Technology

Proceedings of the NATO Advanced Research Workshop on Comprehensive Systems Design: A New Educational Technology, held in Pacific Grove, California, December 2–7, 1990

Charles M. Reigeluth; Bela H. Banathy; J.R. Olson

978-3-642-58035-2

1993
Edition 1
€400
12th Asian-Pacific Conference on Medical and Biological Engineering

Proceedings of APCMBE 2023, May 18–21, 2023, Suzhou, China—Volume 2: Computer-Aided Surgery, Biomechanics, Health Informatics, and Computational Biology

Guangzhi Wang; Dezhong Yao; Zhongze Gu; Yi Peng; Shanbao Tong; Chengyu Liu

978-3-031-51485-2

2024
Edition 1
- Reports on advances in augmented reality applications in medicine
- Covers advances in biomechanical modeling and AI applications in medicine
- Second volume of a 2-volume set
€419
Learning and Collaboration Technologies

Second International Conference, LCT 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Panayiotis Zaphiris; Andri Ioannou

978-3-319-20609-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Foundations of Augmented Cognition

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

Dylan D. Schmorrow; Cali M. Fidopiastis

978-3-319-20816-9

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Digital Adoption, Diffusion and Innovation in the Augmented and Digital Society

23rd IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2025, Jakarta, Indonesia, September 2-4, 2025, Proceedings, Part I

Amany Elbanna; Marijn Janssen; Yogesh K. Dwivedi; Mohammad Hossain; Anna Sigridur Islind

978-3-032-16775-0

2026
Edition 1
€240
Trust Management

Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada

Sandro Etalle; Stephen Marsh

978-0-387-73655-6

2007
Edition 1
- Most up-to-date research on privacy, security, and trust management
- Includes supplementary material: sn.pub/extras
€180
Advances in Smart Vehicular Technology, Transportation, Communication and Applications

Proceeding of the Second International Conference on Smart Vehicular Technology, Transportation, Communication and Applications, October 25-28, 2018 Mount Emei, China, Part 2

Yong Zhao; Tsu-Yang Wu; Tang-Hsien Chang; Jeng-Shyang Pan; Lakhmi C. Jain

978-3-030-04585-2

2019
Edition 1
- Contains the Proceedings of the Second International Conference on Smart Vehicular Technology, Transportation, Communication and Applications (VTCA 2018), held at Mount Emei, China on October 25–28, 2018
- Presents advances in Smart Vehicular Technology focusing on Transportation, Communication and Applications
- Offers a valuable resource for engineers, researchers, and practitioners studying the advances and applications in the field of vehicle technology and communication
- Provides recent research on vehicular electronics and intelligent transportation; positioning, navigation, and satellite networks; smart vehicular communication networks and telematics; wireless access technology and heterogeneous networks; and vehicular networking security
€280
Vorlesungen über höhere Mathematik

Band 2: Integration und Differentiation der Funktionen von mehreren Veränderlichen. Abschluß der Wahrscheinlichkeitsrechnung. Fehlertheorie und Ausgleichsrechnung. Lineare Algebra. Tensorfelder

Adalbert Duschek

978-3-7091-3598-3

1950
Edition 1
€187
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops

ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings

Guihai Chen; Yi Pan; Minyi Guo; Jian Lu

978-3-540-32115-6

2005
Edition 1
€180
Star Formation and Techniques in Infrared and mm-Wave Astronomy

Lectures Held at the Predoctoral Astrophysics School V Organized by the European Astrophysics Doctoral Network (EADN) in Berlin, Germany, 21 September – 2 October 1992

T.P. Ray; S.V.W. Beckwith

978-3-540-48565-0

1994
Edition 1
€180
Phase Diagrams and Physical Properties of Nonequilibrium Alloys

Subvolume C: Physical Properties of Multi-Component Amorphous Alloys, Part 2: Systems from B-C-Fe-Mo to B-Ni-Si-Ta

Yoshiyuki Kawazoe; Ursula Carow-Watamura; Yoshiyuki Kawazoe; Ursula Carow-Watamura; Dmitri V. Louzguine

978-3-662-57917-6

2019
Edition 1
- Unique data collection on the 4 component amorphous metals
- Extracted data on physical, chemical, mechanical, electrical properties and more
- Complete list of publications on the 4 component amorphous metals over the world
- Also available on our online platform SpringerMaterials, http://materials.springer.com
Get access as part of Springer Materials.
Advances in Digital Forensics VII

7th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 31 - February 2, 2011, Revised Selected Papers

Gilbert Peterson; Sujeet Shenoi

978-3-642-24212-0

2011
Edition 1
- State-of-the-art research
- Important resource for researchers, faculty members, graduate students, practitioners and individuals
- Unique visibility
€100
Uncertainty in Knowledge Bases

3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'90, Paris, France, July 2 - 6, 1990. Proceedings

Bernadette Bouchon-Meunier; Ronald R. Yager; Lotfi A. Zadeh

978-3-540-47580-4

1991
Edition 1
€180
Fehlertolerierende Rechensysteme

2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984

K.-E. Grosspietsch; M. Dal Cin

978-3-642-69698-5

1984
Edition 1
€180
Aktuelle Probleme im Integrierten Pflanzenschutz

Vorträge der 2. Sitzung des Arbeitskreises „Integrierten Pflanzenschutz“ der Deutschen Phytomedizinischen Gesellschaft in Wilhelmsbad bei Hanau 6. – 7. November 1972

Hans Steiner

978-3-642-72311-7

1975
Edition 1
€155
Distributed, Ambient, and Pervasive Interactions

Third International Conference, DAPI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Norbert Streitz; Panos Markopoulos

978-3-319-20804-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Intelligence of Things: Technologies and Applications

The Second International Conference on Intelligence of Things (ICIT 2023), Ho Chi Minh City, Vietnam, October 25-27, 2023, Proceedings, Volume 2

Nhu-Ngoc Dao; Tran Ngoc Thinh; Ngoc Thanh Nguyen

978-3-031-46749-3

2023
Edition 1
- Presents recent research on Intelligence of Things
- Provides proceedings of the Second International Conference on Intelligence of Things
- Written by experts in the field
€380
Smart Cities, Green Technologies, and Intelligent Transport Systems

13th International Conference, SMARTGREENS 2024, and 10th International Conference, VEHITS 2024, Angers, France, May 2–4, 2024, Revised Selected Papers

Francesco Calise; Fontina Petrakopoulou-Robinson; Alexey Vinel; Jeroen Ploeg; Karsten Berns; Cornel Klein; Oleg Gusikhin

978-3-032-23187-1

2026
Edition 1
€140
Holonic and Multi-Agent Systems for Manufacturing

4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings

Vladimir Marik; Thomas Strasser; Alois Zoitl

978-3-642-03668-2

2009
Edition 1
€100
Social Computing and Social Media

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

Gabriele Meiselwitz

978-3-319-20367-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Multi-Agent System Engineering

9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings

Francisco J. Garijo; Magnus Boman

978-3-540-48437-0

1999
Edition 1
€100
Trends in Applied Knowledge-Based Systems and Data Science

29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings

Hamido Fujita; Moonis Ali; Ali Selamat; Jun Sasaki; Masaki Kurematsu

978-3-319-42007-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Applications of Systems Approaches at the Field Level

Volume 2: Proceedings of the Second International Symposium on Systems Approaches for Agricultural Development, held at IRRI, Los Baños, Philippines, 6–8 December 1995

M.J. Kropff; P.S. Teng; P.K. Aggarwal; Johan Bouma; B.A.M Bouman; John W. Jones; H.H. Van Laar

978-94-017-0754-1

1997
Edition 1
€400
Organic Acidurias

Proceedings of the 21st Annual Symposium of the SSIEM, Lyon, September 1983 The combined supplements 1 and 2 of Journal of Inherited Metabolic Disease Volume 7 (1984)

G.M. Addison; R.A. Chalmers; P. Divry; R. Angus Harkness; R.J. Pollitt

978-94-009-5612-4

1984
Edition 1
€100
Schulverwaltung. Abt. 2 (Höhere Schulen, Fachschulen, Fortbildungsschulen, Beuthschule), Turnwesen, Archiv, Magistratsbibliothek, Stadtbibliothek, Nachrichtenamt, Gemeindeblatt, Gemeinderecht (Herausgabe), Statistik, Märkisches Museum, Kunstdeputation

Magistrat Von Berlin

978-3-662-02038-8

1914
Edition 1
€201
New Challenges on Bioinspired Applications

4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II

José M. Ferrández; José Ramón Álvarez; Félix de la Paz; Fco. Javier Toledo

978-3-642-21326-7

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100
Compiler Construction

20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Jens Knoop

978-3-642-19861-8

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Laboratory Diagnosis in Neonatal Calf and Pig Diarrhoea

Proceedings of a Workshop on Diagnostic Techniques for Enteropathogenic Agents Associated with Neonatal Diarrhoea in Calves and Pigs, held at the Central Veterinary Institute, Department of Virology, Lelystad, The Netherlands, June 3–5, 1980

Peter W. de Leeuw; P.A.M. Guinee

978-94-009-8328-1

1981
Edition 1
€100
Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Arie Gurfinkel; Marijn Heule

978-3-031-90643-5

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Technological Innovation for Life Improvement

11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1–3, 2020, Proceedings

Luis M. Camarinha-Matos; Nastaran Farhadi; Fábio Lopes; Helena Pereira

978-3-030-45124-0

2020
Edition 1
€180
Artificial Intelligence in Neuroscience: Affective Analysis and Health Applications

9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part I

José Manuel Ferrández Vicente; José Ramón Álvarez-Sánchez; Félix de la Paz López; Hojjat Adeli

978-3-031-06242-1

2022
Edition 1
€170
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 3)

V. I. Mayorova; A. I. Komkin

978-3-032-05757-0

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

Seminar veranstaltet von der gemeinsamen Fachgrupe „Mikroprogrammierung“ des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12. – 14. März 1980 in Berlin

W. K. Giloi

978-3-642-67774-8

1980
Edition 1
€201
Technological Innovation for Smart Systems

8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings

Luis M. Camarinha-Matos; Mafalda Parreira-Rocha; Javaneh Ramezani

978-3-319-56077-9

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D

15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I

Petter Nielsen; Honest Christopher Kimaro

978-3-030-18400-1

2019
Edition 1
€180
Operations Research Proceedings 2021

Selected Papers of the International Conference of the Swiss, German and Austrian Operations Research Societies (SVOR/ASRO, GOR e.V., ÖGOR), University of Bern, Switzerland, August 31 – September 3, 2021

Norbert Trautmann; Mario Gnägi

978-3-031-08623-6

2022
Edition 1
- Presents latest findings from operations research (OR)
- Gathers selected papers from a leading OR conference
- Summarizes the perspectives of OR researchers on recent and upcoming challenges
€280
Foundations of Software Science and Computational Structures

14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Martin Hofmann

978-3-642-19805-2

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Web Information Systems and Technologies

16th International Conference, WEBIST 2020, November 3–5, 2020, and 17th International Conference, WEBIST 2021, October 26–28, 2021, Virtual Events, Revised Selected Papers

Massimo Marchiori; Francisco José Domínguez Mayo; Joaquim Filipe

978-3-031-24197-0

2023
Edition 1
€130
VLSI-SoC: The Advanced Research for Systems on Chip

19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

Salvador Mir; Chi-Ying Tsui; Ricardo Reis; Oliver C.S. Choy

978-3-642-32770-4

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Dimitra Giannakopoulou; Fernando Orejas

978-3-642-19811-3

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Coordination Models and Languages

15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

Rocco De Nicola; Christine Julien

978-3-642-38493-6

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Parosh Aziz Abdulla; K. Rustan M. Leino

978-3-642-19835-9

2011
Edition 1
- fast-track conference proceedings
€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.