License single eBooks

Your results

View Cart

Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Manuel Núnez; Zakaaria Maamar; Fernando Pelayo; Key Pousttchi; Fernando Rubio

978-3-540-30233-9

2004
Edition 1

€100
Principles and Practice of Declarative Programming

International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings

Gopalan Nadathur

978-3-540-48164-5

1999
Edition 1

€100
Numerical Analysis

Proceedings of the 10th Biennial Conference held at Dundee, Scotland, June 28 - July 1, 1983

D.F. Griffiths

978-3-540-38881-4

1984
Edition 1

€69
Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Dimitra Giannakopoulou; Gwen Salaün

978-3-319-10431-7

2014
Edition 1

€100
Discovery Science

10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings

Vincent Corruble; Masayuki Takeda; Einoshin Suzuki

978-3-540-75488-6

2007
Edition 1

€100
Business Modeling and Software Design

15th International Symposium, BMSD 2025, Milan, Italy, July 1–3, 2025, Proceedings

Boris Shishkov

978-3-031-98033-6

2026
Edition 1

€260
Graph Reduction

Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

Joseph H. Fasel; Robert M. Keller

978-3-540-47963-5

1987
Edition 1

€100
Software Process Technology

9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings

Flavio Oquendo

978-3-540-45189-1

2003
Edition 1

€100
Beweislastumkehr bei groben (Berufs-)Pflichtverletzungen

Über die analoge Anwendung des § 630h Abs. 5 S. 1 BGB und Alternativlösungen

Sarah Christina Göpfert

978-3-662-65834-5

2022
Edition 1

€327
Advances in Information Technology

Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings

Borworn Papasratorn; Wichian Chutimaskul; Kriengkrai Porkaew; Vajirasak Vanijja

978-3-642-10392-6

2009
Edition 1

€100
Vrancea Earthquakes: Tectonics, Hazard and Risk Mitigation

Contributions from the First International Workshop on Vrancea Earthquakes, Bucharest, Romania, November 1–4, 1997

F. Wenzel; O. Novak; D. Lungu

978-94-011-4748-4

1999
Edition 1

€280
Trust, Privacy and Security in Digital Business

12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings

Simone Fischer-Hübner; Costas Lambrinoudakis; Javier López

978-3-319-22906-5

2015
Edition 1

€94
Rough Sets and Current Trends in Computing

4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

Shusaku Tsumoto; Roman Slowiński; Jan Komorowski; Jerzy W. Grzymala-Busse

978-3-540-25929-9

2004
Edition 1

€180
Kommentierte Gesetzessammlung Sachkunde nach § 34a und Geprüfte Schutz- und Sicherheitskraft

Alle einschlägigen Gesetze und Vorschriften inklusive der DGUV Vorschriften 1 und 23

Robert Schwarz

978-3-658-33789-6

2021
Edition 4

€158
Information Security and Privacy

26th Australasian Conference, ACISP 2021, Virtual Event, December 1–3, 2021, Proceedings

Joonsang Baek; Sushmita Ruj

978-3-030-90567-5

2021
Edition 1

€180
Scale Space and Variational Methods in Computer Vision

Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings

Xue-Cheng Tai; Knut Morken; Marius Lysaker; Knut-Andreas Lie

978-3-642-02256-2

2009
Edition 1

€180
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006

9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II

Rasmus Larsen; Mads Nielsen; Jon Sporring

978-3-540-44728-3

2006
Edition 1

€280
Emerging Challenges in Intelligent Management Information Systems

Proceedings of 27th European Conference on Artificial Intelligence ECAI 2024 - IMIS Workshop. Volume 1

Marcin Hernes; Jaroslaw Wątróbski; Artur Rot

978-3-031-78465-1

2025
Edition 1

€260
Klinik und Forschung in der Chirurgie unter dem Aspekt von Effizienz und Ökonomie

114. Kongreß der Deutschen Gesellschaft für Chirurgie 1.–5. April 1997, München

H. Bauer; W. Hartel

978-3-642-60881-0

1997
Edition 1

€173
Kohlenstoff

Teil B: Lieferung 1: Das Element: Isotope · Atom · Molekeln · Einstoffsystem · Dampf · Diamant

978-3-662-12130-6

1967
Edition 8

€187
Anwendungsorientierte Mathematik

Vorlesungen und Übungen für Studierende der Ingenieur- und Wirtschaftswissenschaften Band 1: Algebra

Gert Böhme

978-3-642-49656-1

1974
Edition 3

€201
Artificial Immune Systems

Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings

Jon Timmis; Peter Bentley; Emma Hart

978-3-540-45192-1

2003
Edition 1

€100
Kommentierte Gesetzessammlung Sachkunde nach § 34a und Geprüfte Schutz- und Sicherheitskraft

Alle einschlägigen Gesetze und Vorschriften inklusive der DGUV Vorschriften 1 und 23

Robert Schwarz

978-3-658-30373-0

2020
Edition 3

€121
Applied Informatics

First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings

Hector Florez; Cesar Diaz; Jaime Chavarriaga

978-3-030-01535-0

2018
Edition 1

€100
Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

George Eleftherakis; Mike Hinchey; Mike Holcombe

978-3-642-33826-7

2012
Edition 1

€100
String Processing and Information Retrieval

22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

Costas Iliopoulos; Simon Puglisi; Emine Yilmaz

978-3-319-23826-5

2015
Edition 1

€100
Complex Networks & Their Applications XIV

Proceedings of The Fourteenth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2025. Volume 1

Hocine Cherifi; Luis M. Rocha; Chantal Cherifi; Melissa Zeynep Ertem

978-3-032-16645-6

2026
Edition 1

€599

Not published yet

Available from
2026-03-09
Entertainment Computing - ICEC 2014

13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings

Yusuf Pisan; Nikitas Marinos Sgouros; Tim Marsh

978-3-662-45212-7

2014
Edition 1

€100
Smart Wireless Communications: DL-based Methods and Algorithms

Proceedings of the Third International Conference on Artificial Intelligence and Communication Technologies (ICAICT 2025), Volume 1

Roumiana Kountcheva; Kazumi Nakamatsu; Srikanta Patnaik

978-3-032-06372-4

2025
Edition 1

€499
Human Factors in Computing and Informatics

First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings

Andreas Holzinger; Martina Ziefle; Martin Hitz; Matjaz Debevc

978-3-642-39062-3

2013
Edition 1

€100
Multidisciplinary Social Networks Research

Second International Conference, MISNC 2015, Matsuyama, Japan, September 1-3, 2015. Proceedings

Leon Wang; Shiro Uesugi; I-Hsien Ting; Koji Okuhara; Kai Wang

978-3-662-48319-0

2015
Edition 1

€100
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012

15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III

Nicholas Ayache; Hervé Delingette; Polina Golland; Kensaku Mori

978-3-642-33454-2

2012
Edition 1

€100
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012

15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II

Nicholas Ayache; Hervé Delingette; Polina Golland; Kensaku Mori

978-3-642-33418-4

2012
Edition 1

€100
Web and Internet Economics

9th International Conference, WINE 2013, Cambridge, MA, USA, December 1-14, 2013, Proceedings

Yiling Chen; Nicole Immorlica

978-3-642-45046-4

2013
Edition 1

€100
Seismicity and Seismic Risk in the Offshore North Sea Area

Proceedings of the NATO Advanced Research Workshop, held at Utrecht, The Netherlands, June 1–4, 1982

A.R. Ritsema; A. Gurpinar

978-94-009-7046-5

1983
Edition 1

€400
Learning Robots

6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 Proceedings

Andreas Birk; John Demiris

978-3-540-49240-5

1998
Edition 1

€100
Provable Security

First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings

Willy Susilo; Joseph K. Liu; Yi Mu

978-3-540-75670-5

2007
Edition 1

€100
Computer Vision Systems

Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

James Crowley; Justus Piater; Markus Vincze; Lucas Paletta

978-3-540-36592-1

2003
Edition 1

€180
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection

14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

Yves Demazeau; Takayuki Ito; Javier Bajo; Maria José Escalona

978-3-319-39324-7

2016
Edition 1

€100
Bioinformatics Research and Applications

16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings

Zhipeng Cai; Ion Mandoiu; Giri Narasimhan; Pavel Skums; Xuan Guo

978-3-030-57821-3

2020
Edition 1

€100
Complex Networks and Their Applications VIII

Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019

Hocine Cherifi; Sabrina Gaito; José Fernendo Mendes; Esteban Moro; Luis Mateus Rocha

978-3-030-36687-2

2020
Edition 1

€400
CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Mario Bravetti; Gianluigi Zavattaro

978-3-642-04081-8

2009
Edition 1

€180
Model Driven Engineering Languages and Systems

9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Oscar Nierstrasz; Jon Whittle; David Harel; Gianna Reggio

978-3-540-45773-2

2006
Edition 1

€180
Advanced Information Networking and Applications

Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 1

Leonard Barolli

978-3-031-57840-3

2024
Edition 1

€439
Multigrid Methods V

Proceedings of the Fifth European Multigrid Conference held in Stuttgart, Germany, October 1–4, 1996

Wolfgang Hackbusch; Gabriel Wittum

978-3-642-58734-4

1998
Edition 1

€180
Challenges and Innovation Opportunities in the Context of Sustainability, Industries 4.0 and 5.0

5th Annual ICQIS Conference, Lisbon, Portugal, June 16–19, 2024 - Vol 1

Teresa Morgado; João Calado; José Carlos de Sá; António Abreu; Ivan Galvão

978-3-032-16432-2

2026
Edition 1

€439

Not published yet

Available from
2026-04-03
Information Security

4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings

George I. Davida; Yair Frankel

978-3-540-45439-7

2001
Edition 1

€100
Computational Science and Its Applications – ICCSA 2020

20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part III

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Chiara Garau; Ivan Blečić; David Taniar; Bernady O. Apduhan; Ana Maria A. C. Rocha; Eufemia Tarantino; Carmelo Maria Torre; Yeliz Karaca

978-3-030-58808-3

2020
Edition 1

€180
Pattern Recognition in Bioinformatics

Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings

Jagath C.- Rajapakse; Bertil Schmidt; Gwenn Volkert

978-3-540-75286-8

2007
Edition 1

€100
Information Security and Privacy

14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

Colin Boyd; Juan González Nieto

978-3-642-02620-1

2009
Edition 1

€100

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.