License single eBooks

Your results

View Cart

Interactive Systems. Design, Specification, and Verification

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Philippe Palanque; Fabio Paterno

978-3-540-44675-0

2001
Edition 1

€100
Information Security and Privacy

28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5–7, 2023, Proceedings

Leonie Simpson; Mir Ali Rezazadeh Baee

978-3-031-35486-1

2023
Edition 1

€180
Database and Expert Systems Applications

27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I

Sven Hartmann; Hui Ma

978-3-319-44403-1

2016
Edition 1

€100
Advanced Network Technologies and Computational Intelligence

First International Conference, ICANTCI 2024, Punjab, India, April 5–6, 2024, Proceedings, Part I

Jaiteg Singh; S. B. Goyal; Manoj Kumar; Ruchi Mittal

978-3-031-86069-0

2025
Edition 1

€170
Smart Grid and Internet of Things

Third EAI International Conference, SGIoT 2019, TaiChung, Taiwan, December 5-6, 2019, Proceedings

Der-Jiunn Deng; Ai-Chun Pang; Chun-Cheng Lin

978-3-030-49610-4

2020
Edition 1

€130
Topological Fixed Point Theory and Applications

Proceedings of a Conference held at the Nankai Institute of Mathematics, Tianjin, PR China, April 5-8, 1988

Boju Jiang

978-3-540-46862-2

1989
Edition 1

€90
Inborn Errors of Metabolism in Humans

Monograph based upon Proceedings of the International Symposium held in Interlaken, Switzerland, September 2–5, 1980

F. Cockburn

978-94-009-7325-1

1982
Edition 1

€100
Computational Intelligence and Industrial Applications

11th International Symposium, ISCIIA 2024, Beijing, China, November 1–5, 2024, Proceedings, Part I

Bin Xin; Hongbin Ma; Jinhua She; Weihua Cao

978-981-96-4753-8

2025
Edition 1

€170
Neural Information Processing

16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I

Chi-Sing Leung; Minho Lee; Jonathan H. Chan

978-3-642-10677-4

2009
Edition 1

€280
Automated Deduction -- CADE-23

23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Nikolaj Bjørner; Viorica Sofronie-Stokkermans

978-3-642-22438-6

2011
Edition 1

€100
Data Mining

17th Australasian Conference, AusDM 2019, Adelaide, SA, Australia, December 2–5, 2019, Proceedings

Thuc D. Le; Kok-Leong Ong; Yanchang Zhao; Warren H. Jin; Sebastien Wong; Lin Liu; Graham Williams

978-981-15-1699-3

2019
Edition 1

€134
Economics of Grids, Clouds, Systems, and Services

8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

Kurt Vanmechelen; Jörn Altmann; Omer F. Rana

978-3-642-28675-9

2012
Edition 1

€100
Future Aspects in Contraception

Proceeding of an International Symposium held in Heidelberg, 5–8 September 1984 Part 1 Male Contraception

B. Runnebaum; T. Rabe; L. Kiesel

978-94-009-4910-2

1985
Edition 1

€100
Ambient Assisted Living and Daily Activities

6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings

Leandro Pecchia; Liming Chen; Chris Nugent; Jose Bravo

978-3-319-13105-4

2014
Edition 1

€100
Information Security and Cryptology - ICISC 2014

17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers

Jooyoung Lee; Jongsung Kim

978-3-319-15943-0

2015
Edition 1

€100
Knowledge-Based Intelligent Information and Engineering Systems

12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I

Ignac Lovrek

978-3-540-85563-7

2008
Edition 1

€180
Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Freek Wiedijk; Oded Maler; Amir Pnueli

978-3-540-36580-8

2003
Edition 1

€180
Artificial Intelligence Applications and Innovations. AIAI 2020 IFIP WG 12.5 International Workshops

MHDW 2020 and 5G-PINE 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings

Ilias Maglogiannis; Lazaros Iliadis; Elias Pimenidis

978-3-030-49190-1

2020
Edition 1

€100
DNA Computing and Molecular Programming

25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Chris Thachuk; Yan Liu

978-3-030-26807-7

2019
Edition 1

€114
Integer Programming and Combinatorial Optimization

5th International IPCO Conference Vancouver, British Columbia, Canada June 3–5, 1996 Proceedings

William H. Cunningham; S. Thomas McCormick; Maurice Queyranne

978-3-540-68453-4

1996
Edition 1

€100
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
Medical Biometrics

First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008, Proceedings

David Y. Zhang

978-3-540-77413-6

2007
Edition 1

€100
North American Social Report

A Comparative Study of the Quality of Life in Canada and the USA from 1964 to 1974.Vol. 5: Economics, Religion and Morality

Alex C. Michalos

978-94-010-9559-4

1982
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
Simulation for a Sustainable Future

11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3–5, 2023, Proceedings, Part II

Miguel Mujica Mota; Paolo Scala

978-3-031-68438-8

2024
Edition 1

€260
Intelligent Computing Theories and Application

12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

De-Shuang Huang; Vitoantonio Bevilacqua; Prashan Premaratne

978-3-319-42291-6

2016
Edition 1

€180
Serious Games

11th Joint International Conference, JCSG 2025, Lucerne, Switzerland, December 4–5, 2025, Proceedings

André Thomas; Michelle Meyer; Markus Zank

978-3-032-10518-9

2026
Edition 1

€160
Natural Language Processing and Chinese Computing

First CCF Conference, NLPCC 2012, Beijing, China, October 31-November 5, 2012. Proceedings

Ming Zhou; Guodong Zhou; Dongyan Zhao; Qun Liu; Lei Zou

978-3-642-34456-5

2012
Edition 1

€100
Spatial Cognition XI

11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 5-8, 2018, Proceedings

Sarah Creem-Regehr; Johannes Schöning; Alexander Klippel

978-3-319-96385-3

2018
Edition 1

€100
Entertainment Computing - ICEC 2011

10th International Conference, ICEC 2011, Vancouver, BC, Canada, October 5-8, 2011, Proceedings

Junia Anacleto; Sidney Fels; Nicholas Graham; Bill Kapralos; Magy Seif El-Nasr; Kevin Stanley

978-3-642-24500-8

2011
Edition 1

€100
Computing and Combinatorics

23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings

Yixin Cao; Jianer Chen

978-3-319-62389-4

2017
Edition 1

€100
The Practice of Enterprise Modeling

18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3–5, 2025, Proceedings

Hans-Georg Fill; Yves Wautelet; Jolita Ralyté; Jelena Zdravkovic

978-3-032-12063-2

2026
Edition 1

€130
Unconventional Computation and Natural Computation

16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Matthew J. Patitz; Mike Stannett

978-3-319-58187-3

2017
Edition 1

€100
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
Evolutionary Multi-Criterion Optimization

6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011, Proceedings

Ricardo H.C. Takahashi; Kalyanmoy Deb; Elizabeth F. Wanner; Salvatore Greco

978-3-642-19893-9

2011
Edition 1

€180
Intelligent Information Processing and Web Mining

Proceedings of the International IIS: IIPWM´03 Conference held in Zakopane, Poland, June 2-5, 2003

Mieczyslaw A. Klopotek; Slawomir T. Wierzchon; Krzysztof Trojanowski

978-3-540-36562-4

2003
Edition 1

€280
Algorithms and Architectures for Parallel Processing

21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I

Yongxuan Lai; Tian Wang; Min Jiang; Guangquan Xu; Wei Liang; Aniello Castiglione

978-3-030-95384-3

2022
Edition 1

€200
Software Engineering Approaches for Offshore and Outsourced Development

First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

Bertrand Meyer; Mathai Joseph

978-3-540-75542-5

2007
Edition 1

€100
Implementation and Application of Automata

7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers

Jean-Marc Champarnaud; Denis Maurel

978-3-540-44977-5

2003
Edition 1

€100
Persuasive Technology

8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings

Shlomo Berkovsky; Jill Freyne

978-3-642-37157-8

2013
Edition 1

€90
Image Analysis and Recognition

14th International Conference, ICIAR 2017, Montreal, QC, Canada, July 5–7, 2017, Proceedings

Fakhri Karray; Aurélio Campilho; Farida Cheriet

978-3-319-59876-5

2017
Edition 1

€100
Advanced Computational Intelligence and Intelligent Informatics

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

Bin Xin; Naoyuki Kubota; Kewei Chen; Fangyan Dong

978-981-99-7590-7

2024
Edition 1

€160
Recent Developments in Surface Acoustic Waves

Proceedings of European Mechanics Colloquium 226, University of Nottingham, U. K., September 2–5, 1987

David F. Parker; Gerard A. Maugin

978-3-642-83508-7

1988
Edition 1

€180
Speech and Computer

15th International Conference, SPECOM 2013, September 1-5, 2013, Pilsen, Czech Republic, Proceedings

Miloš Železný; Iwan Habernal; Andrey Ronzhin

978-3-319-01931-4

2013
Edition 1

€100
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part I

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78107-0

2025
Edition 1

€146
Computational Science and Its Applications – ICCSA 2018

18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV

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

978-3-319-95171-3

2018
Edition 1

€180
Recent Advances in Intrusion Detection

10th International Symposium, RAID 2007, Gold Coast, Australia, September 5-7, 2007, Proceedings

Christopher Kruegel; Richard Lippmann; Andrew Clark

978-3-540-74320-0

2007
Edition 1

€100
Handbook of Spinal Cord Monitoring

Proceedings of the Fifth International Symposium on Spinal Cord Monitoring, London, UK, June 2–5, 1992

S.J. Jones; S. Boyd; M. Hetreed; N.J. Smith

978-94-011-1416-5

1994
Edition 1

€400
Information System Design: Sustainable Computing

Proceedings of Ninth International Conference on Information System Design and Intelligent Applications (ISDIA 2025), Volume 5

Vikrant Bhateja; Farhad Oroumchian; Jinshan Tang; Ahmad Taher Azar

978-981-95-0378-0

2026
Edition 1

€499
Human-Centered Visualization Environments

GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers

Andreas Kerren; Achim Ebert; Jörg Meyer

978-3-540-71949-6

2007
Edition 1

€419

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.