License single eBooks

Your results

View Cart

Languages and Compilers for Parallel Computing

11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings

Siddharta Chatterjee; Jan F. Prins; Larry Carter; Jeanne Ferrante; Zhiyuan L. Li; David Sehr; Pen-Chung Yew

978-3-540-48319-9

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Mobile Information Systems II

IFIP Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005

John Krogstie; Karlheinz Kautz; David Allen

978-0-387-31166-1

2005
Edition 1
- Presents the most current research on and analysis of mobile information systems
- Includes supplementary material: sn.pub/extras
€180
Computer Vision – ECCV 2012

12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012. Proceedings, Part VI

Andrew Fitzgibbon; Svetlana Lazebnik; Pietro Perona; Yoichi Sato; Cordelia Schmid

978-3-642-33783-3

2012
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€180
Internet of Things

Third International Conference, ICIoT 2022, Chennai, India, April 5–7, 2022, Revised Selected Papers

Revathi Venkataraman; Annie Uthra; Vijayan Sugumaran; R. I. Minu; Pethuru Raj Chelliah

978-3-031-28475-5

2023
Edition 1
€130
Advances in Enterprise Engineering VI

Second Enterprise Engineering Working Conference, EEWC 2012, Delft, The Netherlands, May 7-8, 2012, Proceedings

Antonia Albani; David Aveiro; Joseph Barjis

978-3-642-29903-2

2012
Edition 1
- Fast track proceedings
€100
Object Representation in Computer Vision

International NSF-ARPA Workshop, New York City, NY, USA, December 5 - 7, 1994. Proceedings

Martial Hebert; Jean Ponce; Terry Boult; Ari Gross

978-3-540-47526-2

1995
Edition 1
€100
Foundations and Practice of Security

12th International Symposium, FPS 2019, Toulouse, France, November 5–7, 2019, Revised Selected Papers

Abdelmalek Benzekri; Michel Barbeau; Guang Gong; Romain Laborde; Joaquin Garcia-Alfaro

978-3-030-45371-8

2020
Edition 1
€100
Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho; Peter Csaba Ölveczky

978-3-319-29510-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Multidisciplinary Information Retrieval

6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013, Proceedings

Mihai Lupu; Evangelos Kanoulas; Fernando Loizides

978-3-642-41057-4

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90
PRICAI 2006: Trends in Artificial Intelligence

9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings

Quiang Yang; Geoff Webb

978-3-540-36668-3

2006
Edition 1
€320
Risks and Security of Internet and Systems

11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Frédéric Cuppens; Nora Cuppens; Jean-Louis Lanet; Axel Legay

978-3-319-54876-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Knowledge Management in Organisations

19th International Conference, KMO 2025, Kota Kinabalu, Malaysia, August 4–7, 2025, Proceedings, Part I

Lorna Uden; I-Hsien Ting

978-3-031-95898-4

2025
Edition 1
€180
Software Technologies

15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers

Marten van Sinderen; Leszek A. Maciaszek; Hans-Georg Fill

978-3-030-83007-6

2021
Edition 1
€100
Wireless and Satellite Systems

7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers

Prashant Pillai; Yim Fun Hu; Ifiok Otung; Giovanni Giambene

978-3-319-25479-1

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Machines, Computations, and Universality

10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers

Enrico Formenti; Jérôme Durand-Lose

978-3-031-81202-6

2025
Edition 1
€110
Agile Methods

7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers

Tiago Silva da Silva; Bernardo Estácio; Josiane Kroll; Rafaela Mantovani Fontana

978-3-319-55907-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Human Centered Computing

5th International Conference, HCC 2019, Čačak, Serbia, August 5–7, 2019, Revised Selected Papers

Danijela Milošević; Yong Tang; Qiaohong Zu

978-3-030-37429-7

2019
Edition 1
€100
Web Information Systems and Technologies

6th International Conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010, Revised Selected Papers

Joaquim Filipe; José Cordeiro

978-3-642-22810-0

2011
Edition 1
- Fast track proceedings
€100
Dynamics of Information Systems

7th International Conference, DIS 2024, Kalamata, Greece, June 2–7, 2024, Revised Selected Papers

Hossein Moosaei; Ilias Kotsireas; Panos M. Pardalos

978-3-031-81010-7

2025
Edition 1
€150
Semantic Web Challenges

5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3–7, 2018, Revised Selected Papers

Davide Buscaldi; Aldo Gangemi; Diego Reforgiato Recupero

978-3-030-00072-1

2018
Edition 1
€100
NASA Formal Methods

18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings

Jyotirmoy Deshmukh; Klaus Havelund; Alessandro Pinto

978-3-032-28079-4

2026
Edition 1
Not published yet

Available from
2026-06-26
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Manjunath Gorentla Venkata; Neena Imam; Swaroop Pophale

978-3-319-73814-7

2018
Edition 1
€80
Extended Reality

International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part IV

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71713-0

2024
Edition 1
€130
Web Technologies and Applications

16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings

Lei Chen; Yan Jia; Timos Sellis; Guanfeng Liu

978-3-319-11116-2

2014
Edition 1
€100
Intelligent Networked Things

5th China Conference, CINT 2022, Urumqi, China, August 7-8, 2022, Revised Selected Papers

Lin Zhang; Wensheng Yu; Haijun Jiang; Yuanjun Laili

978-981-19-8915-5

2022
Edition 1
€180
Large-Scale Scientific Computing

13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers

Ivan Lirkov; Svetozar Margenov

978-3-030-97549-4

2022
Edition 1
€180
Advances in Cryptology - ASIACRYPT 2008

14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008

Josef Pawel Pieprzyk

978-3-540-89255-7

2008
Edition 1
€100
Mathematical Modeling for Data Science

N2ADS, Athens, Greece, April, 7–8, 2025 and M2A25, Marrakech, Morocco, February, 18–20, 2025

Abdesslem Bentbib; Khalide Jbilou; Marilena Mitrouli

978-3-032-20505-6

2026
Edition 1
- Covers hot topics in data science
- Considers applications in engineering, industry, environment, medical imaging
- Provides mathematical foundation of machine learning
€400

Not published yet

Available from
2026-06-06
Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

978-3-540-48257-4

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
High-Speed Electronics

Basic Physical Phenomena and Device Principles Proceedings of the International Conference, Stockholm, Sweden, August 7–9, 1986

Bengt Källbäck; Heinz Beneking

978-3-642-82979-6

1986
Edition 1
€180
Web, Web-Services, and Database Systems

NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers

Akmal Chaudhri; Mario Jeckle; Erhard Rahm; Rainer Unland

978-3-540-36560-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Smart Card Research and Advanced Applications

13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers

Marc Joye; Amir Moradi

978-3-319-16763-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Risks and Security of Internet and Systems

17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers

Slim Kallel; Mohamed Jmaiel; Mohammad Zulkernine; Ahmed Hadj Kacem; Frédéric Cuppens; Nora Cuppens

978-3-031-31108-6

2023
Edition 1
€220
Languages, Methodologies, and Development Tools for Multi-Agent Systems

Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

Mehdi Dastani; Amal El Fallah Seghrouchni; Joao Leite; Paolo Torroni

978-3-642-13338-1

2010
Edition 1
€100
Computer Vision – ECCV 2012

12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III

Andrew Fitzgibbon; Svetlana Lazebnik; Pietro Perona; Yoichi Sato; Cordelia Schmid

978-3-642-33712-3

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€180
Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II

Wray Buntine; Marko Grobelnik; Dunja Mladenic; John Shawe-Taylor

978-3-642-04174-7

2009
Edition 1
€180
Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

James L. Rash; Christopher A. Rouff; Walter Truszkowski; Diana Gordon; Michael G. Hinchey

978-3-540-45484-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Cellular Automata: Research Towards Industry

ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

Roberto Serra; Furio Suggi Liverani

978-1-4471-1281-5

1998
Edition 1
€180
Electrical Processes in Atmospheres

Proceedings of the Fifth International Conference on Atmospheric Electricity held at Garmisch-Partenkirchen (Germany), 2–7 September 1974

H. Dolezalek; R. Reiter

978-3-642-85294-7

1976
Edition 1
€180
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Shuvendu K. Lahiri; Chao Wang

978-3-030-01090-4

2018
Edition 1
€100
Computational Intelligence

International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers

Kurosh Madani; António Dourado Correia; Agostinho Rosa; Joaquim Filipe

978-3-319-11271-8

2015
Edition 1
- Recent research in Computational Intelligence
- Revised and selected papers of the International Joint Conference IJCCI 2012 held in Barcelona, Spain, October 5-7, 2012
- Written by experts in the field
€180
Haptics: Perception, Devices, Control, and Applications

10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

Fernando Bello; Hiroyuki Kajimoto; Yon Visell

978-3-319-42324-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Neural Computing for Advanced Applications

5th International Conference, NCAA 2024, Guilin, China, July 5–7, 2024, Proceedings, Part III

Haijun Zhang; Xianxian Li; Tianyong Hao; Weizhi Meng; Zhou Wu; Qian He

978-981-97-7007-6

2025
Edition 1
€180
The Semantic Web

Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings

Jeff Z. Pan; Huajun Chen; Hong-Gee Kim; Juanzi Li; Zhe Wu; Ian Horrocks; Riichiro Mizoguchi; Zhaohui Wu

978-3-642-29923-0

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Innovative Technologies and Learning

8th International Conference, ICITL 2025, Oslo, Norway, August 5–7, 2025, Proceedings, Part II

Wei-Sheng Wang; Frode Eika Sandnes; Chin-Feng Lai; Tengel Aas Sandtrø; Yueh-Min Huang

978-3-031-98197-5

2026
Edition 1
€280
Emerging Technology Trends in Electronics, Communication and Networking

Third International Conference, ET2ECN 2020, Surat, India, February 7–8, 2020, Revised Selected Papers

Shilpi Gupta; Jignesh N. Sarvaiya

978-981-15-7219-7

2020
Edition 1
€100
Computational Collective Intelligence

10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

Ngoc Thanh Nguyen; Elias Pimenidis; Zaheer Khan; Bogdan Trawiński

978-3-319-98446-9

2018
Edition 1
€100
Computer Security - ESORICS 94

Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings

Dieter Gollmann

978-3-540-49034-0

1994
Edition 1
€100
Monte Carlo Search

First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings

Tristan Cazenave; Olivier Teytaud; Mark H. M. Winands

978-3-030-89453-5

2021
Edition 1
€130
Theory of Cryptography

20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I

Eike Kiltz; Vinod Vaikuntanathan

978-3-031-22318-1

2022
Edition 1
€200

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.