License single eBooks

Your results

View Cart

Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Maria Paola Bonacina

978-3-642-38574-2

2013
Edition 1

€100
Multidisciplinary Information Retrieval

6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013, Proceedings

Mihai Lupu; Evangelos Kanoulas; Fernando Loizides

978-3-642-41057-4

2013
Edition 1

€90
Pervasive Computing Paradigms for Mental Health

4th International Symposium, MindCare 2014, Tokyo, Japan, May 8-9, 2014, Revised Selected Papers

Pietro Cipresso; Aleksandar Matic; Guillaume Lopez

978-3-319-11564-1

2014
Edition 1

€80
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part III

Albert Bifet; Jesse Davis; Tomas Krilavičius; Meelis Kull; Eirini Ntoutsi; Indrė Žliobaitė

978-3-031-70352-2

2024
Edition 1

€300
Artificial Intelligence

29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers

Bart Verheij; Marco Wiering

978-3-319-76892-2

2018
Edition 1

€100
Approximation and Online Algorithms

18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers

Christos Kaklamanis; Asaf Levin

978-3-030-80879-2

2021
Edition 1

€300
Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Pierpaolo Degano; Joshua D. Guttman; Fabio Martinelli

978-3-642-01465-9

2009
Edition 1

€100
Computational Sciences and Sustainable Technologies

First International Conference, ICCSST 2023, Bangalore, India, May 8–9, 2023, Revised Selected Papers

Sagaya Aurelia; Chandra J.; Ashok Immanuel; Joseph Mani; Vijaya Padmanabha

978-3-031-50993-3

2024
Edition 1

€180
Essays and Surveys on Multiple Criteria Decision Making

Proceedings of the Fifth International Conference on Multiple Criteria Decision Making, Mons, Belgium, August 9–13, 1982

P. Hansen

978-3-642-46473-7

1983
Edition 1

€180
Innovative Security Solutions for Information Technology and Communications

10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers

Pooya Farshim; Emil Simion

978-3-319-69284-5

2017
Edition 1

€100
Deep Structure, Singularities, and Computer Vision

First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers

Ole Fogh Olsen; Luc Florack; Arjan Kuijper

978-3-540-32097-5

2005
Edition 1

€100
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part VII

Albert Bifet; Jesse Davis; Tomas Krilavičius; Meelis Kull; Eirini Ntoutsi; Indrė Žliobaitė

978-3-031-70368-3

2024
Edition 1

€300
Artificial Neural Networks and Machine Learning – ICANN 2022

31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part I

Elias Pimenidis; Plamen Angelov; Chrisina Jayne; Antonios Papaleonidas; Mehmet Aydin

978-3-031-15919-0

2022
Edition 1

€100
MFDBS 91

3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991

Bernhard Thalheim; Janos Demetrovics; Hans-Detlef Gerhardt

978-3-540-47348-0

1991
Edition 1

€100
User Centric Media

First International Conference, UCMedia 2009, Venice, Italy, December 9-11, 2009, Revised Selected Papers

Petros Daras; Oscar Mayora Ibarra

978-3-642-12630-7

2010
Edition 1

€100
Planetary Nebulae

Proceedings of the 131st Symposium of the International Astronomical Union, Held in Mexico City, Mexico, October 5–9, 1987

Silvia Torres-Peimbert

978-94-009-0865-9

1989
Edition 1

€100
Artificial Intelligence and Cognitive Science

30th Irish Conference, AICS 2022, Munster, Ireland, December 8–9, 2022, Revised Selected Papers

Luca Longo; Ruairi O’Reilly

978-3-031-26438-2

2023
Edition 1

Open Access
Artificial Intelligence and Soft Computing

12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

Leszek Rutkowski; Marcin Korytkowski; Rafal Scherer; Ryszard Tadeusiewicz; Lotfi A. Zadeh; Jacek M. Zurada

978-3-642-38610-7

2013
Edition 1

€100
The Law-Medicine Relation: A Philosophical Exploration

Proceedings of the Eighth Trans-Disciplinary Symposium on Philosophy and Medicine Held at Farmington, Connecticut, November 9–11, 1978

S.F. Spicker; Y.M. Healey Jr.; H. Tristram Engelhardt Jr.

978-94-009-8407-3

1981
Edition 1

€100
Computational Intelligence Methods for Bioinformatics and Biostatistics

14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Massimo Bartoletti; Annalisa Barla; Andrea Bracciali; Gunnar W. Klau; Leif Peterson; Alberto Policriti; Roberto Tagliaferri

978-3-030-14160-8

2019
Edition 1

€100
Innovative Security Solutions for Information Technology and Communications

15th International Conference, SecITC 2022, Virtual Event, December 8–9, 2022, Revised Selected Papers

Giampaolo Bella; Mihai Doinea; Helge Janicke

978-3-031-32636-3

2023
Edition 1

€150
Articulated Motion and Deformable Objects

First International Workshop, AMDO 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings

Hans-Hellmut Nagel; Francisco J. Perales Lopez

978-3-540-44591-3

2000
Edition 1

€100
Data Management Technologies and Applications

13th International Conference, DATA 2024, Dijon, France, July 9–11, 2024, Revised Selected Papers

Alfredo Cuzzocrea; Slimane Hammoudi; Elhadj Benkhelifa; Oleg Gusikhin

978-3-032-17915-9

2026
Edition 1

€120

Not published yet

Available from
2026-03-23
Applied Machine Learning and Data Analytics

6th International Conference, AMLDA 2023, Lübeck, Germany, November 9–10, 2023, Revised Selected Papers

M. A. Jabbar; Sanju Tiwari; Fernando Ortiz-Rodríguez; Sven Groppe; Tasneem Bano Rehman

978-3-031-55486-5

2024
Edition 1

€150
Secure Knowledge Management In The Artificial Intelligence Era

9th International Conference, SKM 2021, San Antonio, TX, USA, October 8–9, 2021, Proceedings

Ram Krishnan; H. Raghav Rao; Sanjay K. Sahay; Sagar Samtani; Ziming Zhao

978-3-030-97532-6

2022
Edition 1

€130
Cellular Automata: Research Towards Industry

ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

Roberto Serra; Furio Suggi Liverani

978-1-4471-1281-5

1998
Edition 1

€180
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage

4th International Conference, TMM_CH 2025, Athens, Greece, April 7–9, 2025, Revised Selected Papers

Antonia Moropoulou; Andreas Georgopoulos; Marinos Ioannides; Anastasios Doulamis; Kyriakos Lampropoulos; Alfredo Ronchi

978-3-032-15069-1

2026
Edition 1

€170
Hereditary Colorectal Cancer

Proceedings of the Fourth International Symposium on Colorectal Cancer (ISCC-4) November 9–11, 1989, Kobe Japan

Joji Utsunomiya; Henry T. Lynch

978-4-431-68337-7

1990
Edition 1

€180
Generative and Transformational Techniques in Software Engineering IV

International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

Ralf Lämmel; João Saraiva; Joost Visser

978-3-642-35992-7

2013
Edition 1

€419
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part IX

Albert Bifet; Tomas Krilavičius; Ioanna Miliou; Slawomir Nowaczyk

978-3-031-70378-2

2024
Edition 1

€300
ICT for Health, Accessibility and Wellbeing

First International Conference, IHAW 2021, Larnaca, Cyprus, November 8–9, 2021, Revised Selected Papers

Edwige Pissaloux; George Angelos Papadopoulos; Achilleas Achilleos; Ramiro Velázquez

978-3-030-94209-0

2021
Edition 1

€150
Games and Learning Alliance

4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers

Alessandro de Gloria; Remco Veltkamp

978-3-319-40216-1

2016
Edition 1

€100
Selected Areas in Cryptography

6th Annual International Workshop, SAC'99 Kingston, Ontario, Canada, August 9-10, 1999 Proceedings

Howard Heys; Carlisle Adams

978-3-540-46513-3

2000
Edition 1

€100
Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms

IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9 - 10, 1994. Selected Papers

Takeshi Furuhashi

978-3-540-48457-8

1995
Edition 1

€100
New Trends in Neural Computation

International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings

Jose Mira; Joan Cabestany; Alberto Prieto

978-3-540-47741-9

1993
Edition 1

€180
Extended Reality

International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-43404-4

2023
Edition 1

€180
Web Information Systems and Technologies

7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

Joaquim Filipe; José Cordeiro

978-3-642-28082-5

2012
Edition 1

€100
Advances in Cryogenic Engineering

Proceedings of the 1972. Cryogenic Engineering Conference. National Bureau of Standards. Boulder, Colorado. August 9–11, 1972

K. D. Timmerhaus

978-1-4684-3111-7

1973
Edition 1

€180
Detection of Intrusions and Malware, and Vulnerability Assessment

22nd International Conference, DIMVA 2025, Graz, Austria, July 9–11, 2025, Proceedings, Part II

Manuel Egele; Veelasha Moonsamy; Daniel Gruss; Michele Carminati

978-3-031-97623-0

2025
Edition 1

€130
Fuzzy Logic and Applications

5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers

Vito Di Gesù; Francesco Masulli; Alfredo Petrosino

978-3-540-32683-0

2006
Edition 1

€100
Progress in Artificial Intelligence

8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings

Ernesto Costa; Amilcar Cardoso

978-3-540-69605-6

1997
Edition 1

€100
Information Retrieval Technology

9th Asia Information Retrieval Societies Conference, AIRS 2013, Singapore, December 9-11, 2013, Proceedings

Rafael Banchs; Fabrizio Silvestri; Tie-Yan Liu; Min Zhang; Sheng Gao; Jun Lang

978-3-642-45068-6

2013
Edition 1

€100
Computers Helping People with Special Needs

17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II

Klaus Miesenberger; Roberto Manduchi; Mario Covarrubias Rodriguez; Petr Peňáz

978-3-030-58805-2

2020
Edition 1

€130
Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part VIII

Albert Bifet; Povilas Daniušis; Jesse Davis; Tomas Krilavičius; Meelis Kull; Eirini Ntoutsi; Kai Puolamäki; Indrė Žliobaitė

978-3-031-70371-3

2024
Edition 1

€140
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Francesco Calimeri; Kevin Hamlen; Nicola Leone

978-3-319-73305-0

2018
Edition 1

€80
Connecting with Computability

17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings

Liesbeth De Mol; Andreas Weiermann; Florin Manea; David Fernández-Duque

978-3-030-80049-9

2021
Edition 1

€100
Global Trends in Computing and Communication Systems

4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011, Part I. Proceedings

P. Venkata Krishna; M. Rajasekhara Babu; Ezendu Ariwa

978-3-642-29219-4

2012
Edition 1

€180
Topics in Cryptology – CT-RSA 2007

The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings

Masayuki Abe

978-3-540-69328-4

2006
Edition 1

€100
Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci; C. R. Ramakrishnan

978-3-642-39176-7

2013
Edition 1

€100
Computer Performance Engineering

6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

Jeremy T. Bradley

978-3-642-02924-0

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