License single eBooks

Your results

View Cart

Abstract State Machines, Alloy, B, TLA, VDM, and Z

4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Yamine Ait Ameur; Klaus-Dieter Schewe

978-3-662-43652-3

2014
Edition 1
€100 €90
10% OFF
Performance Engineering of Computer and Telecommunications Systems

Proceedings of UKPEW’95, Liverpool John Moores University, UK. 5 – 6 September 1995

Madjid Merabti; Michael Carew; Frank Ball

978-1-4471-1007-1

1996
Edition 1
€180 €162
10% OFF
Enterprise Information Systems

11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009, Proceedings

Joaquim Filipe; José Cordeiro

978-3-642-01347-8

2009
Edition 1
€180 €162
10% OFF
Inductive Logic Programming

14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings

Rui Camacho; Ross King; Ashwin Srinivasan

978-3-540-30109-7

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Logic and Argumentation

Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

Mehdi Dastani; Huimin Dong; Leon van der Torre

978-3-030-44638-3

2020
Edition 1
€100 €90
10% OFF
Videogame Sciences and Arts

14th International Conference, VJ 2024, Leiria, Portugal, December 5–6, 2024, Proceedings

Anabela Marto; Rui Prada; Patrícia Gouveia; Ruth Contreras- Espinosa; Alexandrino Gonçalves; Eduarda Abrantes; Roberto Ribeiro

978-3-031-81713-7

2025
Edition 1
€150 €135
10% OFF
Haptics: Science, Technology, Applications

12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings

Ilana Nisky; Jess Hartcher-O’Brien; Michaël Wiertlewski; Jeroen Smeets

978-3-030-58147-3

2020
Edition 1
Open Access
Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Sérgio Campos; Marius Minea

978-3-030-92137-8

2021
Edition 1
€110 €99
10% OFF
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024

27th International Conference, Marrakesh, Morocco, October 6–10, 2024, Proceedings, Part II

Marius George Linguraru; Qi Dou; Aasa Feragen; Stamatia Giannarou; Ben Glocker; Karim Lekadir; Julia A. Schnabel

978-3-031-72069-7

2024
Edition 1
€220 €198
10% OFF
Combinators and Functional Programming Languages

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

Guy Cousineau; Pierre-Louis Curien; Bernard Robinet

978-3-540-47253-7

1986
Edition 1
€60 €54
10% OFF
Programming Languages and Systems

Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

Wei-Ngan Chin

978-3-540-30477-7

2004
Edition 1
€100 €90
10% OFF
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors

12th International Conference, PERSUASIVE 2017, Amsterdam, The Netherlands, April 4–6, 2017, Proceedings

Peter W. de Vries; Harri Oinas-Kukkonen; Liseth Siemons; Nienke Beerlage-de Jong; Lisette van Gemert-Pijnen

978-3-319-55134-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€130 €117
10% OFF
Linear Operators in Function Spaces

12th International Conference on Operator Theory Timi?oara (Romania) June 6–16, 1988

G. Arsene

978-3-0348-7250-8

1990
Edition 1
€100 €90
10% OFF
Advances in Artificial Life

Third European Conference on Artificial Life, Granada, Spain, June 4 - 6, 1995 Proceedings

Federico Moran; Alvaro Moreno; Juan J. Merelo; Pablo Chacon

978-3-540-49286-3

1995
Edition 1
€180 €162
10% OFF
Ada in Europe

Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

Marcel Toussaint

978-3-540-49362-4

1996
Edition 1
€100 €90
10% OFF
Mathematical Optimization Theory and Operations Research

19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings

Alexander Kononov; Michael Khachay; Valery A Kalyagin; Panos Pardalos

978-3-030-49988-4

2020
Edition 1
€100 €90
10% OFF
Disks and Outflows Around Young Stars

Proceedings of a Conference Honouring Hans Elsässer Held at Heidelberg, Germany, 6–9 September 1994

Steven Beckwith; Jakob Staude; Axel Quetz; Antonella Natta

978-3-540-68511-1

1996
Edition 1
€180 €162
10% OFF
Discovery Science

Second International Conference, DS'99, Tokyo, Japan, December 6-8, 1999 Proceedings

Setsuo Arikawa; Koichi Furukawa

978-3-540-46846-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Applied Economics, Business and Development

International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part I

Qingyuan Zhou

978-3-642-23023-3

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
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 €135
10% OFF
Atomic Physics 8

Proceedings of the Eighth International Conference on Atomic Physics, August 2–6, 1982, Göteborg, Sweden

I. Lindgren

978-1-4684-4550-3

1983
Edition 1
€100 €90
10% OFF
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 €90
10% OFF
ICT as Key Technology against Global Warming

Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012, Proceedings

Axel Auweter; Dieter Kranzlmüller; Amirreza Tahamtan; A Min Tjoa

978-3-642-32606-6

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90 €81
10% OFF
Transport Transitions: Advancing Sustainable and Inclusive Mobility

Proceedings of the 10th TRA Conference, 2024, Dublin, Ireland - Volume 6: Connected Mobility Ecosystems

Ciaran McNally; Páraic Carroll; Beatriz Martinez-Pastor; Bidisha Ghosh; Marina Efthymiou; Nikolaos Valantasis-Kanellos

978-3-032-06763-0

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
- Covers research and best practices fostering digital, green, and inclusive transport
- Sixth volume of a 6-volume set
Open Access
Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Oleg Kiselyov; Andy King

978-3-319-29604-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€94 €85
10% OFF
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 €90
10% OFF
Advanced Parallel Processing Technologies

15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings

Chao Li; Zhenhua Li; Li Shen; Fan Wu; Xiaoli Gong

978-981-99-7872-4

2024
Edition 1
€160 €144
10% OFF
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 €90
10% OFF
Advanced Information Systems Engineering

34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings

Xavier Franch; Geert Poels; Frederik Gailly; Monique Snoeck

978-3-031-07472-1

2022
Edition 1
€160 €144
10% OFF
Advances in Information Technology

5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012, Proceedings

Borworn Papasratorn; Nipon Charoenkitkarn; Kittichai Lavangnananda; Wichian Chutimaskul; Vajirasak Vanijja

978-3-642-35076-4

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
Current Issues in Safety-Critical Systems

Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003

Felix Redmill; Tom Anderson

978-1-4471-0653-1

2003
Edition 1
€100 €90
10% OFF
Parallel Algorithms for Irregularly Structured Problems

Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings

Afonso Ferreira; Jose Rolim

978-3-540-44915-7

1995
Edition 1
€100 €90
10% OFF
Functional Imaging and Modeling of the Heart

10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings

Yves Coudière; Valéry Ozenne; Edward Vigmond; Nejib Zemzemi

978-3-030-21949-9

2019
Edition 1
€146 €131
10% OFF
Fun with Algorithms

6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings

Evangelos Kranakis; DANNY KRIZANC; Flaminia Luccio

978-3-642-30347-0

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
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 €90
10% OFF
CONCUR 2011 -- Concurrency Theory

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Joost-Pieter Katoen; Barbara König

978-3-642-23217-6

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
Enumerative Invariants in Algebraic Geometry and String Theory

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 6-11, 2005

Kai Behrend; Marcos Marino; Marco Manetti; Michael Thaddeus; Ravi Vakil

978-3-540-79814-9

2008
Edition 1
- Includes supplementary material: sn.pub/extras
€110 €99
10% OFF
Advances in Automation II

Proceedings of the International Russian Automation Conference, RusAutoConf2020, September 6-12, 2020, Sochi, Russia

Andrey A. Radionov; Vadim R. Gasiyarov

978-3-030-71119-1

2021
Edition 1
- Reports on novel systems for automatic control
- Covers a number of applications in power engineering
- Describes cutting-edge intelligent control systems
€578 €520
10% OFF
Intelligent Computer Mathematics

18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings

Valeria de Paiva; Peter Koepke

978-3-032-07021-0

2026
Edition 1
€260 €234
10% OFF
Adaptive and Natural Computing Algorithms

11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini; Alberto Antonioni; Fabio Daolio; Pierre Buesser

978-3-642-37213-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
Technologies and Innovation

4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings

Rafael Valencia-García; Gema Alcaraz-Mármol; Javier Del Cioppo-Morstadt; Néstor Vera-Lucio; Martha Bucaram-Leverone

978-3-030-00940-3

2018
Edition 1
€100 €90
10% OFF
Computer Vision -- ECCV 2014

13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part VII

David Fleet; Tomas Pajdla; Bernt Schiele; Tinne Tuytelaars

978-3-319-10584-0

2014
Edition 1
€100 €90
10% OFF
Big Data Analytics and Knowledge Discovery

18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

Sanjay Madria; Takahiro Hara

978-3-319-43946-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Experimental Algorithms

6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings

Camil Demetrescu

978-3-540-72845-0

2007
Edition 1
€100 €90
10% OFF
Computational Logistics

14th International Conference, ICCL 2023, Berlin, Germany, September 6–8, 2023, Proceedings

Joachim R. Daduna; Gernot Liedtke; Xiaoning Shi; Stefan Voß

978-3-031-43612-3

2023
Edition 1
€180 €162
10% OFF
Business Information Systems Workshops

BIS 2016 International Workshops, Leipzig, Germany, July 6-8, 2016, Revised Papers

Witold Abramowicz; Rainer Alt; Bogdan Franczyk

978-3-319-52464-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Pan-African Artificial Intelligence and Smart Systems

First International Conference, PAAISS 2021, Windhoek, Namibia, September 6-8, 2021, Proceedings

Telex Magloire N. Ngatched; Isaac Woungang

978-3-030-93314-2

2022
Edition 1
€150 €135
10% OFF
Experimental Algorithms

8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings

Jan Vahrenhold

978-3-642-02011-7

2009
Edition 1
€100 €90
10% OFF
Advanced Information Networking and Applications

Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 6

Leonard Barolli

978-3-031-57942-4

2024
Edition 1
- Presents recent research in Information Networking and Applications
- Gathers the proceedings of the 38th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€539 €485
10% OFF
Business Process Management: Blockchain and Robotic Process Automation Forum

BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6–10, 2021, Proceedings

José González Enríquez; Søren Debois; Peter Fettke; Pierluigi Plebani; Inge van de Weerd; Ingo Weber

978-3-030-85867-4

2021
Edition 1
€130 €117
10% OFF

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.