License single eBooks

Your results

View Cart

Engineering Trustworthy Software Systems

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Zhiming Liu; Zili Zhang

978-3-319-29628-9

2016
Edition 1
- Covers the state of the art and research insights on
- engineering trustworthy software systems
- A detailed preface, introducing the chapters, is included in
- the front matter and is freely available for perusal on SpringerLink
- Original, readable and useful lecture notes written by leading experts
- Made for students, researchers and practitioners
- Includes supplementary material: sn.pub/extras
€100
Uncertainty in Mechanical Engineering

Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7–8, 2021

Peter F. Pelz; Peter Groche

978-3-030-77256-7

2021
Edition 1
- Describes methods to evaluate and control uncertainty in mechanical engineering
- Covers the complete system lifetime, from planning to production and usage
- Offers a good balance of fundamental research and industrial developments
- This book is open access, which means that you have free and unlimited access
Open Access
Reference Coordinate Systems for Earth Dynamics

Proceedings of the 56th Colloquium of the International Astronomical Union Held in Warsaw, Poland, September 8–12, 1980

E.M. Gaposchkin; Barbara Kolaczek

978-94-009-8456-1

1981
Edition 1
€100
Human-Computer Interaction with Mobile Devices and Services

5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings

Luca Chittaro

978-3-540-45233-1

2003
Edition 1
€180
Identification of Seismic Sources — Earthquake or Underground Explosion

Proceedings of the NATO Advance Study Institute held at Voksenåsen, Oslo, Norway, September 8–18, 1980

Eystein S. Husebye; S. Mykkelveit

978-94-009-8531-5

1981
Edition 1
€578
Mobile Data Management

Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 Proceedings

Kian-Lee Tan; Michael J. Franklin; John C.-S. Lui

978-3-540-44498-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Knowledge Engineering and Knowledge Management

18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012, Proceedings

Annette ten Teije; Johanna Völker; Siegfried Handschuh; Heiner Stuckenschmidt; Mathieu d'Acquin; Andriy Nikolov; Nathalie Aussenac-Gilles; Nathalie Hernandez

978-3-642-33876-2

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Mobile and Ubiquitous Systems: Computing, Networking and Services

18th EAI International Conference, MobiQuitous 2021, Virtual Event, November 8-11, 2021, Proceedings

Takahiro Hara; Hirozumi Yamaguchi

978-3-030-94822-1

2022
Edition 1
€260
Medical Image Computing and Computer Assisted Intervention – MICCAI 2023

26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, Proceedings, Part VII

Hayit Greenspan; Anant Madabhushi; Parvin Mousavi; Septimiu Salcudean; James Duncan; Tanveer Syeda-Mahmood; Russell Taylor

978-3-031-43990-2

2023
Edition 1
€200
Breast Imaging

11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012, Proceedings

Andrew D.A. Maidment; Predrag R. Bakic; Sara Gavenonis

978-3-642-31271-7

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Applied Computer Sciences in Engineering

8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings

Juan Carlos Figueroa-García; Yesid Díaz-Gutierrez; Elvis Eduardo Gaona-García; Alvaro David Orjuela-Cañón

978-3-030-86702-7

2021
Edition 1
€180
Bridging Between Information Retrieval and Databases

PROMISE Winter School 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures

Nicola Ferro

978-3-642-54798-0

2014
Edition 1
- Proceedings of the winter school organized by PROMISE EU FP7 network of excellence and the ELIAS research network
- Covers hot topics such as evaluation with respect to usefulness, crowdsourcing, evaluation on social media, moving from evaluation to applications
- Based on lectures delivered by leading researchers in the fields of information retrieval and databases
€419
Intelligent Computing and Information Science

International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part II

Ran Chen

978-3-642-18134-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€280
Database and XML Technologies

First International XML Database Symposium, XSYM 2003, Berlin, Germany, September 8, 2003, Proceedings

Zohra Bellahsène; Akmal B. Chaudhri; Erhard Rahm; Michael Rys; Rainer Unland

978-3-540-39429-7

2003
Edition 1
€100
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky

25th International Conference, AIED 2024, Recife, Brazil, July 8–12, 2024, Proceedings, Part I

Andrew M. Olney; Irene-Angelica Chounta; Zitao Liu; Olga C. Santos; Ig Ibert Bittencourt

978-3-031-64315-6

2024
Edition 1
€280
Mathematische Bildung und neue Technologien

Vorträge beim 8. Internationalen Symposium zur Didaktik der Mathematik Universität Klagenfurt, 28.9. – 2.10.1998

Gert Kadunz; Günther Ossimitz; Werner Peschek; Edith Schneider; Bernard Winkelmann

978-3-322-90149-1

1999
Edition 1
€449
Collaboration Technologies and Social Computing

9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8–10, 2017, Proceedings

Takashi Yoshino; Takaya Yuizono; Gustavo Zurita; Julita Vassileva

978-3-319-63088-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Knobeleien mit dem Mikro

8 Aufgaben, gelöst mit 15 verschiedenen Computern in 57 Versionen sowie 13 ungelöste Aufgaben

Harald Schumny

978-3-322-85799-6

1985
Edition 1
€201
Multi-Agent-Based Simulation XIII

International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

Francesca Giardini; Frédéric Amblard

978-3-642-38859-0

2013
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€90
Methods and Applications of Artificial Intelligence

Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings

George A. Vouros; Themistoklis Panayiotopoulos

978-3-540-24674-9

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
The Cellular Aspects of Biorhythms

Symposium on Rhythmic Research Sponsored by the VIIIth International Congress of Anatomy Wiesbaden 8.–14. August 1965

Heinz v. Mayersbach

978-3-642-88394-1

1967
Edition 1
€180
Future Aspects in Contraception

Proceedings of an International Symposium held in Heidelberg, 5–8 September 1984 Part 2 Female Contraception

B. Runnebaum; T. Rabe; L. Kiesel

978-94-009-4916-4

1985
Edition 1
€100
Unifying Concepts in Ecology

Report of the plenary sessions of the First international congress of ecology, The Hague, the Netherlands, September 8–14, 1974

W.H. van Dobben; R.H. Lowe-McConnell

978-94-010-1954-5

1975
Edition 1
€180
Improving Genetic Disease Resistance in Farm Animals

A Seminar in the Community Programme for the Coordination of Agricultural Research, held in Brussels, Belgium, 8–9 November 1988

Akke Jitske Akkermans; W. Sybesma

978-94-009-1057-7

1989
Edition 1
€100
Reasoning Web

Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

Pedro Barahona; François Bry; Enrico Franconi; Nicola Henze; Ulrike Sattler

978-3-540-38412-0

2006
Edition 1
€419
Modeling and Using Context

5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings

Anind Dey; Boicho Kokinov; David Leake; Roy Turner

978-3-540-31890-3

2005
Edition 1
€180
γγ Collisions

Proceedings of the International Workshop (Journées d’Etudes Internationales) Held at Amiens, France, April 8–12, 1980

G. Cochard; P. Kessler

978-3-540-38383-3

1980
Edition 1
€100
Applied Cryptography and Network Security

Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings

Markus Jakobsson; Moti Yung; Jianying Zhou

978-3-540-24852-1

2004
Edition 1
€180
Advances in Databases and Information Systems

6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings

Yannis Manolopoulos; Pavol Navrat

978-3-540-45710-7

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Biomedical Image Registration

5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012, Proceedings

Benoit Dawant; Gary E Christensen; J. Michael Fitzpatrick; Daniel Rueckert

978-3-642-31340-0

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Brain-Inspired Computing

International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Lucio Grandinetti; Thomas Lippert; Nicolai Petkov

978-3-319-12084-3

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Model Driven Engineering Languages and Systems

13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

Dorina C. Petriu; Nicolas Rouquette; Oystein Haugen

978-3-642-16145-2

2010
Edition 1
- Fast track conference proceedings
- Unique visibility
- State-of-the-art research
€100
Large-Scale Scientific Computing

7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers

Ivan Lirkov; Svetozar D. Margenov; Jerzy Wasniewski

978-3-642-12535-5

2010
Edition 1
- Up-to-date result
- Fast track conference proceedings
- State of the art report
€180
Conditional Term Rewriting Systems

Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Michael Rusinowitch; Jean-Luc Remy

978-3-540-47549-1

1993
Edition 1
€100
Advances in Robot Learning

8th European Workhop on Learning Robots, EWLR-8 Lausanne, Switzerland, September 18, 1999 Proceedings

Jeremy Wyatt; John Demiris

978-3-540-40044-8

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Requirements Engineering: Foundation for Software Quality

19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Joerg Doerr; Andreas L. Opdahl

978-3-642-37422-7

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Process Mining Workshops

ICPM 2020 International Workshops, Padua, Italy, October 5–8, 2020, Revised Selected Papers

Sander Leemans; Henrik Leopold

978-3-030-72693-5

2021
Edition 1
€150
Knowledge Science, Engineering and Management

15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part III

Gerard Memmi; Baijian Yang; Linghe Kong; Tianwei Zhang; Meikang Qiu

978-3-031-10989-8

2022
Edition 1
€220
Search for Dark Matter with ATLAS

Using Events with a Highly Energetic Jet and Missing Transverse Momentum in Proton-Proton Collisions at √s = 8 TeV

Ruth Pöttgen

978-3-319-41045-6

2016
Edition 1
- Nominated as an outstanding PhD thesis by the CERN, Geneva
- Winner of ATLAS thesis award 2016
- Provides in-depth descriptions of analysis techniques and challenges particularly relevant for but not restricted to the mono-jet signature
- Documents cutting-edge results from the Large Hadron Collider run-1 in the search for WIMPs as dark matter candidates in the mono-jet signature, embedded in the overall scientific context beyond particle physics
- Includes a detailed description of the run-1 ATLAS Central Trigger, important operational challenges, and its upgrade for Large Hadron Collider run-2
- Includes supplementary material: sn.pub/extras
€180
Engineering Knowledge in the Age of the Semantic Web

14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004. Proceedings

Enrico Motta; Nigel Shadbolt; Arthur Stutt; Nick Gibbins

978-3-540-30202-5

2004
Edition 1
€180
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Federica Sarro; Kalyanmoy Deb

978-3-319-47106-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Wide Components in Double and Multiple Stars

Proceedings of the 97th Colloquium of the International Astronomical Union held in Brussels, Belgium, 8–13 June, 1987

J. Dommanget; E.L. van Dessel; Zdenek Kopal

978-94-009-2987-6

1988
Edition 1
€280
Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei Artemov; Anil Nerode

978-3-642-35722-0

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

George Cybenko; David Pym; Barbara Fila

978-3-030-15465-3

2019
Edition 1
€100
Communication, Networks and Computing

Third International Conference, CNC 2022, Gwalior, India, December 8–10, 2022, Proceedings, Part I

Ranjeet Singh Tomar; Shekhar Verma; Brijesh Kumar Chaurasia; Vrijendra Singh; Jemal H. Abawajy; Shyam Akashe; Pao-Ann Hsiung; Ramjee Prasad

978-3-031-43140-1

2023
Edition 1
€160
Agent-Oriented Software Engineering VII

7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Lin Padgham; Franco Zambonelli

978-3-540-70945-9

2007
Edition 1
€100
Emerging Technology and Sustainable Solutions

Second International Conference, ICETSS 2024, Punjab, India, October 8–9, 2024, Proceedings, Part I

Shantanu Pal; Shivani Malhotra; Isha Gupta; Amit Kumar

978-3-032-11488-4

2026
Edition 1
€180
Energy Efficient Data Centers

First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers

Jyrki Huusko; Hermann de Meer; Sonja Klingert; Andrey Somov

978-3-642-33645-4

2012
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€90
Testbeds and Research Infrastructures for the Development of Networks and Communications

14th EAI International Conference, TridentCom 2019, Changsha, China, December 7-8, 2019, Proceedings

Honghao Gao; Kuang Li; Xiaoxian Yang; Yuyu Yin

978-3-030-43215-7

2020
Edition 1
€100
Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Thomas Neele; Anton Wijs

978-3-031-66149-5

2025
Edition 1
€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.