License single eBooks

Your results

View Cart

DNA Computing and Molecular Programming

22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Yannick Rondelez; Damien Woods

978-3-319-43994-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Trust and Privacy in Digital Business

Third International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings

Simone Fischer-Hübner; Steven Furnell; Costas Lambrinoudakis

978-3-540-37752-8

2006
Edition 1
€100
Engineering Secure Software and Systems

Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings

Fabio MASSACCI; Dan Wallach; Nicola Zannone

978-3-642-11747-3

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€100
Trusted Systems

5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Roderick Bloem; Peter Lipp

978-3-319-03491-1

2013
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up to date results
€100
Algorithm Theory – SWAT 2008

11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings

Joachim Gudmundsson

978-3-540-69903-3

2008
Edition 1
€180
Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Oleg Kiselyov; Andy King

978-3-319-29604-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Advanced Parallel Processing Technologies

15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings

Chao Li; Zhenhua Li; Li Shen; Fan Wu; Xiaoli Gong

978-981-99-7872-4

2024
Edition 1
€160
Trustworthy Artificial Intelligence for Healthcare

Second International Workshop, TAI4H 2024, Jeju, South Korea, August 4, 2024, Proceedings

Hao Chen; Yuyin Zhou; Daguang Xu; Varut Vince Vardhanabhuti

978-3-031-67751-9

2024
Edition 1
€240
Statistical Methods for the Environmental Sciences

A Selection of Papers Presented at the Conference on Environmetrics, held in Cairo, Egypt, April 4–7, 1989

A.H. El-Shaarawi

978-94-011-3186-5

1991
Edition 1
€100
Innovation for Systems Information and Decision

Second International Meeting, INSID 2020, Recife, Brazil, December 2–4, 2020, Proceedings

Adiel Teixeira de Almeida; Danielle Costa Morais

978-3-030-64399-7

2020
Edition 1
€100
Research in Attacks, Intrusions, and Defenses

18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings

Herbert Bos; Fabian Monrose; Gregory Blanc

978-3-319-26362-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advanced Information Networking and Applications

Proceedings of the 40th International Conference on Advanced Information Networking and Applications (AINA-2026), Volume 4

Leonard Barolli; Winston K. G. Seah; Isaac Woungang

978-3-032-23304-2

2026
Edition 1
- Presents recent research in information networking and applications
- Gathers the proceedings of the 40th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€459

Not published yet

Available from
2026-05-26
Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler; George Metcalfe

978-3-642-22119-4

2011
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Falk Howar; Jiří Barnat

978-3-030-00244-2

2018
Edition 1
€100
Data Warehousing and Knowledge Discovery

16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings

Ladjel Bellatreche; Mukesh K. Mohania

978-3-319-10160-6

2014
Edition 1
€100
Advances in Service-Oriented and Cloud Computing

Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Guadalupe Ortiz; Cuong Tran

978-3-319-14886-1

2015
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
- Includes supplementary material: sn.pub/extras
€100
Current Issues in Safety-Critical Systems

Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003

Felix Redmill; Tom Anderson

978-1-4471-0653-1

2003
Edition 1
€100
Parallel Algorithms for Irregularly Structured Problems

Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings

Afonso Ferreira; Jose Rolim

978-3-540-44915-7

1995
Edition 1
€100
Atomic Transport and Defects in Metals by Neutron Scattering

Proceedings of an IFF-ILL Workshop Jülich, Fed. Rep. of Germany, October 2–4, 1985

Christian Janot; Winfried Petry; Dieter Richter; Tasso Springer

978-3-642-71007-0

1986
Edition 1
€180
Biometric Recognition

6th Chinese Conference, CCBR 2011, Beijing, China, December 3-4, 2011. Proceedings

Zhenan Sun; Jianhuang Lai; Xilin Chen; Tieniu Tan

978-3-642-25449-9

2011
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€100
Experimental Algorithms

8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings

Jan Vahrenhold

978-3-642-02011-7

2009
Edition 1
€100
Artificial Intelligence

5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

Gennady S. Osipov; Aleksandr I. Panov; Konstantin S. Yakovlev

978-3-030-33274-7

2019
Edition 1
- Made for students, researchers, and practioniers
- Original, readable and useful lecture notes
- Provides an overview of leading-edge research in methods and tools for use in computer system engineering
€419
Approaches and Applications of Inductive Programming

Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

Ute Schmid; Emanuel Kitzelmann

978-3-642-11931-6

2010
Edition 1
- State of the art research
- Fast track conference proceedings
- Representative selection of current research
€100
Fundamentals of Computation Theory

17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings

Miroslaw Kutylowski; Maciej Gebala; Witold Charatonik

978-3-642-03409-1

2009
Edition 1
€100
Electronic Government

5th International Conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings

Maria A. Wimmer; Hans Jochen Scholl; Ake Grönlund; Kim Viborg Andersen

978-3-540-37687-3

2006
Edition 1
€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part V

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59722-1

2020
Edition 1
€180
Post-Quantum Cryptography

5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013, Proceedings

Philippe Gaborit

978-3-642-38616-9

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Distributed Computing and Internet Technology

8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Ram Ramanujam; Srini Ramaswamy

978-3-642-28073-3

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Scalable Uncertainty Management

11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Serafín Moral; Olivier Pivert; Daniel Sánchez; Nicolás Marín

978-3-319-67582-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Stabilization, Safety, and Security of Distributed Systems

20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Taisuke Izumi; Petr Kuznetsov

978-3-030-03232-6

2018
Edition 1
€100
Adaptive and Natural Computing Algorithms

11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini; Alberto Antonioni; Fabio Daolio; Pierre Buesser

978-3-642-37213-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Annabelle McIver; Andras Horvath

978-3-319-99154-2

2018
Edition 1
€100
Secure IT Systems

21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings

Billy Bob Brumley; Juha Röning

978-3-319-47560-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Constructive Side-Channel Analysis and Secure Design

14th International Workshop, COSADE 2023, Munich, Germany, April 3–4, 2023, Proceedings

Elif Bilge Kavun; Michael Pehl

978-3-031-29497-6

2023
Edition 1
€130
Research and Advanced Technology for Digital Libraries

5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001. Proceedings

Panos Constantopoulos; Ingeborg T. Solvberg

978-3-540-44796-2

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Theoretical Aspects of Software Engineering

17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

Cristina David; Meng Sun

978-3-031-35257-7

2023
Edition 1
€150
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Alexander Romanovsky; Elena A. Troubitsyna

978-3-319-65948-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Reversible Computation

17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings

Robert Glück; Robin Kaarsgaard

978-3-031-97063-4

2025
Edition 1
€130
Future Access Enablers for Ubiquitous and Intelligent Infrastructures

6th EAI International Conference, FABULOUS 2022, Virtual Event, May 4, 2022, Proceedings

Dragan Perakovic; Lucia Knapcikova

978-3-031-15101-9

2022
Edition 1
€100
Computational Science – ICCS 2024

24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II

Leonardo Franco; Clélia de Mulatier; Maciej Paszynski; Valeria V. Krzhizhanovskaya; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-63751-3

2024
Edition 1
€300
Security, Privacy, and Applied Cryptography Engineering

Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings

Andrey Bogdanov; Somitra Sanadhya

978-3-642-34416-9

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€90
Pairing-Based Cryptography - Pairing 2007

First International Conference, Pairing 2007, Tokyo, Japan, July 2-4, 2007, Proceedings

Tsuyoshi Takagi; Tatsuaki Okamoto; Eiji Okamoto; Takeshi Okamoto

978-3-540-73489-5

2007
Edition 1
€100
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Alessandro Cimatti; Marjan Sirjani

978-3-319-66197-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Web and Internet Economics

19th International Conference, WINE 2023, Shanghai, China, December 4–8, 2023, Proceedings

Jugal Garg; Max Klimm; Yuqing Kong

978-3-031-48974-7

2024
Edition 1
€260
Theoretical Computer Science

7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

Antonio Restivo; Simona Ronchi Della Rocca; Luca Roversi

978-3-540-45446-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales

Proceedings of the IUTAM Symposium held in Hong Kong, China, 31 May - 4 June, 2004

Q. P. Sun; P. Tong

978-1-4020-4946-0

2006
Edition 1
- Size effects on material and structural behaviors are of great interest to physicists, material scientists, and engineers who need to understand and model the mechanical behavior of solids especially at micron- and nano-scales
€280
Collaboration Technologies and Social Computing

31st International Conference, CollabTech 2025, Jakarta, Indonesia, November 4–7, 2025, Proceedings

Irene-Angelica Chounta; Hironori Egi; Ari Nugraha; Harry Budi Santoso; Tomoo Inoue; Tamara Adriani Salim

978-3-032-10156-3

2026
Edition 1
€130
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part IV

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59719-1

2020
Edition 1
€260
Advanced Information Systems Engineering

13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings

Klaus R. Dittrich; Andreas Geppert; Moira C. Norrie

978-3-540-45341-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Jonathan P. Bowen; Michael G. Hinchey; David Till

978-3-540-68490-9

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