License single eBooks

Your results

View Cart

Progress in Artificial Intelligence

6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings

Michel Filgueiras; Luis M.M. Damas

978-3-540-48036-5

1993
Edition 1
€100
Artificial Intelligence in Economics and Managment

An Edited Proceedings on the Fourth International Workshop: AIEM4 Tel-Aviv, Israel, January 8–10, 1996

Phillip Ein-Dor

978-1-4613-1427-1

1996
Edition 1
€180
Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Willem-Paul de Roever; Hans Langmaack; Amir Pnueli

978-3-540-49213-9

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Persistent Object Systems: Design, Implementation, and Use

9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers

Graham N.C. Kirby; Alan Dearle; Dag I.K. Sjoberg

978-3-540-45498-4

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

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Javier Esparza; Pierre Fraigniaud; Thore Husfeldt; Elias Koutsoupias

978-3-662-43948-7

2014
Edition 1
€100
Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

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

978-3-540-39656-7

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2023

26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, Proceedings, Part VI

Hayit Greenspan; Anant Madabhushi; Parvin Mousavi; Septimiu Salcudean; James Duncan; Tanveer Syeda-Mahmood; Russell Taylor

978-3-031-43987-2

2023
Edition 1
€220
Experimental Algorithms

15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

Andrew V. Goldberg; Alexander S. Kulikov

978-3-319-38851-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Implementation of Functional Languages

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Phil Trinder; Greg Michaelson; Ricardo Pena

978-3-540-27861-0

2005
Edition 1
€100
The Reticuloendothelial System and Atherosclerosis

Proceedings of an International Symposium on Atherosclerosis and the Reticuloendothelial System, Held in Como, Italy, September 8–10, 1966

Rodolfo Paoletti

978-1-4684-7796-2

1967
Edition 1
€180
Interaktion und Kommunikation mit dem Computer

Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV). Ulm, 8.-10. März 1989 Proceedings

Brigitte Endres-Niggemeyer; Thomas Herrmann; Alfred Kobsa; Dietmar Rösner

978-3-642-75591-0

1990
Edition 1
€201
Blockchain and Trustworthy Systems

5th International Conference, BlockSys 2023, Haikou, China, August 8–10, 2023, Proceedings, Part I

Jiachi Chen; Bin Wen; Ting Chen

978-981-99-8101-4

2024
Edition 1
€150
Advances in Computational Intelligence Systems

Contributions Presented at the 17th UK Workshop on Computational Intelligence, September 6-8, 2017, Cardiff, UK

Fei Chao; Steven Schockaert; Qingfu Zhang

978-3-319-66939-7

2018
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 17th UK Workshop on Computational Intelligence, September 6-8, 2017, Cardiff, UK
€280
Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro

978-3-540-38865-4

2006
Edition 1
€100
Artificial Intelligence in Education

25th International Conference, AIED 2024, Recife, Brazil, July 8–12, 2024, Proceedings, Part I

Andrew M. Olney; Irene-Angelica Chounta; Zitao Liu; Olga C. Santos; Ig Ibert Bittencourt

978-3-031-64302-6

2024
Edition 1
€160
Advanced Intelligent Computing Technology and Applications

20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part I

De-Shuang Huang; Xiankun Zhang; Wei Chen

978-981-97-5578-3

2024
Edition 1
€150
Intelligent Robotics and Applications

4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part I

Sabina Jeschke; Honghai Liu; Daniel Schilberg

978-3-642-25486-4

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Algorithmic Aspects in Information and Management

10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings

Qianping Gu; Pavol Hell; Boting Yang

978-3-319-07956-1

2014
Edition 1
€100
Mathematical Morphology and Its Applications to Image and Signal Processing

10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011, Proceedings

Pierre Soille; Martino Pesaresi; Georgios Ouzounis

978-3-642-21569-8

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Variational Methods for Discontinuous Structures

Applications to image segmentation, continuum mechanics, homogenization Villa Olmo, Como, 8–10 September 1994

Raul Serapioni; Franco Tomarelli

978-3-0348-9244-5

1996
Edition 1
€180
Respiratory Diseases in Cattle

A Seminar in the EEC Programme of Coordination of Research on Beef Production held at Edinburgh, November 8–10, 1977

W.B. Martin

978-94-009-9750-9

1978
Edition 1
€100
Discrete Geometry for Computer Imagery

16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011, Proceedings

Isabelle Debled-Rennesson; Eric Domenjoud; Bertrand Kerautret; Philippe Even

978-3-642-19867-0

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Advances in Information and Computer Security

6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings

Tetsu Iwata; Masakatsu Nishigaki

978-3-642-25141-2

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Advanced Nanomaterials and Nanotechnology

Proceedings of the 2nd International Conference on Advanced Nanomaterials and Nanotechnology, Dec 8-10, 2011, Guwahati, India

P. K. Giri; D. K. Goswami; A. Perumal

978-3-642-34216-5

2013
Edition 1
- Latest trends in nanotechnology research
- Articles from leading experts in the field
- Covering topics from the synthesis of nanomaterials; to applications in Nanophotonics, Nanoelectronics and Nanobiotechnology; to the Commercialization of Nanotechnology
- Includes supplementary material: sn.pub/extras
€400
Advances in Databases and Information Systems

19th East European Conference, ADBIS 2015, Poitiers, France, September 8-11, 2015, Proceedings

Morzy Tadeusz; Patrick Valduriez; Ladjel Bellatreche

978-3-319-23135-8

2015
Edition 1
- Up-to-date results
- Includes supplementary material: sn.pub/extras
€100
Black Holes in Binaries and Galactic Nuclei: Diagnostics, Demography and Formation

Proceedings of the ESO Workshop Held at Garching, Germany, 6–8 September 1999, in Honour of Riccardo Giacconi

L. Kaper; E.P.J. van den Heuvel; P.A. Woudt

978-3-540-44562-3

2001
Edition 1
€100
Artificial Intelligence in Healthcare

Second International Conference, AIiH 2025, Cambridge, UK, September 8–10, 2025, Proceedings, Part I

Daniele Cafolla; Timothy Rittman; Hao Ni

978-3-032-00652-3

2026
Edition 1
€160
Post-Quantum Cryptography

16th International Workshop, PQCrypto 2025, Taipei, Taiwan, April 8–10, 2025, Proceedings, Part I

Ruben Niederhagen; Markku-Juhani O. Saarinen

978-3-031-86599-2

2025
Edition 1
€130
Few-Body Problems in Physics ’02

Proceedings of the XVIIIth European Conference on Few-Body Problems in Physics, Bled, Slovenia, September 8–14, 2002

Rajmund Krivec; Mitja Rosina; Bojan Golli; Simon Širca

978-3-7091-6728-1

2003
Edition 1
€180
Design, Learning, and Innovation

9th EAI International Conference, DLI 2024, Virtual Event, November 7–8, 2024, Proceedings

Eva Brooks; Emma Edstrand; Anders Kalsgaard Møller; Thomas Bjørner

978-3-031-85663-1

2025
Edition 1
€140
Progress in Cryptology -- INDOCRYPT 2003

4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings

Thomas Johansson; Subhamoy Maitra

978-3-540-24582-7

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Emerging Technologies for Authorization and Authentication

4th International Workshop, ETAA 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers

Andrea Saracino; Paolo Mori

978-3-030-93747-8

2021
Edition 1
€110
Pattern Recognition and Image Analysis

Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I

Joan Martí; José M. Benedí; Ana M. Mendonça; Joan Serrat

978-3-540-72847-4

2007
Edition 1
€180
Learning Classifier Systems

5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers

Pier Luca Lanzi; Wolfgang Stolzmann; Stewart W. Wilson

978-3-540-40029-5

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Warren A. Hunt, Jr.; Fabio Somenzi

978-3-540-45069-6

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Recent Advances in AI Planning

5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings

Susanne Biundo; Maria Fox

978-3-540-44657-6

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Security Protocols XXIV

24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers

Jonathan Anderson; Vashek Matyáš; Bruce Christianson; Frank Stajano

978-3-319-62033-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Geo-Informatics in Resource Management and Sustainable Ecosystem

International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Fuling Bian; Yichun Xie; Xiaohui Cui; Yixin Zeng

978-3-642-41908-9

2013
Edition 1
€100
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
- Includes supplementary material: sn.pub/extras
€419
Challenges and Opportunity with Big Data

19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Lin Zhang; Lei Ren; Fabrice Kordon

978-3-319-61994-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Computer Systems Architecture

11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

Chris Jesshope; Colin Egan

978-3-540-40058-5

2006
Edition 1
€180
Large-Scale Scientific Computing

4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers

Ivan Lirkov; Svetozar D. Margenov; Jerzy Wasniewski; Yalamov Plamen

978-3-540-24588-9

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Search-Based Software Engineering

15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Paolo Arcaini; Tao Yue; Erik M. Fredericks

978-3-031-48796-5

2024
Edition 1
€110
Database and Expert Systems Applications

6th International Conference, DEXA'95, London, United Kingdom, September 4 - 8, 1995, Proceedings

Norman Revell; A Min Tjoa

978-3-540-44790-0

1995
Edition 1
€180
Computer Analysis of Images and Patterns

6th International Conference, CAIP’95, Prague, Czech Republic, September 6–8, 1995 Proceedings

Vaclav Hlavac; Radim Sara

978-3-540-44781-8

1995
Edition 1
€100
Requirements Engineering: Foundation for Software Quality

30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8–11, 2024, Proceedings

Daniel Mendez; Ana Moreira

978-3-031-57327-9

2024
Edition 1
€150
Serious Games

4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

Stefan Göbel; Augusto Garcia-Agundez; Thomas Tregel; Minhua Ma; Jannicke Baalsrud Hauge; Manuel Oliveira; Tim Marsh; Polona Caserman

978-3-030-02762-9

2018
Edition 1
€100
Big Data and Social Computing

9th China National Conference, BDSC 2024, Harbin, China, August 8–10, 2024, Proceedings

Xiaofeng Meng; Zhidong Cao; Suran Wu; Yang Chen; Xiu-Xiu Zhan

978-981-97-5803-6

2024
Edition 1
€170
Algorithms and Data Structures

7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings

Frank Dehne; Jörg-Rüdiger Sack; Roberto Tamassia

978-3-540-44634-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Innovations and Interdisciplinary Solutions for Underserved Areas

4th EAI International Conference, InterSol 2020, Nairobi, Kenya, March 8-9, 2020, Proceedings

Jessica P. R. Thorn; Assane Gueye; Adam P. Hejnowicz

978-3-030-51051-0

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