License single eBooks

Your results

View Cart

The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Paola Bonizzoni; Vasco Brattka; Benedikt Löwe

978-3-642-39053-1

2013
Edition 1

€100
Industrial Networks and Intelligent Systems

Second International Conference, INISCOM 2016, Leicester, UK, October 31 – November 1, 2016, Proceedings

Leandros A. Maglaras; Helge Janicke; Kevin Jones

978-3-319-52569-3

2017
Edition 1

€80
Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Steffen Hölldobler; Carsten Lutz; Heinrich Wansing

978-3-540-87803-2

2008
Edition 1

€100
Innovative Technologies and Learning

4th International Conference, ICITL 2021, Virtual Event, November 29 – December 1, 2021, Proceedings

Yueh-Min Huang; Chin-Feng Lai; Tânia Rocha

978-3-030-91540-7

2021
Edition 1

€220
Database and Expert Systems Applications

14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik; Werner Retschitzegger; Olga Stepankova

978-3-540-45227-0

2003
Edition 1

€180
Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

978-3-642-21691-6

2011
Edition 1

€100
Passive and Active Measurement

17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

Thomas Karagiannis; Xenofontas Dimitropoulos

978-3-319-30505-9

2016
Edition 1

€100
Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller

978-3-319-06251-8

2014
Edition 1

€100
Analysis

Band 1: Ein Lernbuch für den sanften Wechsel von der Schule zur Uni

Ehrhard Behrends

978-3-322-91821-5

2003
Edition 1

€449
Web Reasoning and Rule Systems

Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings

Diego Calvanese; Georg Lausen

978-3-540-88737-9

2008
Edition 1

€100
Information Security Practice and Experience

7th International Conference, ISPEC 2011, Guangzhou, China, May 30-June 1, 2011, Proceedings

Feng Bao; Jian Weng

978-3-642-21031-0

2011
Edition 1

€100
Software Architecture

Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

Ronald Morrison; Dharini Balasubramaniam; Katrina Falkner

978-3-540-88030-1

2008
Edition 1

€150
Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Wolfgang Grieskamp; Thomas Santen; Bill Stoddart

978-3-540-40911-3

2000
Edition 1

€100
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information

9th International Conference, UCAmI 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings

Juan M. García-Chamizo; Giancarlo Fortino; Sergio F. Ochoa

978-3-319-26401-1

2015
Edition 1

€100
Intelligent Systems

Proceedings of 4th International Conference on Machine Learning, IoT and Big Data (ICMIB 2024), Volume 1

Siba K. Udgata; Srinivas Sethi; George Ghinea; Sanjay Kumar Kuanar

978-981-96-3797-3

2025
Edition 1

€419
Recent Advances in System Modelling and Optimization

Proceedings of the IFIP-WG 7/1 Working Conference, Santiago, Chile, August 27–31, 1984

Luis Contesse; Rafael Correa; Andres Weintraub

978-3-540-47201-8

1986
Edition 1

€100
Intelligent Decision Technologies 2019

Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1

Ireneusz Czarnowski; Robert J. Howlett; Lakhmi C. Jain

978-981-13-8311-3

2020
Edition 1

€400
Experimental Algorithms

14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Evripidis Bampis

978-3-319-20086-6

2015
Edition 1

€100
Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro; José Fiadeiro

978-3-319-70848-5

2017
Edition 1

€130
Complex, Intelligent and Software Intensive Systems

Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 1

Leonard Barolli; Tomoya Enokido; Isaac Woungang

978-3-031-96099-4

2025
Edition 1

€400
Field Programmable Logic and Application

14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

Jürgen Becker; Marco Platzner; Serge Vernalde

978-3-540-30117-2

2004
Edition 1

€160
Mixed Finite Elements, Compatibility Conditions, and Applications

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 26 - July 1, 2006

Daniele Boffi; Daniele Boffi; Franco Brezzi; Lucia Gastaldi; Leszek F. Demkowicz; Ricardo G. Durán; Richard S. Falk; Michel Fortin

978-3-540-78319-0

2008
Edition 1

€110
Analysis

Band 1: Ein Lernbuch für den sanften Wechsel von der Schule zur Uni

Ehrhard Behrends

978-3-322-96378-9

2004
Edition 2

€486
Ambient Intelligence for Health

First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings

José Bravo; Ramón Hervás; Vladimir Villarreal

978-3-319-26508-7

2015
Edition 1

€100
Database Systems for Advanced Applications

15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I

Hiroyuki Kitagawa; Yoshiharu Ishikawa; Wenjie Li; Chiemi Watanabe

978-3-642-12026-8

2010
Edition 1

€180
Testbeds and Research Infrastructures for the Development of Networks and Communities

13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

Honghao Gao; Yuyu Yin; Xiaoxian Yang; Huaikou Miao

978-3-030-12971-2

2019
Edition 1

€80
Optimization and Applications

12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings

Nicholas N. Olenev; Yuri G. Evtushenko; Milojica Jaćimović; Michael Khachay; Vlasta Malkova

978-3-030-91059-4

2021
Edition 1

€150
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part II

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87196-3

2021
Edition 1

€180
Rewriting Techniques and Applications

20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Ralf Treinen

978-3-642-02348-4

2009
Edition 1

€100
Data Mining and Big Data

Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61845-6

2017
Edition 1

€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27 – October 1, 2021, Proceedings, Part VIII

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87237-3

2021
Edition 1

€200
Structural Information and Communication Complexity

28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings

Tomasz Jurdziński; Stefan Schmid

978-3-030-79527-6

2021
Edition 1

€100
Next Generation Arithmetic

Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

John Gustafson; Vassil Dimitrov

978-3-031-09779-9

2022
Edition 1

€120
Implementation and Application of Automata

26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

Pascal Caron; Ludovic Mignot

978-3-031-07469-1

2022
Edition 1

€130
The Impact of Virtual, Remote and Real Logistics Labs

First International Conference, ImViReLL 2012, Bremen, Germany, Februar 28-March 1, 2012. Proceedings

Dieter Uckelmann; Bernd Scholz-Reiter; Ingrid Rügge; Bonghee Hong; Antonio Rizzi

978-3-642-28816-6

2012
Edition 1

€100
Computational Linguistics and Intelligent Text Processing

10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings

Alexander Gelbukh

978-3-642-00382-0

2009
Edition 1

€180
Decision and Game Theory for Security

10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

Tansu Alpcan; Yevgeniy Vorobeychik; John S. Baras; György Dán

978-3-030-32430-8

2019
Edition 1

€100
Logic Programming

18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Peter J. Stuckey

978-3-540-45619-3

2002
Edition 1

€100
Proceedings of the Second ISAAC Congress

Volume 1: This project has been executed with Grant No. 11–56 from the Commemorative Association for the Japan World Exposition (1970)

Heinrich G.W. Begehr; R.P. Gilbert; Joji Kajiwara

978-1-4613-0269-8

2000
Edition 1

€400
Multimedia Communications, Services and Security

5th International Conference, MCSS 2012, Krakow, Poland, May 31--June 1, 2012. Proceedings

Andrzej Dziech; Andrzej Czyzewski

978-3-642-30721-8

2012
Edition 1

€100
Pattern Recognition and Image Analysis

9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I

Aythami Morales; Julian Fierrez; José Salvador Sánchez; Bernardete Ribeiro

978-3-030-31332-6

2019
Edition 1

€100
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings

Andre A. Cire

978-3-031-33271-5

2023
Edition 1

€180
Dynamical Phenomena at Surfaces, Interfaces and Superlattices

Proceedings of an International Summer School at the Ettore Majorana Centre, Erice, Italy, July 1–13, 1984

Fabrizio Nizzoli; Manuel Cardona; Karl-Heinz Rieder; Roy F. Willis

978-3-642-82535-4

1985
Edition 1

€180
Product-Focused Software Process Improvement

18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Michael Felderer; Daniel Méndez Fernández; Burak Turhan; Marcos Kalinowski; Federica Sarro; Dietmar Winkler

978-3-319-69926-4

2017
Edition 1

€100
Low-Voltage Low-Power Analog Integrated Circuits

A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Volume 8, No. 1 (1995)

Wouter A. Serdijn

978-1-4615-2283-6

1995
Edition 1

€180
Logical Aspects of Computational Linguistics

6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings

Sylvain Pogodalla; Jean-Philippe Prost

978-3-642-22221-4

2011
Edition 1

€100
Frontiers in Algorithmics

First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings

Franco P. Preparata; Qizhi Fang

978-3-540-73814-5

2007
Edition 1

€100
Advances in Intelligent Data Analysis XIII

13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings

Hendrik Blockeel; Matthijs van Leeuwen; Veronica Vinciotti

978-3-319-12571-8

2014
Edition 1

€100
Service-Oriented Computing

23rd International Conference, ICSOC 2025, Shenzhen, China, December 1–4, 2025, Proceedings, Part I

Marco Aiello; Shuiguang Deng; Juan-Manuel Murillo; Ilche Georgievski; Boualem Benatallah; Zhongjie Wang

978-981-95-5012-8

2026
Edition 1

€160
XXVI Brazilian Congress on Biomedical Engineering

CBEB 2018, Armação de Buzios, RJ, Brazil, 21-25 October 2018 (Vol. 1)

Rodrigo Costa-Felix; João Carlos Machado; André Victor Alvarenga

978-981-13-2119-1

2019
Edition 1

€280

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.