License single eBooks

Your results

View Cart

Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Dorel Lucanu

978-3-319-44802-2

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

ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers

Heike Jagode; Hartwig Anzt; Hatem Ltaief; Piotr Luszczek

978-3-030-90539-2

2021
Edition 1
€180
Quality for All

4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003, Proceedings

Gunnar Karlsson; Michael I. Smirnov

978-3-540-45188-4

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
The Semantic Web: Research and Applications

8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 – June 2, 2011. Proceedings, Part II

Grigoris Antoniou; Marko Grobelnik; Elena Simperl; Bijan Parsia; Dimitris Plexousakis; Pieter De Leenheer; Jeff Z. Pan

978-3-642-21064-8

2011
Edition 1
- Unique visibility
- Fast-track conference proceedings
- State-of-the-art research
€100
Formal Methods for Computational Systems Biology

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

Marco Bernardo; Pierpaolo Degano; Gianluigi Zavattaro

978-3-540-68894-5

2008
Edition 1
€100
Collaborative Systems for Reindustrialization

14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 - October 2, 2013, Proceedings

Luis M. Camarinha-Matos; Raimar J. Scherer

978-3-642-40543-3

2013
Edition 1
- State-of-the-art research
- Up-to-date results
- Unique visibility
€180
Coalgebraic Methods in Computer Science

16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Helle Hvid Hansen; Fabio Zanasi

978-3-031-10736-8

2022
Edition 1
€200
Prävention und Versorgungsforschung

Ausgewählte Beiträge des 2. Nationalen Präventionskongresses und 6. Deutschen Kongresses für Versorgungsforschung, Dresden 24. bis 27. Oktober 2007

Wilhelm Kirch; Bernhard Badura; Holger Pfaff

978-3-540-73042-2

2008
Edition 1
- Aktuelle Ergebnisse von praktisch tätigen Medizinern und Experten des Gesundheitssystems
- Prävention, Kuration und Rehabilitation
- Ausgewählte Beiträge des 2. Nationalen Präventionskongresses
- Die Chancen des interdisziplinären Dialogs
€181
Topological Methods for Ordinary Differential Equations

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 24-July 2, 1991

Patrick Fitzpatrick; Massimo Furi; Mario Martelli; Pietro Zecca; Jean Mawhin; Roger Nussbaum

978-3-540-47563-7

1993
Edition 1
€90
Matroid Theory and Its Applications

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 24 - September 2, 1980

A. Barlotti

978-3-642-11110-5

2011
Edition 1
- Now available with Springer
€86
Perspectives of System Informatics

12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Nikolaj Bjørner; Irina Virbitskaite; Andrei Voronkov

978-3-030-37487-7

2019
Edition 1
€100
Design Tools and Methods in Industrial Engineering III

Proceedings of the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, September 6–8, 2023, Florence, Italy, Volume 2

Monica Carfagni; Rocco Furferi; Paolo Di Stefano; Lapo Governi; Francesco Gherardini

978-3-031-58094-9

2024
Edition 1
- Reports on cutting-edge modelling, simulation and optimization tools
- Describes advanced engineering methods applied to product, process and systems design
- Second volume of a 2-volume set
€539
Der Staat als Zufall und als Notwendigkeit

Die jüngere Verwaltungsentwicklung in Deutschland am Beispiel Ostwestfalen-Lippe Band 2: Die öffentliche Verwaltung im gesellschaftlichen und politischen Wandel 1919–1990

Thomas Ellwein

978-3-322-83257-3

1997
Edition 1
€181
Virtual, Augmented and Mixed Reality

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

Randall Shumaker; Stephanie Lackey

978-3-319-21067-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Industrial Engineering in the Digital Disruption Era

Selected papers from the Global Joint Conference on Industrial Engineering and Its Application Areas, GJCIE 2019, September 2-3, 2019, Gazimagusa, North Cyprus, Turkey

Fethi Calisir; Orhan Korhan

978-3-030-42416-9

2020
Edition 1
- Reports on cutting-edge topics in engineering and technology management
- Describes business strategies for the digital transformation
- Merges a diverse range of perspectives, e.g. industrial, academic, and economic
€400
Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Carlos Canal; Akram Idani

978-3-319-15201-1

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Rökan Ginkgo biloba EGb 761

Band 2 Klinik Periphere arterielle Verschlußkrankheit Vaskuläre und primär degenerative Demenzen Vertigo, Tinnitus, Hypakusis Retinopathie Vasogener Kopfschmerz Metabolische Verträglichkeit

Curt Diehm; Diethard Müller

978-3-642-77428-7

1992
Edition 1
€181
Geometry and Analysis on Manifolds

Proceedings of the 21st International Taniguchi Symposium held at Katata, Japan, Aug. 23-29 and the Conference held at Kyoto, Aug. 31 - Sep. 2, 1987

Toshikazu Sunada

978-3-540-45930-9

1988
Edition 1
€69
Data and Applications Security XX

20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006, Proceedings

Ernesto Damiani; Peng Liu

978-3-540-36799-4

2006
Edition 1
€100
Advances in Electronic Circuit Packaging

Volume 2 Proceedings of the Second International Electronic Circuit Packaging Symposium, sponsored by the University of Colorado and EDN (Electrical Design News), held at Boulder, Colorado

Gerald A. Walker

978-1-4899-7311-5

1962
Edition 1
€100
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
HCI in Business

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

Fiona Fui-Hoon Nah; Chuan-Hoo Tan

978-3-319-20895-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Applications for Security, Control and System Engineering

International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Tai-hoon Kim; Adrian Stoica; Wai-chi Fang; Thanos Vasilakos; Javier Garcia Villalba; Kirk P. Arnett; Muhammad Khurram Khan; Byeong-Ho Kang

978-3-642-35264-5

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Sicherheit in Informationssystemen

Proceedings des gemeinsamen Kongresses SECUNET’91 — Sicherheit in netzgestützten Informationssystemen (des BIFOA) und 2. Deutsche Konferenz über Computersicherheit (des BSI)

Heiko Lippold

978-3-322-89434-2

1991
Edition 1
€181
Deutsches Exilarchiv 1933-1945 und Sammlung Exil-Literatur 1933-1945

Katalog der Bücher und Broschüren; zugleich Bd. 2 von Deutsches Exilarchiv 1933-1945: Katalog der Bücher und Broschüren (1989)

Mechthild Hahner;

978-3-476-02924-9

2003
Edition 1
- Über 5.500 neue Katalogeintragungen
- Erschließt den umfangreichsten Bestand von Veröffentlichungen des deutschsprachigen Exils
€701
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
Multilingual Information Access Evaluation I - Text Retrieval Experiments

10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers, Part I

Carol Peters; Giorgio Maria Di Nunzio; Mikko Kurimo; Thomas Mandl; Djamel Mostefa; Anselmo Penas; Giovanna Roda

978-3-642-15754-7

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100
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
Collective Diffusion on Surfaces: Correlation Effects and Adatom Interactions

Proceedings of the NATO Advanced Research Workshop on Collective Diffusion on Surfaces: Correlation Effects and Adatom Interactions Prague, Czech Republic 2–6 October 2000

M.C. Tringides; Z. Chvoj

978-94-010-0816-7

2001
Edition 1
€280
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
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

Not published yet

Available from
2026-03-17
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
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
Advances in Computer Science, Engineering and Applications

Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 2

David C. Wyld; Jan Zizka; Dhinaharan Nagamalai

978-3-642-30111-7

2012
Edition 1
- Proceedings of the interdisciplinary and international conference on computer science, engineering & applications (ICCSEA 2012)
- This book describes cutting-edge developments and advances in theory, methodology and applications of computer science and engineering
- Written by leading experts in the field
€578
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
€419
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
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
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
Design Tools and Methods in Industrial Engineering V

Proceedings of the Fifth International Conference on Design Tools and Methods in Industrial Engineering, ADM 2025, September 3–5, 2025, Genova, Italy, Volume 2

Giovanni Berselli; Angelo Oreste Andrisano; Paolo Di Stefano; Caterina Rizzi; Francesco Gherardini

978-3-032-14950-3

2026
Edition 1
- Describes advanced engineering methods applied to product, process and systems design
- Reports on cutting-edge modelling, simulation and optimization tools
- Second volume of a 2-volume set
€459
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
Engineering Psychology and Cognitive Ergonomics

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

Don Harris

978-3-319-20373-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
Medium Companies of Europe 1991-92

Volume 1: Medium Companies of the Continental E.C. Volume 2: Medium Companies of the U.K. Volume 3: Medium Companies of W. Europe outside the E.C.

R. Whiteside; J. Forsyth

978-94-011-3012-7

1991
Edition 1
€154
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
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
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

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.