License single eBooks

Your results

View Cart

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
Probabilistic Safety Assessment and Management

PSAM 7 — ESREL ’04 June 14–18, 2004, Berlin, Germany, Volume 6

Cornelia Spitzer; Ulrich Schmocker; Vinh N. Dang

978-0-85729-410-4

2004
Edition 1
€280
Scalable Uncertainty Management

11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Serafín Moral; Olivier Pivert; Daniel Sánchez; Nicolás Marín

978-3-319-67582-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Information Processing in Medical Imaging

20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings

Nico Karssemeijer; Boudewijn Lelieveldt

978-3-540-73273-0

2007
Edition 1
€180
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
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
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
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
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
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
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
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
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
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
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
€180
Embedded Computer Systems: Architectures, Modeling, and Simulation

23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings

Cristina Silvano; Christian Pilato; Marc Reichenbach

978-3-031-46077-7

2023
Edition 1
€220
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
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
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
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
Formal Concept Analysis

9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings

Petko Valtchev; Robert Jäschke

978-3-642-20514-9

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Business Process Management

22nd International Conference, BPM 2024, Krakow, Poland, September 1–6, 2024, Proceedings

Andrea Marrella; Manuel Resinas; Mieke Jans; Michael Rosemann

978-3-031-70396-6

2024
Edition 1
€160
Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa

978-3-030-34968-4

2019
Edition 1
€100
Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Peter Dybjer; Bengt Nordström; Jan Smith

978-3-540-47770-9

1995
Edition 1
€100
Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira; Tim A. C. Willemse

978-3-031-47115-5

2023
Edition 1
€130
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
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
$eBook:Electro-optic and Photorefractive Materials$
Electro-optic and Photorefractive Materials

Proceedings of the International School on Material Science and Technology, Erice, Italy, July 6–17, 1986

Peter Günter

978-3-642-71907-3

1987
Edition 1
€180
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
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
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
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024

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

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

978-3-031-72120-5

2024
Edition 1
€200
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
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
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
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
Applications of Evolutionary Computation

21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings

Kevin Sim; Paul Kaufmann

978-3-319-77538-8

2018
Edition 1
€100
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
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
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
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
Distributed Computing and Internet Technology

10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014, Proceedings

Raja Natarajan

978-3-319-04483-5

2014
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up to date results
€100
Data Warehousing and Knowledge Discovery

Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings

Yahiko Kambayashi; Mukesh Mohania; A Min Tjoa

978-3-540-44466-4

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Mathematical Foundations of Computer Science 1996

21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings

Wojciech Penczek; Andrzej Szalas

978-3-540-70597-0

1996
Edition 1
€180
Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Harald Ganzinger; David McAllester; Andrei Voronkov

978-3-540-48242-0

1999
Edition 1
€100
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
Kommunikation in Verteilten Systemen (KiVS) 2009

16. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2009) Kassel, 2. - 6. März 2009

Klaus David; Kurt Geihs

978-3-540-92666-5

2009
Edition 1
- Ergebnisse der 16. GI/ITG-Fachtagung
- Aktuelle Entwicklungen und Forschungsarbeiten
- Zukunftsträchtige Ansätze
€327
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
Security and Cryptography for Networks

5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006, Proceedings

Roberto De Prisco; Moti Yung

978-3-540-38081-8

2006
Edition 1
€100
Emerging Wireless Technologies and Sciences

Second International Conference, ICEWTS 2024, Uttarakhand, India, October 6–7, 2024, Proceedings

Ashish Bagwari; Jorge Luis Victoria Barbosa; Eduard Babulak; Durg Singh Chauhan

978-3-031-87886-2

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