License single eBooks

Your results

View Cart

Tests and Proofs

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Martin Gogolla; Burkhart Wolff

978-3-642-21768-5

2011
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€100
Constructive Approaches for Security Analysis and Design of Embedded Systems

Second International Conference, CASCADE 2026, Regensburg, Germany, March 30–April 1, 2026, Proceedings

Gaëtan Cassiers; Patrick Haddad

978-3-032-25149-7

2026
Edition 1
€180

Not published yet

Available from
2026-06-16
Neue Forschungen in Afghanistan

Vorträge auf der 5. Arbeitstagung der Arbeitsgemeinschaft Afghanistan in Mannheim 1.–3. Februar 1979

Carl Rathjens

978-3-322-97152-4

1981
Edition 1
€201
Operations Research ’93

Extended Abstracts of the 18th Symposium on Operations Research held at the University of Cologne September 1–3, 1993

Achim Bachem; Ulrich Derigs; Michael Jünger; Rainer Schrader

978-3-642-46955-8

1994
Edition 1
€180
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27 – October 1, 2021, Proceedings, Part VII

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87234-2

2021
Edition 1
€200
Motions in the Solar Atmosphere

Proceedings of the Summerschool and Workshop Held at the Solar Observatory Kanzelhöhe Kärnten, Austria, September 1–12, 1997

A. Hanslmeier; Mauro Messerotti

978-94-015-9331-1

1999
Edition 1
€180
Information Management and Big Data

8th Annual International Conference, SIMBig 2021, Virtual Event, December 1–3, 2021, Proceedings

Juan Antonio Lossio-Ventura; Jorge Valverde-Rebaza; Eduardo Díaz; Denisse Muñante; Carlos Gavidia-Calderon; Alan Demétrius Baria Valejo; Hugo Alatrista-Salas

978-3-031-04447-2

2022
Edition 1
€180
Computer Performance Engineering

12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

Marta Beltrán; William Knottenbelt; Jeremy Bradley

978-3-319-23267-6

2015
Edition 1
€94
Electromagnetic Surface Excitations

Proceedings of an International Summer School at the Ettore Majorana Centre, Erice, Italy, July 1–13, 1985

Richard F. Wallis; Theodor Tamir; George I. Stegeman

978-3-642-82715-0

1986
Edition 1
€180
Database and Expert Systems Applications

25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part I

Hendrik Decker; Lenka Lhotská; Sebastian Link; Marcus Spies; Roland R. Wagner

978-3-319-10073-9

2014
Edition 1
€100
Evolutionary Computation in Combinatorial Optimization

16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Francisco Chicano; Bin Hu; Pablo García-Sánchez

978-3-319-30698-8

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

7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings

Catherine C. McGeoch

978-3-540-68552-4

2008
Edition 1
€100
Logic Programming

17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

Philippe Codognet

978-3-540-45635-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Experimental Algorithms

13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings

Joachim Gudmundsson; Jyrki Katajainen

978-3-319-07959-2

2014
Edition 1
€100
Pattern Analysis and Machine Intelligence

First International Conference, ICPAMI 2024, Shanghai, China, August 30 – September 1, 2024, Proceedings

Jie Yang; Yuanjie Zheng; Chen Gong

978-981-96-3349-4

2025
Edition 1
€200
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005

Roman Barták; Michela Milano

978-3-540-32264-1

2005
Edition 1
€100
Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda

978-3-642-17164-2

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100
Ad Hoc Networks

7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings

Nathalie Mitton; Melike Erol Kantarci; Antoine Gallais; Symeon Papavassiliou

978-3-319-25067-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Quantum Engineering Sciences and Technologies for Industry and Services

First International Conference, QUEST-IS 2025, Paris, France, December 1–4, 2025, Proceedings, Part I

Frédéric Barbaresco; François Gerin

978-3-032-13852-1

2026
Edition 1
- Contributions by leading scientists and engineers
- Research with critical implications for society and business
- Papers address foundational and application issues
€180
Database and Expert Systems Applications

26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I

Qiming Chen; Abdelkader Hameurlain; Farouk Toumani; Roland Wagner; Hendrik Decker

978-3-319-22849-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Conceptual Modeling – ER 2010

29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Jeffrey Parsons; Motoshi Saeki; Peretz Shoval; Carson Woo; Yair Wand

978-3-642-16373-9

2010
Edition 1
€100
Cyber Security and Intelligent Systems

Proceedings of Eighth International Conference on Information System Design and Intelligent Applications (ISDIA 2024), Volume 1

Vikrant Bhateja; Hong Lin; Milan Simic; Muhammad Attique Khan; Harish Garg

978-981-97-4892-1

2024
Edition 1
- Presents research papers written by active researchers in the field of intelligent systems
- Discusses the outcomes of ISDIA 2024 held in Dubai, UAE
- Serves as a reference resource for practitioners and researchers in academia and industry
€439
Cyberspace Safety and Security

11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I

Jaideep Vaidya; Xiao Zhang; Jin Li

978-3-030-37337-5

2019
Edition 1
€100
Plant Virus and Viroid Diseases in the Tropics

Volume 1: Introduction of Plant Viruses and Sub-Viral Agents, Classification, Assessment of Loss, Transmission and Diagnosis

K. Subramanya Sastry

978-94-007-6524-5

2013
Edition 1
- Virus and virus-like diseases in tropical countries were described along with assessment of yield losses, transmission and diagnostic tests for framing suitable management measures
- Latest 9th ICTV classification in relation to tropical virus diseases is presented
- For quick and reliable diagnosis of virus and viroid diseases latest molecular techniques with suitable examples were discussed
- Includes supplementary material: sn.pub/extras
€280
Applied Computer Sciences in Engineering

10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1–3, 2023, Proceedings

Juan Carlos Figueroa-García; German Hernández; Jose Luis Villa Ramirez; Elvis Eduardo Gaona García

978-3-031-46739-4

2023
Edition 1
€180
Intracranial Pressure III

Proceedings of the Third International Symposium on Intracranial Pressure, Held at the University of Groningen, June 1-3, 1976

J.W.F. Beks; Dirk Andries Bosch; M. Brock

978-3-642-66508-0

1976
Edition 1
€180
Evolutionary and Biologically Inspired Music, Sound, Art and Design

5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Colin Johnson; Vic Ciesielski; João Correia; Penousal Machado

978-3-319-31008-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Rewriting Techniques and Applications

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Tobias Nipkow

978-3-540-69721-3

1998
Edition 1
€100
Public Key Cryptography -- PKC 2004

7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004

Feng Bao; Robert Deng; Jianying Zhou

978-3-540-24632-9

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Groupware: Design, Implementation, and Use

8th International Workshop, CRIWG 2002, La Serena, Chile, 1.-4. September 2002, Proceedings

Jörg M. Haake; Jose A. Pino

978-3-540-46124-1

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Information Security and Cryptology – ICISC 2021

24th International Conference, Seoul, South Korea, December 1–3, 2021, Revised Selected Papers

Jong Hwan Park; Seung-Hyun Seo

978-3-031-08896-4

2022
Edition 1
€170
Multiple Periodic Variable Stars

Proceedings of the International Astronomical Union Colloquium No. 29, Held at Budapest, Hungary 1–5 September 1975

W.S. Fitch

978-94-010-1175-4

1976
Edition 1
€100
Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1

D. Jude Hemanth; Utku Kose; Bogdan Patrut; Mevlut Ersoy

978-3-031-56310-2

2024
Edition 1
- Presents advanced computing and networking technologies to enable intelligent and efficient IoT and CPS
- Covers proceedings of ICAIAME 2023
- Written by experts in the field
€419
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Shiva Nejati; Gregory Gay

978-3-030-27455-9

2019
Edition 1
€100
Knowledge and Systems Sciences

24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 – December 1, 2025, Proceedings

Xijin Tang; Haoxiang Xia; Van Nam Huynh; Xianneng Li

978-981-95-4990-0

2026
Edition 1
€150
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 1: Gesamtdarstellung und biografische Porträts

Jugendwerk der Deutschen Shell

978-3-322-95920-1

1992
Edition 1
€201
Games and Learning Alliance

12th International Conference, GALA 2023, Dublin, Ireland, November 29 – December 1, 2023, Proceedings

Pierpaolo Dondio; Mariana Rocha; Attracta Brennan; Avo Schönbohm; Francesca de Rosa; Antti Koskinen; Francesco Bellotti

978-3-031-49065-1

2024
Edition 1
€220
Dynamic Competitive Analysis in Marketing

Proceedings of the International Workshop on Dynamic Competitive Analysis in Marketing, Montréal, Canada, September 1–2, 1995

Steffen Jorgensen; Georges Zaccour

978-3-642-45753-1

1996
Edition 1
€180
Frontiers of Combining Systems

15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

René Thiemann; Christoph Weidenbach

978-3-032-04167-8

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Structured Object-Oriented Formal Language and Method

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan

978-3-030-77474-5

2021
Edition 1
€100
Modeling and Simulation of High Speed VLSI Interconnects

A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Vol. 5, No. 1 (1994)

Michel S. Nakhla; Q.J. Zhang

978-1-4615-2718-3

1994
Edition 1
€180
The Mathematics of Monge-Kantorovich Optimal Transport

PIMS-IFDS-NSF Summer School, Seattle, Washington, USA, June 19-July 1, 2022

Young-Heon Kim; Soumik Pal; Brendan Pass

978-3-032-23146-8

2026
Edition 1
- Gathers written notes from three lecture series
- Provides a lively introduction to the mathematical theory of Monge-Kantorovich optimal transport and applications
- Is not readily accessible outside of research papers
€320

Not published yet

Available from
2026-07-12
Cardiac Arrhythmias 1999

Vol.1. Proceedings of the 6th International Workshop on Cardiac Arrhythmias (Venice, 5–8 October 1999)

Antonio Raviele

978-88-470-2139-6

2000
Edition 1
€100
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

Sanjay Misra; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Carmelo Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Eufemia Tarantino

978-3-030-24296-1

2019
Edition 1
€180
Collaboration Technologies and Social Computing

29th International Conference, CollabTech 2023, Osaka, Japan, August 29–September 1, 2023, Proceedings

Hideyuki Takada; D. Moritz Marutschke; Claudio Alvarez; Tomoo Inoue; Yugo Hayashi; Davinia Hernandez-Leo

978-3-031-42141-9

2023
Edition 1
€130
Assessing AIDS Prevention

Selected papers presented at the international conference held in Montreux (Switzerland), October 29–November 1, 1990

PACCAUD; VADER; GUTZWILLER

978-3-0348-7211-9

1992
Edition 1
€100
Non-Commutative Harmonic Analysis

Actes du Colloque d'Analyse Harmonique Non-Commutative, Marseille-Luminy, 1-5 Juillet 1974

J. Carmona; J. Dixmier; M. Vergne

978-3-540-37524-1

1975
Edition 1
€69
Stabilization, Safety, and Security of Distributed Systems

16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Pascal Felber; Vijay Garg

978-3-319-11764-5

2014
Edition 1
€100
Theory and Application of Diagrams

First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings

Michael Anderson; Peter Cheng; Volker Haarslev

978-3-540-44590-6

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Passive and Active Network Measurement

6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings

Constantinos Dovrolis

978-3-540-31966-5

2005
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.