License single eBooks

Your results

View Cart

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue

978-3-642-35887-6

2013
Edition 1

€100
Information Security and Cryptology

11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers

Dongdai Lin; XiaoFeng Wang; Moti Yung

978-3-319-38898-4

2016
Edition 1

€100
Computational Collective Intelligence

12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings

Ngoc Thanh Nguyen; Bao Hung Hoang; Cong Phap Huynh; Dosam Hwang; Bogdan Trawiński; Gottfried Vossen

978-3-030-63007-2

2020
Edition 1

€180
ETO Multicenter Molecular Integrals

Proceedings of the First International Conference held at Florida A&M University, Tallahassee, Florida, U.S.A., August 3–6, 1981

C.A. Weatherford; H.W. Jones

978-94-009-7921-5

1982
Edition 1

€100
Engineering Distributed Objects

Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers

Wolfgang Emmerich; Stefan Tai

978-3-540-45254-6

2001
Edition 1

€100
Intelligent Computing Methodologies

15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III

De-Shuang Huang; Zhi-Kai Huang; Abir Hussain

978-3-030-26766-7

2019
Edition 1

€180
Middleware 2012

ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings

Priya Narasimhan; Peter Triantafillou

978-3-642-35170-9

2012
Edition 1

€100
Intelligent Computing Theories and Application

15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II

De-Shuang Huang; Kang-Hyun Jo; Zhi-Kai Huang

978-3-030-26969-2

2019
Edition 1

€180
Applications and Usability of Interactive TV

10th Iberoamerican Conference, jAUTI 2021, Sangolquí, Ecuador, December 2–3, 2021, Revised Selected Papers

María J. Abásolo; Gonzalo F. Olmedo Cifuentes

978-3-031-22210-8

2022
Edition 1

€130
Protection of Materials and Structures from the Low Earth Orbit Space Environment

Proceedings of ICPMSE-3, Third International Space Conference, held in Toronto, Canada, April 25–26, 1996

J. Kleiman; R.C. Tennyson

978-94-011-4768-2

1999
Edition 1

€400
Rewriting Logic and Its Applications

14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Kyungmin Bae

978-3-031-12441-9

2022
Edition 1

€140
Nuclear Magnetic Resonance Spectroscopy in Molecular Biology

Proceedings of the Eleventh Jerusalem Symposium on Quantum Chemistry and Biochemistry Held in Jerusalem, Israäl, April 3–7, 1978

A. Pullman

978-94-009-9882-7

1978
Edition 1

€180
High Performance Computing for Computer Graphics and Visualisation

Proceedings of the International Workshop on High Performance Computing for Computer Graphics and Visualisation, Swansea 3–4 July 1995

Min Chen; Peter Townsend; John Vince

978-1-4471-1011-8

1996
Edition 1

€180
Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges

IFIP TC8 WG 8.2 International Working Conference, August 1-3, 2005, Cleveland, Ohio, U.S.A.

Carsten Sørensen; Youngjin Yoo; Kalle Lyytinen; Janice I. DeGross

978-0-387-28918-2

2005
Edition 1

€180
Mathematics of Program Construction

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Roland Backhouse; Jose Nuno Oliveira

978-3-540-45025-2

2000
Edition 1

€100
Artificial Intelligence and Soft Computing

17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

Leszek Rutkowski; Rafał Scherer; Marcin Korytkowski; Witold Pedrycz; Ryszard Tadeusiewicz; Jacek M. Zurada

978-3-319-91262-2

2018
Edition 1

€180
Trustworthy Global Computing

4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Christos Kaklamanis; Flemming Nielson

978-3-642-00945-7

2009
Edition 1

€100
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III

Honghai Liu; Zhouping Yin; Lianqing Liu; Li Jiang; Guoying Gu; Xinyu Wu; Weihong Ren

978-3-031-13835-5

2022
Edition 1

€220
e-Infrastructure and e-Services for Developing Countries

11th EAI International Conference, AFRICOMM 2019, Porto-Novo, Benin, December 3–4, 2019, Proceedings

Rafik Zitouni; Max Agueh; Pélagie Houngue; Hénoc Soude

978-3-030-41593-8

2020
Edition 1

€100
Quantum Interaction

11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Bob Coecke; Ariane Lambert-Mogiliansky

978-3-030-35895-2

2019
Edition 1

€100
Job Scheduling Strategies for Parallel Processing

28th International Workshop, JSSPP 2025, Milan, Italy, June 3–4, 2025, Revised Selected Papers

Dalibor Klusáček; Julita Corbalán; Gonzalo P. Rodrigo

978-3-032-10507-3

2026
Edition 1

€160

Not published yet

Available from
2026-01-12
Nitrogen Fixation: Fundamentals and Applications

Proceedings of the 10th International Congress on Nitrogen Fixation, St. Petersburg, Russia, May 28—June 3, 1995

Igor A. Tikhonovich; Nikolai A. Provorov; Vassily I. Romanov; William E. Newton

978-94-011-0379-4

1995
Edition 1

€578
Database and Expert Systems Applications

DEXA 2018 International Workshops, BDMICS, BIOKDD, and TIR, Regensburg, Germany, September 3–6, 2018, Proceedings

Mourad Elloumi; Michael Granitzer; Abdelkader Hameurlain; Christin Seifert; Benno Stein; A Min Tjoa; Roland Wagner

978-3-319-99133-7

2018
Edition 1

€100
Computer Supported Cooperative Work in Design III

10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

Weiming Shen; Junzhou Luo; Zongkai Lin; Jean-Paul A. Barthès; Qi Hao

978-3-540-72863-4

2007
Edition 1

€180
Software Engineering and Methodology for Emerging Domains

15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

Lu Zhang; Chang Xu

978-981-10-3482-4

2016
Edition 1

€100
Information Theoretic Security

4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers

Kaoru Kurosawa

978-3-642-14496-7

2010
Edition 1

€100
Bridging the Gap Between AI and Reality

Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

Bernhard Steffen

978-3-032-01377-4

2026
Edition 1

Open Access
Neural Information Processing

20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

Minho Lee; Akira Hirose; Zeng-Guang Hou; Rhee Man Kil

978-3-642-42042-9

2013
Edition 1

€100
Pattern Recognition and Image Analysis

12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 – July 3, 2025, Proceedings, Part I

Nuno Gonçalves; Hélder P. Oliveira; Joan Andreu Sánchez

978-3-031-99565-1

2026
Edition 1

€260
Pattern Recognition and Information Processing

13th International Conference, PRIP 2016, Minsk, Belarus, October 3-5, 2016, Revised Selected Papers

Viktor V. Krasnoproshin; Sergey V. Ablameyko

978-3-319-54220-1

2017
Edition 1

€100
Order-Disorder Transformations in Alloys

Proceedings of the International Symposium on Order-Disorder Transformations in Alloys held 3–6 September 1973 in Tübingen, Germany

H. Warlimont

978-3-642-80840-1

1974
Edition 1

€280
Variable Neighborhood Search

7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers

Rachid Benmansour; Angelo Sifaleras; Nenad Mladenović

978-3-030-44932-2

2020
Edition 1

€100
Software Engineering in Intelligent Systems

Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

Radek Silhavy; Roman Senkerik; Zuzana Kominkova Oplatkova; Zdenka Prokopova; Petr Silhavy

978-3-319-18473-9

2015
Edition 1

€280
Advances in Multimedia Information Processing - PCM 2004

5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part I

Kiyoharu Aizawa; Yuichi Nakamura; Shin'ichi Satoh

978-3-540-30541-5

2005
Edition 1

€180
Knowledge Science, Engineering and Management

4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings

Yaxin Bi; Mary Anne Williams

978-3-642-15280-1

2010
Edition 1

€180
Nonstationary Systems: Theory and Applications

Contributions to the 13th Workshop on Nonstationary Systems and Their Applications, February 3-5, 2020, Grodek nad Dunajcem, Poland

Fakher Chaari; Jacek Leskow; Agnieszka Wylomanska; Radoslaw Zimroz; Antonio Napolitano

978-3-030-82110-4

2022
Edition 1

€280
Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Farn Wang

978-3-540-30476-0

2004
Edition 1

€180
Advanced Computational Intelligence and Intelligent Informatics

8th International Workshop, IWACIII 2023, Beijing, China, November 3–5, 2023, Proceedings, Part II

Bin Xin; Naoyuki Kubota; Kewei Chen; Fangyan Dong

978-981-99-7593-8

2024
Edition 1

€220
Advances in Databases and Information Systems

11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings

Yannis Ioannidis; Boris Novikov; Boris Rachev

978-3-540-75185-4

2007
Edition 1

€100
Non-Linear Raman Spectroscopy and Its Chemical Aplications

Proceedings of the NATO Advanced Study Institute held at Bad Windsheim, Germany, August 23 – September 3, 1982

W. Kiefer; D.A. Long

978-94-009-7912-3

1982
Edition 1

€400
Advances in Computational Collective Intelligence

12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings

Marcin Hernes; Krystian Wojtkiewicz; Edward Szczerbicki

978-3-030-63119-2

2020
Edition 1

€180
Binary and Multiple Stars as Tracers of Stellar Evolution

Proceedings of the 69th Colloquium of the International Astronomical Union, Held in Bamberg, F.R.G., August 31 – September 3, 1981

Zdenek Kopal; Jürgen H. Rahe

978-94-009-7861-4

1982
Edition 1

€100
Fun with Algorithms

7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

Alfredo Ferro; Fabrizio Luccio; Peter Widmayer

978-3-319-07890-8

2014
Edition 1

€100
Digital Watermarking

9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers

Hyoung-Joong Kim; Yun Q. Shi; Mauro Barni

978-3-642-18405-5

2011
Edition 1

€100
Cognitive Cities

Second International Conference, IC3 2019, Kyoto, Japan, September 3–6, 2019, Revised Selected Papers

Jian Shen; Yao-Chung Chang; Yu-Sheng Su; Hiroaki Ogata

978-981-15-6113-9

2020
Edition 1

€180
Object Databases

Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Selected Papers

Moira C. Norrie; Michael Grossniklaus

978-3-642-14681-7

2010
Edition 1

€100
Knowledge Engineering: Practice and Patterns

16th International Conference, EKAW 2008, Acitrezza, Sicily, Italy September 29 - October 3, 2008, Proceedings

Aldo Gangemi; Jérôme Euzenat

978-3-540-87696-0

2008
Edition 1

€174
Data Management in Grids

First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

Jean-Marc Pierson

978-3-540-32452-2

2006
Edition 1

€100
Kupfer

Teil B — Lieferung 3: Verbindungen Kupfer-Lithium bis Kupfer-Eisen Reaktionen der Kupfer-Ionen

978-3-662-13328-6

1965
Edition 8

€187
Rough Sets

International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part II

Lech Polkowski; Yiyu Yao; Piotr Artiemjew; Davide Ciucci; Dun Liu; Dominik Ślęzak; Beata Zielosko

978-3-319-60840-2

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