License single eBooks

Your results

View Cart

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar; Jim Woodcock

978-3-540-87873-5

2008
Edition 1

€100
Intelligent Tutoring Systems

12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

Stefan Trausan-Matu; Kristy Boyer; Martha Crosby; Kitty Panourgia

978-3-319-07221-0

2014
Edition 1

€180
Modelling and Optimization of Complex System

Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3–9 July, 1978

G.I. Marchuk

978-3-540-34781-1

1979
Edition 1

€100
Semantic Systems. The Power of AI and Knowledge Graphs

15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings

Maribel Acosta; Philippe Cudré-Mauroux; Maria Maleshkova; Tassilo Pellegrini; Harald Sack; York Sure-Vetter

978-3-030-33220-4

2019
Edition 1

Open Access
Analytical and Stochastic Modeling Techniques and Applications

16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings

Khalid Al-Begain; Dieter Fiems; Gábor Horváth

978-3-642-02205-0

2009
Edition 1

€100
Database and Expert Systems Applications

5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings

Dimitris Karagiannis

978-3-540-48796-8

1994
Edition 1

€180
Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Yuting Chen; Hiroyuki Okamura; Shaoying Liu

978-981-95-6032-5

2026
Edition 1

€130

Not published yet

Available from
2026-03-17
Belief Functions: Theory and Applications

Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France 9-11 May 2012

Thierry Denoeux; Marie-Hélène Masson

978-3-642-29461-7

2012
Edition 1

€400
Combinatorics on Words

12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Robert Mercaş; Daniel Reidenbach

978-3-030-28796-2

2019
Edition 1

€100
Persuasive Technology: Development of Persuasive and Behavior Change Support Systems

14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings

Harri Oinas-Kukkonen; Khin Than Win; Evangelos Karapanos; Pasi Karppinen; Eleni Kyza

978-3-030-17287-9

2019
Edition 1

€130
Coordination Models and Languages

11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

John Field; Vasco Thudichum Vasconcelos

978-3-642-02053-7

2009
Edition 1

€100
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection

18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings

Yves Demazeau; Tom Holvoet; Juan M. Corchado; Stefania Costantini

978-3-030-49778-1

2020
Edition 1

€100
Applied Algorithms

Third International Conference, ICAA 2026, Kolkata, India, January 7–9, 2026, Proceedings

Christos Zaroliagis; Dinabandhu Bhandari; Prosenjit Gupta; Swagatam Das

978-3-032-15621-1

2026
Edition 1

€146
Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Lucas Lima; Vince Molnár

978-3-031-22476-8

2022
Edition 1

€110
Intelligent Interactive Assistance and Mobile Multimedia Computing

International Conference, IMC 2009, Rostock-Warnemünde, Germany, November 9-11, 2009. Proceedings

Djamshid Tavangarian; Thomas Kirste; Dirk Timmermann; Ulrike Lucke; Daniel Versick

978-3-642-10263-9

2009
Edition 1

€100
Algorithmic Number Theory

First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings

Leonard M. Adleman; Ming-Deh Huang

978-3-540-49044-9

1994
Edition 1

€100
Noise and Vibration Mitigation for Rail Transportation Systems

Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9–13 September 2013

Jens C.O. Nielsen; David Anderson; Pierre-Etienne Gautier; Masanobu Iida; James T. Nelson; David Thompson; Thorsten Tielkes; David A. Towers; Paul de Vos

978-3-662-44832-8

2015
Edition 1

€400
Distributed Computing

29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses

978-3-662-48653-5

2015
Edition 1

€100
Cavitation and Inhomogeneities in Underwater Acoustics

Proceedings of the First International Conference, Göttingen, Fed. Rep. of Germany, July 9–11, 1979

W. Lauterborn

978-3-642-51070-0

1980
Edition 1

€100
Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin; Igor Siveroni

978-3-540-31971-9

2005
Edition 1

€100
Intelligent Interactive Technologies and Multimedia

Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings

Anupam Agrawal; R.C. Tripathi; Ellen Yi-Luen Do; M. D. Tiwari

978-3-642-37463-0

2013
Edition 1

€100
Dependable Software Engineering: Theories, Tools, and Applications

Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Martin Fränzle; Deepak Kapur; Naijun Zhan

978-3-319-47677-3

2016
Edition 1

€100
System Configuration Management

9th International Symposium, SCM-9 Toulouse, France, September 5-7, 1999 Proceedings

Jacky Estublier

978-3-540-48253-6

1999
Edition 1

€100
Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Bernhard Beckert; Reiner Hähnle

978-3-540-79124-9

2008
Edition 1

€100
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet

7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings

Amitabha Das; Hung Keng Pung; Francis Bu Sung Lee; Lawrence Wong Wai Choong

978-3-540-79549-0

2008
Edition 1

€280
Germ-Free Biology Experimental and Clinical Aspects

Proceedings of an International Symposium on Gnotobiology held in Buffalo, New York, June 9–11, 1968

Edwin A. Mirand; Nathan Back

978-1-4899-6495-3

1969
Edition 1

€180
Quantum AI and NLP

First International Conference, QNLPAI 2025, Bloomington, IN, USA, August 6–9, 2025, Proceedings

Damir Cavar; Vaneet Aggarwal; Jerome Busemeyer; Samuel Yen-Chi Chen

978-3-032-13883-5

2026
Edition 1

€220
Programming Languages and Systems

6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

G. Ramalingam

978-3-540-89330-1

2008
Edition 1

€100
Discrete and Computational Geometry

Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers

Jin Akiyama; Mikio Kano; Masatsugu Urabe

978-3-540-46515-7

2000
Edition 1

€100
Distributed Algorithms

5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings

Sam Toueg; Paul G. Spirakis; Lefteris Kirousis

978-3-540-46789-2

1992
Edition 1

€100
Neural Information Processing

22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

Sabri Arik; Tingwen Huang; Weng Kin Lai; Qingshan Liu

978-3-319-26561-2

2015
Edition 1

€100
Information and Software Technologies

20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings

Giedre Dregvaite; Robertas Damasevicius

978-3-319-11958-8

2014
Edition 1

€100
ESEC '87

1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

Howard K. Nichols; Dan Simpson

978-3-540-48117-1

1987
Edition 1

€100
Embedded Computer Systems: Architectures, Modeling, and Simulation

20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings

Alex Orailoglu; Matthias Jung; Marc Reichenbach

978-3-030-60939-9

2020
Edition 1

€100
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings

Alvaro Pardo; Josef Kittler

978-3-319-25751-8

2015
Edition 1

€100
Advances in Cryptology – EUROCRYPT '85

Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques. Linz, Austria, April 9-11, 1985

Franz Pichler

978-3-540-39805-9

1986
Edition 1

€70
Asymptotic, Algebraic and Geometric Aspects of Integrable Systems

In Honor of Nalini Joshi On Her 60th Birthday, TSIMF, Sanya, China, April 9–13, 2018

Frank Nijhoff; Yang Shi; Da-jun Zhang

978-3-030-57000-2

2020
Edition 1

€280
Bioinformatics Research and Development

Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings

Mourad Elloumi; Josef Küng; Michal Linial; Robert Murphy; Kristan Schneider; Cristian Toma

978-3-540-70600-7

2008
Edition 1

€160
Discrete and Computational Geometry

Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers

Jin Akiyama; Mikio Kano

978-3-540-44400-8

2003
Edition 1

€100
Software Process Technology

5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings

Carlo Montangero

978-3-540-70676-2

1996
Edition 1

€100
Integer Programming and Combinatorial Optimization

14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings

Friedrich Eisenbrand; Bruce Shepherd

978-3-642-13036-6

2010
Edition 1

€100
Spatial Data and Intelligence

First International Conference, SpatialDI 2020, Virtual Event, May 8–9, 2020, Proceedings

Xiaofeng Meng; Xing Xie; Yang Yue; Zhiming Ding

978-3-030-69873-7

2021
Edition 1

€100
Man and His Mind-Changers

Highlights of the 30th International Congress on Alcoholism and Drug Dependence, Amsterdam, September 4–9, 1972

E. Dekker; H.J. van der Wal

978-94-010-2619-2

1973
Edition 1

€100
The Semantic Web

Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2008. Proceedings

Yong-jiang Yu; Ying Ding

978-3-642-10871-6

2009
Edition 1

€100
Information Security Practice and Experience

8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012, Proceedings

Mark D. Ryan; Ben Smyth; Guilin Wang

978-3-642-29101-2

2012
Edition 1

€100
Dark Matter in Astro- and Particle Physics

Proceedings of the International Conference DARK 2004, College Station, USA, 3-9 October, 2004

Hans-Volker Klapdor-Kleingrothaus; Richard Arnowitt

978-3-540-26373-9

2006
Edition 1

€400
Begründungsverwaltung

Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings

Herbert Stoyan

978-3-642-73385-7

1988
Edition 1

€180
String Processing and Information Retrieval

25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

Travis Gagie; Alistair Moffat; Gonzalo Navarro; Ernesto Cuadros-Vargas

978-3-030-00479-8

2018
Edition 1

€100
Detection of Intrusions and Malware, and Vulnerability Assessment

12th International Conference, DIMVA 2015, Milan, Italy, July 9-10, 2015, Proceedings

Magnus Almgren; Vincenzo Gulisano; Federico Maggi

978-3-319-20550-2

2015
Edition 1

€100
Network Games, Artificial Intelligence, Control and Optimization

11th International Conference, NETGCOOP 2024, Lille, France, October 9–11, 2024, Proceedings

Hélène Le Cadre; Yezekael Hayel; Bruno Tuffin; Tijani Chahed

978-3-031-78600-6

2025
Edition 1

€220

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.