License single eBooks

Your results

View Cart

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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €252
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €131
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
Applied Reconfigurable Computing

13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Stephan Wong; Antonio Carlos Beck; Koen Bertels; Luigi Carro

978-3-319-56258-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
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 €90
10% OFF
Symbiotic Interaction

4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Benjamin Blankertz; Giulio Jacucci; Luciano Gamberini; Anna Spagnolli; Jonathan Freeman

978-3-319-24917-9

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€80 €72
10% OFF
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 €288
10% OFF
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 €126
10% OFF
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 €90
10% OFF
Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez; Jean-Francois Raskin

978-3-319-11936-6

2014
Edition 1
€100 €90
10% OFF
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 €90
10% OFF
Algorithms in Bioinformatics

11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings

Teresa M. Przytycka; Marie-France Sagot

978-3-642-23038-7

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
Software Process Technology

Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992. Proceedings

Jean-Claude Derniame

978-3-540-47310-7

1992
Edition 1
€100 €90
10% OFF
Experimental Algorithms

11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

Ralf Klasing

978-3-642-30850-5

2012
Edition 1
- Fast track conference proceedings
- State of the art research
- Up to date results
€100 €90
10% OFF
Discovery Science

9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings

Nada Lavrač; Ljupco Todorovski; Klaus P. Jantke

978-3-540-46493-8

2006
Edition 1
€100 €90
10% OFF
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 €90
10% OFF
Unconventional Computation and Natural Computation

18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Ian McQuillan; Shinnosuke Seki

978-3-030-19311-9

2019
Edition 1
€114 €103
10% OFF
Foundations of Information and Knowledge Systems

9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Marc Gyssens; Guillermo Simari

978-3-319-30024-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Stabilization, Safety, and Security of Distributed Systems

18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Borzoo Bonakdarpour; Franck Petit

978-3-319-49259-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Technology and Practice of Passwords

9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings

Frank Stajano; Stig F. Mjølsnes; Graeme Jenkinson; Per Thorsheim

978-3-319-29938-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€80 €72
10% OFF
Stabilization, Safety, and Security of Distributed Systems

20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Taisuke Izumi; Petr Kuznetsov

978-3-030-03232-6

2018
Edition 1
€100 €90
10% OFF
Creative Mathematical Sciences Communication

7th International Conference, CMSC 2024, Trier, Germany, October 7–10, 2024, Proceedings

Henning Fernau; Inge Schwank; Jacqueline Staub

978-3-031-73257-7

2025
Edition 1
€110 €99
10% OFF
Ion Formation from Organic Solids

Proceedings of the Second International Conference Münster, Fed. Rep. of Germany September 7–9, 1982

A. Benninghoven

978-3-642-87148-1

1983
Edition 1
€100 €90
10% OFF
Unconventional Computation and Natural Computation

11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose; Natasa Jonoska

978-3-642-32894-7

2012
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€90 €81
10% OFF
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 €90
10% OFF
Algorithm Theory - SWAT 2000

7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings

Magnus M. Halldorsson

978-3-540-44985-0

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €90
10% OFF
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 €144
10% OFF
Multiple Classifier Systems

9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings

Neamat El Gayar; Josef Kittler; Fabio Roli

978-3-642-12127-2

2010
Edition 1
- Fast track conference proceedings
- State of the art papers in multiple classifier systems
- Up to date research
€100 €90
10% OFF
Computational Science – ICCS 2025 Workshops

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

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97570-7

2025
Edition 1
€180 €162
10% OFF
Statistical Methods for the Environmental Sciences

A Selection of Papers Presented at the Conference on Environmetrics, held in Cairo, Egypt, April 4–7, 1989

A.H. El-Shaarawi

978-94-011-3186-5

1991
Edition 1
€100 €90
10% OFF
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 €252
10% OFF
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 €90
10% OFF
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 €90
10% OFF
Computational Logistics

7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

Ana Paias; Mario Ruthmair; Stefan Voß

978-3-319-44896-1

2016
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
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 €162
10% OFF
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 €81
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.