License single eBooks

Your results

View Cart

Formal Methods: Foundations and Applications

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings

Maurice H. ter Beek; Leopoldo Teixeira

978-3-032-12086-1

2026
Edition 1
€114 €103
10% OFF
Constructive Side-Channel Analysis and Secure Design

Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

Werner Schindler; Sorin Huss

978-3-642-29912-4

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Distributed Computing and Networking

14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Davide Frey; Michel Raynal; Saswati Sarkar; Rudrapatna K. Shyamasundar; Prasun Sinha

978-3-642-35668-1

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100 €90
10% OFF
Multimedia Communications, Services and Security

4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011. Proceedings

Andrzej Dziech; Andrzej Czyzewski

978-3-642-21512-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Modular Functions of One Variable II

Proceedings International Summer School, University of Antwerp, RUCA, July 17 - August 3, 1972

P. Deligne; Willem Kuyk

978-3-540-37855-6

1973
Edition 1
€130 €117
10% OFF
Advanced Mineralogy

Volume 3: Mineral Matter in Space, Mantle, Ocean Floor, Biosphere, Environmental Management, and Jewelry

Arnold S. Marfunin

978-3-642-18154-2

1998
Edition 1
€400 €360
10% OFF
Trust, Privacy and Security in Digital Business

6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009, Proceedings

Simone Fischer-Hübner; Costas Lambrinoudakis; Günther Pernul

978-3-642-03748-1

2009
Edition 1
€100 €90
10% OFF
Embedded Computer Systems: Architectures, Modeling, and Simulation

22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings

Alex Orailoglu; Marc Reichenbach; Matthias Jung

978-3-031-15074-6

2022
Edition 1
€170 €153
10% OFF
Discrete Geometry for Computer Imagery

10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002. Proceedings

Achille Braquelaire; Jacques-Olivier Lauchaud; Anne Vialard

978-3-540-45986-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Modeling Decisions for Artificial Intelligence

Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings

Vincenc Torra; Yasuo Narukawa; Aïda Valls; Josep Domingo-Ferrer

978-3-540-32781-3

2006
Edition 1
€100 €90
10% OFF
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 €181
10% OFF
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV

International Workshop, COINE 2021, London, UK, May 3, 2021, Revised Selected Papers

Andreas Theodorou; Juan Carlos Nieves; Marina De Vos

978-3-031-16617-4

2022
Edition 1
€110 €99
10% OFF
Genetic Programming

5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings

James A. Foster; Evelyne Lutton; Julian F. Miller; Conor Ryan; Andra G.B. Tezzamanzi

978-3-540-45984-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Ambient Intelligence

First European Symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3.-4, 2003, Proceedings

Emile Aarts; René Collier; Evert van Loenen; Boris de Ruyter

978-3-540-39863-9

2003
Edition 1
€100 €90
10% OFF
Evolutionary Computation in Combinatorial Optimization

13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf; Christian Blum

978-3-642-37198-1

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90 €81
10% OFF
A Practical Programming Model for the Multi-Core Era

International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings

Barbara Chapman; Weimin Zheng; Guang R. Gao; Mitsuhisa Sato; Eduard Ayguadé; Dongsheng Wang

978-3-540-69303-1

2008
Edition 1
€100 €90
10% OFF
Ubiquitous Intelligence and Computing

Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings

Hai Jin; Laurence T. Yang; Jeffrey J.-P. Tsai

978-3-540-38092-4

2006
Edition 1
€240 €216
10% OFF
Complex Networks & Their Applications XIV

Proceedings of the Fourteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2025, Volume 3

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

978-3-032-16723-1

2026
Edition 1
- Presents the latest research in Complex Networks and their Applications
- Gathers the edited proceedings of the Fourteenth International Workshop on Complex Networks & their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€599 €539
10% OFF
Parallel Computing Technologies

6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings

Victor Malyshkin

978-3-540-44743-6

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Egon Börger; Hans Kleine Büning; Michael M. Richter

978-3-540-46736-6

1989
Edition 1
€100 €90
10% OFF
Numerical Treatment of Inverse Problems in Differential and Integral Equations

Proceedings of an International Workshop, Heidelberg, Fed. Rep. of Germany, August 30 — September 3, 1982

Deuflhard; Hairer

978-1-4684-7324-7

1983
Edition 1
€100 €90
10% OFF
Logic and Its Applications

11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings

C. Aiswarya; Prabal Kumar Sen; Shashi Mohan Srivastava

978-3-031-89610-1

2025
Edition 1
€130 €117
10% OFF
Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Jean-Francois Raskin; P.S. Thiagarajan

978-3-540-75454-1

2007
Edition 1
€100 €90
10% OFF
Operations Research Proceedings 2003

Selected Papers of the International Conference on Operations Research (OR 2003) Heidelberg, September 3–5, 2003

Dino Ahr; Roland Fahrion; Marcus Oswald; Gerhard Reinelt

978-3-642-17022-5

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
Algebraic Methodology and Software Technology

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

V.S. Alagar; Maurice Nivat

978-3-540-49410-2

1995
Edition 1
€180 €162
10% OFF
Performance Management im Hochschulbereich

Dilger/Dyckhoff/Fandel (Hrsg.), Performance Management im Hochschulbereich (ZfB Special Issue 3)

Alexander Dilger; Harald Dyckhoff; Günter Fandel

978-3-658-03348-4

2013
Edition 1
- Neue Ansätze betriebswirtschaftlicher Forschungen im Hochschul-Performance-Management
- Gestaltung von Anreizsystemen
- Anregungen zu weiterer Forschung?
€168 €151
10% OFF
Evolving Ambient Intelligence

AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers

Michael O’Grady; Hamed Vahdat-Nejad; Klaus-Hendrik Wolf; Mauro Dragone; Juan Ye; Carsten Röcker; Gregory O'Hare

978-3-319-04406-4

2013
Edition 1
€100 €90
10% OFF
Critical Information Infrastructures Security

15th International Conference, CRITIS 2020, Bristol, UK, September 2–3, 2020, Proceedings

Awais Rashid; Peter Popov

978-3-030-58295-1

2020
Edition 1
€120 €108
10% OFF
Logic and Its Applications

10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

Mohua Banerjee; A. V. Sreejith

978-3-031-26689-8

2023
Edition 1
€130 €117
10% OFF
Nonlinear Hyperbolic Problems: Theoretical, Applied, and Computational Aspects

Proceedings of the Fourth International Conference on Hyperbolic Problems, Taormina, Italy, April 3 to 8, 1992

Andrea Donato; Francesco Oliveri

978-3-322-87871-7

1993
Edition 1
€180 €162
10% OFF
Algebraic Informatics

5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Traian Muntean; Robert Rolland; Dimitrios Poulakis

978-3-642-40663-8

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€90 €81
10% OFF
Fun with Algorithms

4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Pierluigi Crescenzi; Giuseppe Prencipe; Geppino Pucci

978-3-540-72914-3

2007
Edition 1
€100 €90
10% OFF
Computer Vision, Virtual Reality and Robotics in Medicine

First International Conference, CVRMed '95, Nice, France, April 3 - 6, 1995. Proceedings

Nicholas Ayache

978-3-540-49197-2

1995
Edition 1
€180 €162
10% OFF
Data Management in Cloud, Grid and P2P Systems

7th International Conference, Globe 2014, Munich, Germany, September 2-3, 2014. Proceedings

Abdelkader Hameurlain; Tran Khanh Dang; Franck Morvan

978-3-319-10067-8

2014
Edition 1
€80 €72
10% OFF
Software Process Technology

4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings

Wilhelm Schäfer

978-3-540-49224-5

1995
Edition 1
€100 €90
10% OFF
Computational Science and Its Applications – ICCSA 2017

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Giuseppe Borruso; Carmelo M. Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Elena Stankova; Alfredo Cuzzocrea

978-3-319-62395-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Studies of Historical Earthquakes in Southern Poland

Outer Western Carpathian Earthquake of December 3, 1786, and First Macroseismic Maps in 1858-1901

Barbara Guterch; Jan Kozák

978-3-319-15446-6

2015
Edition 1
- New compilation of historic earthquakes in Poland
- Includes macroseismic intensity maps
- Reveals the seismicity pattern in Poland
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Serenella Cerrito; Andrei Popescu

978-3-030-29026-9

2019
Edition 1
€100 €90
10% OFF
Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

Jose Julio Alferes; Luis Moniz Pereira; Eva Orlowska

978-3-540-70643-4

1996
Edition 1
€100 €90
10% OFF
Numerical Analysis, Lancaster 1984

Proceedings of the SERC Summer School held in Lancaster, England, July 15 - August 3, 1984

Peter R. Turner

978-3-540-39412-9

1985
Edition 1
€50 €45
10% OFF
Computational Science and Its Applications – ICCSA 2025

25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part I

Osvaldo Gervasi; Beniamino Murgante; Chiara Garau; Yeliz Karaca; David Taniar; Ana Maria A. C. Rocha; Bernady O. Apduhan

978-3-031-97000-9

2025
Edition 1
€180 €162
10% OFF
Radiative Corrections for e+e- Collisions

Proceedings of the International Workshop Held at Schloß Ringberg Tegernsee, FRG, April 3–7, 1989

Johann H. Kühn

978-3-642-74925-4

1989
Edition 1
€100 €90
10% OFF
The Semantic Web – ASWC 2006

First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings

Riichiro Mizoguchi; Fausto Giunchiglia

978-3-540-38331-4

2006
Edition 1
€180 €162
10% OFF
Soft Computing in Data Science

First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings

Michael W. Berry; Azlinah Mohamed; Bee Wah Yap

978-981-287-936-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Knowledge and Systems Sciences

22nd International Symposium, KSS 2023, Guangzhou, China, December 2–3, 2023, Proceedings

Jian Chen; Van-Nam Huynh; Xijin Tang; Jiangning Wu

978-981-99-8318-6

2023
Edition 1
€150 €135
10% OFF
Computational Science and Its Applications – ICCSA 2017

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Giuseppe Borruso; Carmelo M. Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Elena Stankova; Alfredo Cuzzocrea

978-3-319-62398-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Algorithm Theory - SWAT 2002

8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings

Martti Penttonen; Erik Meineche Schmidt

978-3-540-45471-7

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Dimitar Kazakov; Can Erten

978-3-030-49210-6

2020
Edition 1
€100 €90
10% OFF
Interacting Bosons in Nuclei

Proceedings of the Fourth Topical School Held in Granada, Spain, September 28 – October 3, 1981

J.S. Dehesa; J.M.G. Gomez; J. Ros

978-3-540-39296-5

1982
Edition 1
€100 €90
10% OFF
Automated and Algorithmic Debugging

First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings

Peter A. Fritzson

978-3-540-48141-6

1993
Edition 1
€100 €90
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.