License single eBooks

Your results

View Cart

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Maurice H. ter Beek; Annabelle McIver; José N. Oliveira

978-3-030-30942-8

2019
Edition 1
€100
Programming Languages and Systems

9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Hongseok Yang

978-3-642-25318-8

2011
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€100
Multi-disciplinary Trends in Artificial Intelligence

5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings

Chattrakul Sombattheera; Arun Agarwal; Siba K Udgata; Kittichai Lavangnananda

978-3-642-25725-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Jonathan P. Bowen; Michael G. Hinchey

978-3-540-44782-5

1995
Edition 1
€180
The Semantic Web - ISWC 2004

Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings

Sheila A. McIlraith; Dimitris Plexousakis; Frank van Harmelen

978-3-540-30475-3

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Descriptive Topology and Functional Analysis II

In Honour of Manuel López-Pellicer Mathematical Work, Elche, Spain, June 7–8, 2018

Juan Carlos Ferrando

978-3-030-17376-0

2019
Edition 1
- Covers more than 20 active research areas related to descriptive topology and functional analysis
- Presents the current research in various topics
- Dedicated to Professor Manuel López-Pellicer's mathematical research
€180
Pervasive Computing

4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings

Kenneth P. Fishkin; Bernt Schiele; Paddy Nixon; Aaron Quigley

978-3-540-33895-6

2006
Edition 1
€100
Security and Cryptography for Networks

8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012, Proceedings

Ivan Visconti; Roberto De Prisco

978-3-642-32928-9

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Persuasive Technology

11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings

Alexander Meschtscherjakov; Boris De Ruyter; Verena Fuchsberger; Martin Murer; Manfred Tscheligi

978-3-319-31510-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Automated Deduction – CADE-22

22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Renate Schmidt

978-3-642-02959-2

2009
Edition 1
€100
Algebra and Coalgebra in Computer Science

Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Alexander Kurz; Marina Lenisa

978-3-642-03741-2

2009
Edition 1
€100
Collaboration and Technology

17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011, Proceedings

Adriana S. Vivacqua; Carl Gutwin; Marcos R.S. Borges

978-3-642-23801-7

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Machine Learning and Data Mining in Pattern Recognition

Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, proceedings

Petra Perner; Azriel Rosenfeld

978-3-540-45065-8

2003
Edition 1
€100
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
Machine Learning: ECML 2005

16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings

João Gama; Rui Camacho; Pavel Brazdil; Alípio Jorge; Luís Torgo

978-3-540-31692-3

2005
Edition 1
€180
Trust, Privacy and Security in Digital Business

9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012, Proceedings

Simone Fischer-Hübner; Sokratis Katsikas; Gerald Quirchmayr

978-3-642-32287-7

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€90
Computers Helping People with Special Needs

9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings

Joachim Klaus; Klaus Miesenberger; Dominique Burger; Wolfgang Zagler

978-3-540-27817-7

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€160
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
Foundations of Information and Knowledge Systems

8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Christoph Beierle; Carlo Meghini

978-3-319-04939-7

2014
Edition 1
€100
Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Doron A. Peled; Yih-Kuen Tsay

978-3-540-31969-6

2005
Edition 1
€100
Optimization

Proceedings of the 9th Belgian-French-German Conference on Optimization Namur, September 7–11, 1998

Van Hien Nguyen; Jean-Jacques Strodiot; Patricia Tossings

978-3-642-57014-8

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Combinatorial Algorithms

34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings

Sun-Yuan Hsieh; Ling-Ju Hung; Chia-Wei Lee

978-3-031-34347-6

2023
Edition 1
€150
Formal Concept Analysis

10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

Florent Domenach; Dmitry Ignatov; Jonas Poelmans

978-3-642-29892-9

2012
Edition 1
- Up to date results
- Fast-track conference proceedings
- State of the art research
€100
New Methods and Results in Non-linear Field Equations

Proceedings of a Conference Held at the University of Bielefeld, Federal Republic of Germany, 7–10 July 1987

Philippe Blanchard; Joao-Paulo Dias; Joachim Stubbe

978-3-540-46868-4

1989
Edition 1
€100
Biological and Medical Data Analysis

7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

Nicos Maglaveras; Ioanna Chouvarda; Vassilis Koutkias; Rüdiger Brause

978-3-540-68065-9

2006
Edition 1
€100
Wittgenstein in Florida

Proceedings of the Colloquium on the Philosophy of Ludwig Wittgenstein, Florida State University, 7–8 August 1989

Jaakko Hintikka

978-94-011-3552-8

1991
Edition 1
€280
Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Graham Hutton

978-3-030-33636-3

2019
Edition 1
€100
Evolutionary Multi-Criterion Optimization

5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings

Carlos M. Fonseca; Xavier Gandibleux; Jin-Kao Hao; Marc Sevaux

978-3-642-01020-0

2009
Edition 1
€180
Bioinformatics Research and Applications

11th International Symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 Proceedings

Robert Harrison; Yaohang Li; Ion Măndoiu

978-3-319-19048-8

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
- Includes supplementary material: sn.pub/extras
€100
Pattern Recognition

37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings

Juergen Gall; Peter Gehler; Bastian Leibe

978-3-319-24947-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Passive and Active Measurement

11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010, Proceedings

Arvind Krishnamurthy; Bernhard Plattner

978-3-642-12334-4

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€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
Robust Argumentation Machines

First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Philipp Cimiano; Anette Frank; Michael Kohlhase; Benno Stein

978-3-031-63536-6

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
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
Computational Science – ICCS 2025

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III

Michael H. Lees; Wentong Cai; Siew Ann Cheong; Yi Su; David Abramson; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-97632-2

2025
Edition 1
€180
Intelligent Human Computer Interaction

10th International Conference, IHCI 2018, Allahabad, India, December 7–9, 2018, Proceedings

Uma Shanker Tiwary

978-3-030-04021-5

2018
Edition 1
€100
Artificial Intelligence

5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

Gennady S. Osipov; Aleksandr I. Panov; Konstantin S. Yakovlev

978-3-030-33274-7

2019
Edition 1
- Made for students, researchers, and practioniers
- Original, readable and useful lecture notes
- Provides an overview of leading-edge research in methods and tools for use in computer system engineering
€419
Algorithmic Learning Theory

17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings

José L. Balcázar; Philip M. Long; Frank Stephan

978-3-540-46650-5

2006
Edition 1
€100
Coronal Physics from Radio and Space Observations

Proceedings of the CESRA Workshop Held in Nouan le Fuzelier, France, 3–7 June 1996

Gerard Trottet

978-3-540-68693-4

1997
Edition 1
€100
Nonlinear Dynamics: Materials, Theory and Experiments

Selected Lectures, 3rd Dynamics Days South America, Valparaiso 3-7 November 2014

Mustapha Tlidi; Marcel. G. Clerc

978-3-319-24871-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€280
Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Alberto Sangiovanni-Vincentelli; Joseph Sifakis

978-3-540-45828-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Jean-Pierre Jouannaud; Zhong Shao

978-3-642-25379-9

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Algorithmic Learning Theory

22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings

Jyriki Kivinen; Csaba Szepesvári; Esko Ukkonen; Thomas Zeugmann

978-3-642-24412-4

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
PRICAI 2012: Trends in Artificial Intelligence

12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings

Patricia Anthony; Mitsuru Ishizuka; Dickson Lukose

978-3-642-32695-0

2012
Edition 1
- Up to date results
- State of the art research
- Fast-track conference proceedings
€100
Emotional Intelligence

Third CSIG Conference, CEI 2025, Shenzhen, China, December 5–7, 2025, Proceedings

Honghai Liu; Hui Huang; Hongxun Yao; Shengping Zhang; Weihong Ren; Zhiyong Wang

978-981-95-9493-1

2026
Edition 1
€140

Not published yet

Available from
2026-05-05
Simulation, Modeling, and Programming for Autonomous Robots

First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings

Stefano Carpin; Itsuki Noda; Enrico Pagello; Monica Reggiani

978-3-540-89076-8

2008
Edition 1
€100
Information Security Practice and Experience

20th International Conference, ISPEC 2025, Chengdu, China, November 7–9, 2025, Proceedings

Hu Xiong; Lu Zhou; Mohammed Atiquzzaman

978-981-95-9284-5

2026
Edition 1
€146

Not published yet

Available from
2026-05-13
Combinatorial Pattern Matching

6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings

Zvi Galil; Esko Ukkonen

978-3-540-49412-6

1995
Edition 1
€100
Intelligent Agents V: Agents Theories, Architectures, and Languages

5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings

Jörg Müller; Munindar P. Singh; Anand S. Rao

978-3-540-49057-9

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€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
€320

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.