License single eBooks

Your results

View Cart

Logic Programming

23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

Verónica Dahl; Ilkka Niemelä

978-3-540-74610-2

2007
Edition 1
€100
Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler; George Metcalfe

978-3-642-22119-4

2011
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Logic, Language, Information, and Computation

27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

Alexandra Silva; Renata Wassermann; Ruy de Queiroz

978-3-030-88853-4

2021
Edition 1
€146
Algorithm Theory - SWAT '94

4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings

Erik M. Schmidt; Sven Skyum

978-3-540-48577-3

1994
Edition 1
€100
Rotifer Symposium VI

Proceedings of the Sixth International Rotifer Symposium, held in Banyoles, Spain, June 3–8, 1991

John Gilbert; E. Lubzens; M.R. Miracle

978-94-011-1606-0

1993
Edition 1
€578
Algorithmic Learning Theory

21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

Marcus Hutter; Frank Stephan; Vladimir Vovk; Thomas Zeugmann

978-3-642-16108-7

2010
Edition 1
- unique visibility, state-of-the-art survey,
- fast-track conference proceedings
€100
Web Engineering

13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013, Proceedings

Florian Daniel; Peter Dolog; Qing Li

978-3-642-39200-9

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Data Science

Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings

Chengqi Zhang; Wei Huang; Yong Shi; Philip S. Yu; Yangyong Zhu; Yingjie Tian; Peng Zhang; Jing He

978-3-319-24474-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Programming Languages and Systems

4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Naoki Kobayashi

978-3-540-48938-2

2006
Edition 1
€100
Blockchain and Trustworthy Systems

First International Conference, BlockSys 2019, Guangzhou, China, December 7–8, 2019, Proceedings

Zibin Zheng; Hong-Ning Dai; Mingdong Tang; Xiangping Chen

978-981-15-2777-7

2020
Edition 1
€180
Web Information Systems Engineering – WISE 2016

17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

Wojciech Cellary; Mohamed F. Mokbel; Jianmin Wang; Hua Wang; Rui Zhou; Yanchun Zhang

978-3-319-48743-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Wired / Wireless Internet Communication

10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012, Proceedings

Yevgeni Koucheryavy; Lefteris Mamatas; Ibrahim Matta; Vassilis Tsaoussidis

978-3-642-30630-3

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Laser/Optoelektronik in der Technik / Laser/Optoelectronics in Engineering

Vorträge des 8. Internationalen Kongresses / Proceedings of the 8th International Congress Laser 87 Optoelektronik

Wilhelm Waidelich

978-3-642-83174-4

1987
Edition 1
€168
Advanced Information Networking and Applications

Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 8

Leonard Barolli

978-3-031-87784-1

2025
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 39th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€419
Electronic Government

5th International Conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings

Maria A. Wimmer; Hans Jochen Scholl; Ake Grönlund; Kim Viborg Andersen

978-3-540-37687-3

2006
Edition 1
€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part V

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59722-1

2020
Edition 1
€180
Knowledge Science, Engineering and Management

First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings

Jérôme Lang; Fangzhen Lin; Ju Wang

978-3-540-37035-2

2006
Edition 1
€180
Machine Learning for Multimodal Interaction

5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008, Proceedings

Andrei Popescu-Belis; Rainer Stiefelhagen

978-3-540-85853-9

2008
Edition 1
€100
Symbiotic Interaction

4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Benjamin Blankertz; Giulio Jacucci; Luciano Gamberini; Anna Spagnolli; Jonathan Freeman

978-3-319-24917-9

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€80
Health Information Science

13th International Conference, HIS 2024, Hong Kong, China, December 8–10, 2024, Proceedings

Siuly Siuly; Chunxiao Xing; Xiaofan Li; Rui Zhou

978-981-96-5597-7

2025
Edition 1
€280
Web Engineering

22nd International Conference, ICWE 2022, Bari, Italy, July 5–8, 2022, Proceedings

Tommaso Di Noia; In-Young Ko; Markus Schedl; Carmelo Ardito

978-3-031-09917-5

2022
Edition 1
€170
Applied Algorithms

Second International Conference, ICAA 2025, Kolkata, India, January 8–10, 2025, Proceedings

Subhas C. Nandy; Rajat K. De; Prosenjit Gupta

978-3-031-84543-7

2025
Edition 1
€150
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Keijiro Araki; Stefania Gnesi; Dion Mandrioli

978-3-540-45236-2

2003
Edition 1
€180
Green, Pervasive, and Cloud Computing

11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings

Xinyi Huang; Yang Xiang; Kuan-Ching Li

978-3-319-39077-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection

19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings

Frank Dignum; Juan Manuel Corchado; Fernando De La Prieta

978-3-030-85739-4

2021
Edition 1
€150
Reversible Computation

13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Shigeru Yamashita; Tetsuo Yokoyama

978-3-030-79837-6

2021
Edition 1
€100
Automata, Languages and Programming

23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings

Friedhelm Meyer auf der Heide; Burkhard Monien

978-3-540-68580-7

1996
Edition 1
€180
Distributed Computing and Internet Technology

11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings

Raja Natarajan; Gautam Barua; Manas Ranjan Patra

978-3-319-14977-6

2015
Edition 1
€100
Evolutionary Computation in Combinatorial Optimization

15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Gabriela Ochoa; Francisco Chicano

978-3-319-16468-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Software Business

Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings

Björn Regnell; Inge van de Weerd; Olga De Troyer

978-3-642-21544-5

2011
Edition 1
- fast track proceedings
€100
Advances in Databases and Information Systems

23rd European Conference, ADBIS 2019, Bled, Slovenia, September 8–11, 2019, Proceedings

Tatjana Welzer; Johann Eder; Vili Podgorelec; Aida Kamišalić Latifić

978-3-030-28730-6

2019
Edition 1
€146
Probability Theory and Mathematical Statistics

Proceedings of the Fifth Japan-USSR Symposium, held in Kyoto, Japan, July 8-14, 1986

Shinzo Watanabe; Yurii V. Prokhorov

978-3-540-48187-4

1988
Edition 1
€88
Automata, Languages and Programming

29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings

Peter Widmayer; Francisco Triguero; Rafael Morales; Matthew Hennessy; Stephan Eidenbenz; Ricardo Conejo

978-3-540-45465-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Simon Devitt; Ivan Lanese

978-3-319-40578-0

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

15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part VIII

Vittorio Ferrari; Martial Hebert; Cristian Sminchisescu; Yair Weiss

978-3-030-01237-3

2018
Edition 1
€180
Mathematical Optimization Theory and Operations Research

18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

Michael Khachay; Yury Kochetov; Panos Pardalos

978-3-030-22629-9

2019
Edition 1
€180
Medical Data Analysis

Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings

Alfredo Colosimo; Alessandro Giuliani; Paolo Sirabella

978-3-540-36104-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Algorithms and Discrete Applied Mathematics

First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

Sumit Ganguly; Ramesh Krishnamurti

978-3-319-14974-5

2015
Edition 1
€100
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Alessandro Cimatti; Marjan Sirjani

978-3-319-66197-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Deductive and Object-Oriented Databases

5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings

Francois Bry; Raghu Ramakrishnan; Kotagiri Ramamohanarao

978-3-540-69647-6

1997
Edition 1
€100
Constituents of Modern System-safety Thinking

Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005

Felix Redmill; Tom Anderson

978-1-84628-130-3

2005
Edition 1
€280
Web and Internet Economics

19th International Conference, WINE 2023, Shanghai, China, December 4–8, 2023, Proceedings

Jugal Garg; Max Klimm; Yuqing Kong

978-3-031-48974-7

2024
Edition 1
€260
Active, Real-Time, and Temporal Database Systems

Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings

Sten F. Andler; Jörgen Hansson

978-3-540-49151-4

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
String Processing and Information Retrieval

11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings

Alberto Apostolico; Massimo Melucci

978-3-540-30213-1

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advanced Data Mining and Applications

Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007 Proceedings

Reda Alhajj; Hong Gao; Xue Li; Jianzhong Li; Osmar R. Zaiane

978-3-540-73871-8

2007
Edition 1
€180
Parallel Lisp: Languages and Systems

US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings

Takayasu Ito; J. McCarthy; Robert H. Jr. Halstead

978-3-540-47143-1

1990
Edition 1
€100
Somatosensory Mechanisms

Proceedings of an International Symposium held at The Wenner-Gren Center, Stockholm, June 8–10, 1983

Curt von Euler

978-1-349-07292-7

1984
Edition 1
€160
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part IV

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59719-1

2020
Edition 1
€260
Advanced Information Systems Engineering

13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings

Klaus R. Dittrich; Andreas Geppert; Moira C. Norrie

978-3-540-45341-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Logic, Rationality, and Interaction

Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He; John Horty; Eric Pacuit

978-3-642-04893-7

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.