License single eBooks

Your results

View Cart

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
Infrared Astronomy

Proceedings of the NATO Advanced Study Institute held at Erice, Sicily, 9–20 July, 1977

G. Setti; G.G. Fazio

978-94-009-9815-5

1978
Edition 1

€100
Stabilization, Safety, and Security of Distributed Systems

27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9–11, 2025, Proceedings

Silvia Bonomi; Partha Sarathi Mandal; Peter Robinson; Gokarna Sharma; Sebastien Tixeuil

978-3-032-11127-2

2026
Edition 1

€146
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

Martin Törngren; Barbara Gallina; Erwin Schoitsch; Elena Troubitsyna; Friedemann Bitsch

978-3-032-02018-5

2026
Edition 1

€146
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
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
Logic Programming

19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Catuscia Palamidessi

978-3-540-24599-5

2003
Edition 1

€220
Evolutionary Computation in Combinatorial Optimization

10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings

Peter I. Cowling; Peter Merz

978-3-642-12139-5

2010
Edition 1

€100
Progress in Cryptology -- INDOCRYPT 2015

16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings

Alex Biryukov; Vipul Goyal

978-3-319-26617-6

2015
Edition 1

€100
Functional Imaging and Modeling of the Heart

4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007

Frank B. Sachse; Gunnar Seemann

978-3-540-72907-5

2007
Edition 1

€100
Die Ambivalenz des Fortschritts — ist weniger mehr?

111. Kongreß der Deutschen Gesellschaft für Chirurgie 5.–9. April 1994, München

W. Hartel; M. Trede

978-3-642-79242-7

1994
Edition 1

€173
Computers Helping People with Special Needs

11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings

Klaus Miesenberger; Joachim Klaus; Wolfgang Zagler; Arthur Karshmer

978-3-540-70540-6

2008
Edition 1

€300
Automata, Languages and Programming

27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Ugo Montanari; Jose D.P. Rolim; Emo Welzl

978-3-540-45022-1

2000
Edition 1

€180
Information Security and Privacy

13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008, Proceedings

Yi Mu; Willy Susilo; Jennifer Seberry

978-3-540-70500-0

2008
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
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
The Semantic Web - ISWC 2002

First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings

Ian Horrocks; James Hendler

978-3-540-48005-1

2002
Edition 1

€100
Intelligent Agents VII. Agent Theories Architectures and Languages

7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings

Cristiano Castelfranchi; Yves Lesperance

978-3-540-44631-6

2001
Edition 1

€100
Computational Science – ICCS 2025 Workshops

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

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97567-7

2025
Edition 1

€160
Theory and Practice of Natural Computing

8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

Carlos Martín-Vide; Geoffrey Pond; Miguel A. Vega-Rodríguez

978-3-030-34500-6

2019
Edition 1

€114
Power Electronics and Instrumentation Engineering

International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings

Vinu V Das; Janahallal Stephen; Nessy Thankachan

978-3-642-15739-4

2010
Edition 1

€100
Fuzzy Logic

Theorie und Praxis, 3. Dortmunder Fuzzy-Tage Dortmund, 7.–9. Juni 1993

Bernd Reusch

978-3-642-78694-5

1993
Edition 1

€201
Mathematik ist schön

Anregungen zum Anschauen und Erforschen für Menschen zwischen 9 und 99 Jahren

Heinz Klaus Strick

978-3-662-53730-5

2017
Edition 1

€79
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
Energy Minimization Methods in Computer Vision and Pattern Recognition

4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003, Proceedings

Anand Rangarajan; Mário A. T. Figueiredo; Josiane Zerubia

978-3-540-45063-4

2003
Edition 1

€180
Combinatorial Pattern Matching

18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings

Bin Ma; Kaizhong Zhang

978-3-540-73437-6

2007
Edition 1

€100
Finite Fields and Applications

7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

Gary L. Mullen; Alain Poli; Henning Stichtenoth

978-3-540-24633-6

2004
Edition 1

€100
Coordination Models and Languages

13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

Wolfgang De Meuter; Gruia-Catalin Roman

978-3-642-21464-6

2011
Edition 1

€100
Web and Internet Economics

11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings

Evangelos Markakis; Guido Schäfer

978-3-662-48995-6

2015
Edition 1

€100
Differential Geometry

Proceedings of the Nordic Summer School held in Lyngby, Denmark, Jul. 29-Aug. 9, 1985

Vagn Lundsgaard Hansen

978-3-540-47249-0

1987
Edition 1

€74
Hybrid Systems: Computation and Control

8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Manfred Morari; Lothar Thiele; Francesca Rossi

978-3-540-31954-2

2005
Edition 1

€180
Conceptual Modeling

42nd International Conference, ER 2023, Lisbon, Portugal, November 6–9, 2023, Proceedings

João Paulo A. Almeida; José Borbinha; Giancarlo Guizzardi; Sebastian Link; Jelena Zdravkovic

978-3-031-47262-6

2023
Edition 1

€160
Instability and Transition

Materials of the workshop held May 15-June 9, 1989 in Hampton, Virgina Volume 1

M.Y. Hussaini; Robert G. Voigt

978-1-4612-3430-2

1990
Edition 1

€180
Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke; Dominique Méry

978-3-030-77543-8

2021
Edition 1

€120
Networking - ICN 2001

First International Conference on Networking Colmar, France, July 9-13, 2001 Proceedings, Part I

Pascal Lorenz

978-3-540-47728-0

2001
Edition 1

€180
Advances in Web-Age Information Management

Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001. Proceedings

X. Sean Wang; Ge Yu; Hongjun Lu

978-3-540-47714-3

2001
Edition 1

€100
Progress in Artificial Intelligence — IBERAMIA 98

6th Ibero-American Conference on AI, Lisbon, Portugal, October 5–9, 1998 Proceedings

Helder Coelho

978-3-540-49795-0

1998
Edition 1

€100
Computer Algebra in Scientific Computing

15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings

Vladimir P. Gerdt; Wolfram Koepf; Ernst W. Mayr; Evgenii V. Vorozhtsov

978-3-319-02297-0

2013
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
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
String Processing and Information Retrieval

20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

Oren Kurland; Moshe Lewenstein; Ely Porat

978-3-319-02432-5

2013
Edition 1

€100
Knowledge Engineering and the Semantic Web

4th Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings

Pavel Klinov; Dmitry Mouromtsev

978-3-642-41360-5

2013
Edition 1

€100
Logic-Based Program Synthesis and Transformation

35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Santiago Escobar; Laura Titolo

978-3-032-04848-6

2026
Edition 1

€114
Cyberspace Safety and Security

13th International Symposium, CSS 2021, Virtual Event, November 9–11, 2021, Proceedings

Weizhi Meng; Mauro Conti

978-3-030-94029-4

2022
Edition 1

€130
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
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

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.