License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

View Cart

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
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
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 €121
10% OFF
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 €252
10% OFF
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 €162
10% OFF
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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Research in Computational Molecular Biology

10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings

Alberto Apostolico; Concettina Guerra; Sorin Istrail; Pavel Pevzner; Michael Waterman

978-3-540-33296-1

2006
Edition 1
€180 €162
10% OFF
Knowledge-Based Intelligent Information and Engineering Systems

7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I

Vasile Palade

978-3-540-45224-9

2003
Edition 1
€160 €144
10% OFF
AI for Knowledge Synthesis and Predictions

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 5

Vikrant Bhateja; Jinshan Tang; Peter Peer

978-3-032-20121-8

2026
Edition 1
- Presents research works in intelligent data engineering and analytics
- Provides results of FICTA 2025 held at London Metropolitan University, London
- Serves as a reference for researchers and practitioners in academia and industry
€599 €539
10% OFF

Not published yet

Available from
2026-04-26
Theoretical and Mathematical Foundations of Computer Science

Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers

Qihai Zhou

978-3-642-24999-0

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180 €162
10% OFF
Computer-aided Tolerancing

Proceedings of the 4th CIRP Design Seminar The University of Tokyo, Tokyo, Japan, April 5–6, 1995

Fumihiko Kimura

978-94-009-1529-9

1996
Edition 1
€400 €360
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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 €144
10% OFF
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
- Up to date results
- Fast track conference proceedings
- State of the art research
€90 €81
10% OFF
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 €90
10% OFF
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 €181
10% OFF
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 €90
10% OFF
Programming Multi-Agent Systems

10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Mehdi Dastani; Jomi F. Hübner; Brain Logan

978-3-642-38700-5

2013
Edition 1
- Fast track conference proceedings
- State-of-the-art report
- Up to date results
€90 €81
10% OFF
Advances in Explainable Agentic AI and Large Language Models.

Second International Workshop, CALM 2025, Luxembourg City, Luxembourg, December 1-5, 2025, Proceedings

Yazan Mualla; Liuwen Yu; Hui Zhao; Amro Najjar; Davide Liga

978-3-032-20548-3

2026
Edition 1
€120 €108
10% OFF

Not published yet

Available from
2026-03-29
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 €90
10% OFF
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 €62
10% OFF
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
€150 €135
10% OFF
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 €162
10% OFF
Text, Speech, and Dialogue

16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013, Proceedings

Ivan Habernal; Vaclav Matousek

978-3-642-40585-3

2013
Edition 1
€100 €90
10% OFF
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
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
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 €90
10% OFF
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
- Fast-track-conference of SPECOM 2013
€100 €90
10% OFF
Advances in Artificial Intelligence - IBERAMIA 2010

12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings

Angel Kuri-Morales; Guillermo R. Simari

978-3-642-16952-6

2010
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€180 €162
10% OFF
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 €90
10% OFF
Computer Performance Evaluation. Modelling Techniques and Tools

13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings

Peter Kemper; William H. Sanders

978-3-540-45232-4

2003
Edition 1
€100 €90
10% OFF
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 €90
10% OFF
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
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100 €90
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
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 €103
10% OFF
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 €90
10% OFF
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 €81
10% OFF
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 €162
10% OFF
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 €153
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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
- Recent results of Intelligent Information Processing and Web Mining including new computing paradigmes such as quantum computing and DNA computing
- Proceedings of the workshop Intelligent Information Systems 2003, Zakopane, June 2003
€280 €252
10% OFF
Pattern Recognition

7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5–8, 2023, Proceedings, Part I

Huimin Lu; Michael Blumenstein; Sung-Bae Cho; Cheng-Lin Liu; Yasushi Yagi; Tohru Kamiya

978-3-031-47634-1

2023
Edition 1
€160 €144
10% OFF
Web and Wireless Geographical Information Systems

6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006, Proceedings

James D. Carswell; Taro Tezuka

978-3-540-49467-6

2006
Edition 1
€100 €90
10% OFF
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 €117
10% OFF
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
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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 €180
10% OFF
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 €90
10% OFF
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
- State-of-the-art research.
- Fast-track conference proceedings.
- Unique visibility.
€180 €162
10% OFF
User Modeling

Proceedings of the Sixth International Conference UM97 Chia Laguna, Sardinia, Italy June 2–5 1997

Anthony Jameson; Cecile Paris; Carlo Tasso

978-3-7091-2670-7

1997
Edition 1
€100 €90
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF

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.