License single eBooks

Your results

View Cart

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

José Proença; Raul Fervari; Manuel A. Martins; Reinhard Kahle; Graham Pluck

978-3-031-94748-3

2026
Edition 1
€146
Logic Symposia, Hakone, 1979, 1980

Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

G.H. Müller; G. Takeuti; T. Tugue

978-3-540-38633-9

1981
Edition 1
€74
Dark Matter in Astro- and Particle Physics

Proceedings of the International Conference DARK 2002, Cape Town, South Africa, 4–9 February 2002

Hans-Volker Klapdor-Kleingrothaus; Raoul D. Viollier

978-3-642-55739-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Artificial Intelligence in Healthcare

First International Conference, AIiH 2024, Swansea, UK, September 4–6, 2024, Proceedings, Part I

Xianghua Xie; Iain Styles; Gibin Powathil; Marco Ceccarelli

978-3-031-67278-1

2024
Edition 1
€280
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part L

Aleš Leonardis; Elisa Ricci; Stefan Roth; Olga Russakovsky; Torsten Sattler; Gül Varol

978-3-031-72973-7

2025
Edition 1
€160
The World of Quantum Chemistry

Proceedings of the First International Congress of Quantum Chemistry held at Menton, France, July 4–10, 1973

R. Daudel; A. Pullman

978-94-010-2156-2

1974
Edition 1
€100
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XXX

Aleš Leonardis; Elisa Ricci; Stefan Roth; Olga Russakovsky; Torsten Sattler; Gül Varol

978-3-031-73404-5

2025
Edition 1
€160
Privacy Technologies and Policy

12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4–5, 2024, Proceedings

Meiko Jensen; Cédric Lauradoux; Kai Rannenberg

978-3-031-68024-3

2024
Edition 1
€90
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part VIII

Aleš Leonardis; Elisa Ricci; Stefan Roth; Olga Russakovsky; Torsten Sattler; Gül Varol

978-3-031-73242-3

2025
Edition 1
€180
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XIII

Aleš Leonardis; Elisa Ricci; Stefan Roth; Olga Russakovsky; Torsten Sattler; Gül Varol

978-3-031-72624-8

2025
Edition 1
€160
Algorithm Theory -- SWAT 2014

14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings

Inge Li Gørtz; R. Ravi

978-3-319-08404-6

2014
Edition 1
€100
Graphik in Dokumenten

Zweites Fachgespräch der GI-Fachgruppe “Graphische Systeme” Bremen, 3.–4. März 1986. Proceedings

Frieder Nake

978-3-662-07552-4

1986
Edition 1
€201
Document Analysis and Recognition - ICDAR 2024

18th International Conference, Athens, Greece, August 30–September 4, 2024, Proceedings, Part V

Elisa H. Barney Smith; Marcus Liwicki; Liangrui Peng

978-3-031-70549-6

2024
Edition 1
€160
Database and Expert Systems Applications

20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009, Proceedings

Sourav S. Bhowmick; Josef Küng; Roland Wagner

978-3-642-03573-9

2009
Edition 1
€180
Abstraction, Reformulation, and Approximation

5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Sven Koenig; Robert C. Holte

978-3-540-45622-3

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Kritik und Erkenntnisfortschritt

Abhandlungen des Internationalen Kolloquiums über die Philosophie der Wissenschaft, London 1965, Band 4

Imre Lakatos

978-3-322-90613-7

1974
Edition 1
€155
Information System Design: AI and ML Applications

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

Vikrant Bhateja; Soly Mathew Biju; Siba K. Udgata

978-981-95-0375-9

2026
Edition 1
- Presents research papers written by active researchers in the field of intelligent systems
- Discusses the outcomes of ISDIA 2025 held in Dubai, UAE
- Serves as a reference resource for practitioners and researchers in academia and industry
€499
Advances in Cryptology – EUROCRYPT 2003

International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings

Eli Biham

978-3-540-39200-2

2003
Edition 1
€180
COTS-Based Software Systems

First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings

John Dean; Andree Gravel

978-3-540-45588-2

2002
Edition 1
€100
Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

Luca Aceto; Monika Henzinger; Jiří Sgall

978-3-642-22006-7

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180
Multivariate Approximation Theory

Proceedings of the Conference held at the Mathematical Research Institute at Oberwolfach Black Forest, February 4–10, 1979

SCHEMPP; ZELLER

978-3-0348-6289-9

1979
Edition 1
€168
Collaboration Technologies and Social Computing

25th International Conference, CRIWG+CollabTech 2019, Kyoto, Japan, September 4–6, 2019, Proceedings

Hideyuki Nakanishi; Hironori Egi; Irene-Angelica Chounta; Hideyuki Takada; Satoshi Ichimura; Ulrich Hoppe

978-3-030-28011-6

2019
Edition 1
€114
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Jens Grabowski; Steffen Herbold

978-3-319-46613-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Vision – ACCV 2022

16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part I

Lei Wang; Juergen Gall; Tat-Jun Chin; Imari Sato; Rama Chellappa

978-3-031-26319-4

2023
Edition 1
€180
Databases and Information Systems

12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

Guntis Arnicans; Vineta Arnicane; Juris Borzovs; Laila Niedrite

978-3-319-40180-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Electronic Commerce and Web Technologies

First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings

Kurt Bauknecht; Sanjay Kumar Madria; Günther Pernul

978-3-540-44463-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Klinische Psychotherapie Innerer Krankheiten

Sechstes Freiburger Symposion an der Medizinischen Universitäts-Klinik vom 2. bis 4. Mai 1958

Günter Clauser

978-3-642-94748-3

1957
Edition 1
€201
Advances in Artificial Intelligence: Theories, Models, and Applications

6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings

Stasinos Konstantopoulos; Stavros Perantonis; Vangelis Karkaletsis; Costas D. Spyropoulos; George Vouros

978-3-642-12842-4

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art results
€100
Pattern Recognition and Computer Vision

5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4–7, 2022, Proceedings, Part I

Shiqi Yu; Zhaoxiang Zhang; Pong C. Yuen; Junwei Han; Tieniu Tan; Yike Guo; Jianhuang Lai; Jianguo Zhang

978-3-031-18907-4

2022
Edition 1
€180
Inductive Logic Programming

19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers

Luc Raedt

978-3-642-13840-9

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Juliano Iyoda; Leonardo de Moura

978-3-642-41071-0

2013
Edition 1
€90
Algebraic Informatics

8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Miroslav Ćirić; Manfred Droste; Jean-Éric Pin

978-3-030-21363-3

2019
Edition 1
€100
Reproducible Research in Pattern Recognition

First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers

Bertrand Kerautret; Miguel Colom; Pascal Monasse

978-3-319-56414-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Mobile Computing and Multimedia Intelligence

21st International Conference, MoMM 2023, Denpasar, Bali, Indonesia, December 4–6, 2023, Proceedings

Pari Delir Haghighi; Ismail Khalil; Gabriele Kotsis; Ngurah Agus Sanjaya ER

978-3-031-48348-6

2023
Edition 1
€110
Advances in Information and Computer Security

15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings

Kazumaro Aoki; Akira Kanaoka

978-3-030-58208-1

2020
Edition 1
€100
Computer Security - ESORICS 2000

6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings

Frederic Cuppens; Yves Deswarte; Dieter Gollmann; Michael Waidner

978-3-540-45299-7

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Smart Technologies, Systems and Applications

First International Conference, SmartTech-IC 2019, Quito, Ecuador, December 2-4, 2019, Proceedings

Fabián R. Narváez; Diego F. Vallejo; Paulina A. Morillo; Julio R. Proaño

978-3-030-46785-2

2020
Edition 1
€100
AI 2006: Advances in Artificial Intelligence

19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings

Abdul Sattar; Byeong Ho Kang

978-3-540-49788-2

2006
Edition 1
€180
Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever

978-3-540-30101-1

2004
Edition 1
€100
Mining the Sky

Proceedings of the MPA/ESO/MPE Workshop Held at Garching, Germany, July 31 – August 4, 2000

A.J. Banday; S. Zaroubi; M. Bartelmann

978-3-540-44665-1

2001
Edition 1
€280
Parallel Computing Technologies

13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Victor Malyshkin

978-3-319-21909-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
On approximation theory

Proceedings of the Conference held in the Mathematical Research Institute at Oberwolfach, Black Forest, August 4-10, 1963

Jacob Korevaar; NA Mathematisches Forschungsinstitut, Oberwolfach; NA Tagung über Approximationstheorie 1963, Oberwolfach; Paul Leo Butzer

978-3-0348-4131-3

1964
Edition 1
€152
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29 – October 4, 2024, Proceedings, Part LXXIV

Aleš Leonardis; Elisa Ricci; Stefan Roth; Olga Russakovsky; Torsten Sattler; Gül Varol

978-3-031-72904-1

2025
Edition 1
€160
Medical Informatics Europe 78

First Congress of the European Federation for Medical Informatics Proceedings, Cambridge, England September 4 – 8, 1978

J. Anderson

978-3-642-93095-9

1978
Edition 1
€100
User Interface Management and Design

Proceedings of the Workshop on User Interface Management Systems and Environments Lisbon, Portugal, June 4–6, 1990

David A. Duce; M. Rui Gomes; F. Robert A. Hopgood; John R. Lee

978-3-642-76283-3

1991
Edition 1
€180
Implementation of Functional Languages

12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers

Markus Mohnen; Pieter Koopman

978-3-540-45361-1

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Automata, Languages and Programming

30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings

Jos C.M. Baeten; Jan Karel Lenstra; Joachim Parrow; Gerhard J. Woeginger

978-3-540-45061-0

2003
Edition 1
€100
Computing and Combinatorics

20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Zhipeng Cai; Alexander Zelikovsky; Anu Bourgeois

978-3-319-08783-2

2014
Edition 1
€100
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
Computing and Combinatorics

24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

Lusheng Wang; Daming Zhu

978-3-319-94776-1

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