License single eBooks

Your results

View Cart

Mathematical Foundations of Computer Science 1993

18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Andrzej M. Borzyszkowski; Stefan Sokolowski

978-3-540-47927-7

1993
Edition 1

€100
Simulation for a Sustainable Future

11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3–5, 2023, Proceedings, Part II

Miguel Mujica Mota; Paolo Scala

978-3-031-68438-8

2024
Edition 1

€260
Principles and Practice of Constraint Programming - CP 2003

9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings

Francesca Rossi

978-3-540-45193-8

2003
Edition 1

€180
Advances in Databases and Information Systems

7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings

Leonid Kalinichenko; Rainer Manthey; Bernhard Thalheim; Uwe Wloka

978-3-540-39403-7

2003
Edition 1

€100
Knowledge-Based Intelligent Information and Engineering Systems

7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I

Vasile Palade

978-3-540-45224-9

2003
Edition 1

€160
Integer Programming and Combinatorial Optimization

5th International IPCO Conference Vancouver, British Columbia, Canada June 3–5, 1996 Proceedings

William H. Cunningham; S. Thomas McCormick; Maurice Queyranne

978-3-540-68453-4

1996
Edition 1

€100
Micro Total Analysis Systems 2002

Proceedings of the μTAS 2002 Symposium, held in Nara, Japan, 3–7 November 2002 Volume 2

Yoshinobu Baba; Shuichi Shoji; Albert van den Berg

978-94-010-0504-3

2002
Edition 1

€100
Body Area Networks: Smart IoT and Big Data for Intelligent Health Management

14th EAI International Conference, BODYNETS 2019, Florence, Italy, October 2-3, 2019, Proceedings

Lorenzo Mucchi; Matti Hämäläinen; Sara Jayousi; Simone Morosi

978-3-030-34833-5

2019
Edition 1

€100
Algorithmic Aspects in Information and Management

12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

Shaojie Tang; Ding-Zhu Du; David Woodruff; Sergiy Butenko

978-3-030-04618-7

2018
Edition 1

€100
Blockchain Technology and Emerging Applications

Third EAI International Conference, BlockTEA 2023, Wuhan, China, December 2-3, 2023, Proceedings

Jiageng Chen; Zhe Xia

978-3-031-60037-1

2024
Edition 1

€180
Algorithms and Architectures for Parallel Processing

21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I

Yongxuan Lai; Tian Wang; Min Jiang; Guangquan Xu; Wei Liang; Aniello Castiglione

978-3-030-95384-3

2022
Edition 1

€200
Database and Expert Systems Applications

10th International Conference, DEXA'99, Florence, Italy, August 30 - September 3, 1999, Proceedings

Trevor Bench-Capon; Giovanni Soda; A Min Tjoa

978-3-540-48309-0

1999
Edition 1

€180
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm

8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings

Reiner W. Hartenstein; Andres Keevallik

978-3-540-68066-6

1998
Edition 1

€100
Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Sergei Artemov; Anil Nerode

978-3-540-92687-0

2009
Edition 1

€100
The Practice of Enterprise Modeling

18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3–5, 2025, Proceedings

Hans-Georg Fill; Yves Wautelet; Jolita Ralyté; Jelena Zdravkovic

978-3-032-12063-2

2026
Edition 1

€130
High Performance Computing for Computational Science -- VECPAR 2014

11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Michel Daydé; Osni Marques; Kengo Nakajima

978-3-319-17353-5

2015
Edition 1

€100
Submillimetre Astronomy

Proceedings of the Kona Symposium on Millimeter and Submillimetre Astronomy, Held at Kona, Hawaii, October 3–6, 1988

Graeme D. Watt; Adrian S. Webster

978-94-015-6850-0

1990
Edition 1

€400
New Procedures in Nondestructive Testing

Proceedings of the Germany-U.S. Workshop Fraunhofer-Institut, Saarbrücken, Germany, Aug. 30 – Sept. 3, 1982

P. Höller

978-3-662-02363-1

1983
Edition 1

€180
Recent Trends in Algebraic Development Techniques

12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

Francesco Parisi-Presicce

978-3-540-69719-0

1998
Edition 1

€100
Computational Geometry, Graphs and Applications

International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers

Jin Akiyama; Jiang Bo; Mikio Kano; Xuehou Tan

978-3-642-24983-9

2011
Edition 1

€100
Information Security and Cryptology - ICISC 2014

17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers

Jooyoung Lee; Jongsung Kim

978-3-319-15943-0

2015
Edition 1

€100
Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Freek Wiedijk; Oded Maler; Amir Pnueli

978-3-540-36580-8

2003
Edition 1

€180
Advances in Bioinformatics and Computational Biology

8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

João C. Setubal; Nalvo F. Almeida

978-3-319-02624-4

2013
Edition 1

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

17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings

Luis Alvarez; Marta Mejail; Luis Gomez; Julio Jacobo

978-3-642-33275-3

2012
Edition 1

€180
Software Architecture

18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings

Matthias Galster; Patrizia Scandurra; Tommi Mikkonen; Pablo Oliveira Antonino; Elisa Yumi Nakagawa; Elena Navarro

978-3-031-70797-1

2024
Edition 1

€130
Computational Science and Its Applications – ICCSA 2025

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

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

978-3-031-96997-3

2025
Edition 1

€146
CONCUR 2010 - Concurrency Theory

21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings

Paul Gastin; Francois Laroussinie

978-3-642-15375-4

2010
Edition 1

€180
Progress in Mathematical Relativity, Gravitation and Cosmology

Proceedings of the Spanish Relativity Meeting ERE2012, University of Minho, Guimarães, Portugal, September 3-7, 2012

Alfonso García-Parrado; Filipe C. Mena; Filipe Moura; Estelita Vaz

978-3-642-40157-2

2014
Edition 1

€280
Ludwig Klages in memoriam — 10. Dezember 1872 – 29. Juli 1956

Gedenkrede von Dr. Wilhelm Hager, München auf der Freiburger Psychologentagung am 3. Oktober 1956

W. Hager

978-3-642-46886-5

1957
Edition 1

€201
Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Richard J. Boulton; Paul B. Jackson

978-3-540-44755-9

2001
Edition 1

€100
Frontiers in Algorithmics

13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings

Yijia Chen; Xiaotie Deng; Mei Lu

978-3-030-18126-0

2019
Edition 1

€100
IoT Technologies and Wearables for HealthCare

5th EAI International Conference, HealthWear 2024, Virtual Event, December 2–3, 2024, Proceedings

Utku Kose; Jafar Alzubi

978-3-031-95571-6

2025
Edition 1

€120
Theory and Applications of Satisfiability Testing - SAT 2009

12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Oliver Kullmann

978-3-642-02777-2

2009
Edition 1

€100
The Environmental Future

Proceedings of the first International Conference on Environmental Future, held in Finland from 27 June to 3 July 1971

Nicholas Polunin

978-1-349-01458-3

1972
Edition 1

€160
Serious Games

First Joint International Conference, JCSG 2015, Huddersfield, UK, June 3-4, 2015, Proceedings

Stefan Göbel; Minhua Ma; Jannicke Baalsrud Hauge; Manuel Fradinho Oliveira; Josef Wiemeyer; Viktor Wendel

978-3-319-19126-3

2015
Edition 1

€94
Collaboration Technologies and Social Computing

27th International Conference, CollabTech 2021, Virtual Event, August 31 – September 3, 2021, Proceedings

Davinia Hernández-Leo; Reiko Hishiyama; Gustavo Zurita; Benjamin Weyers; Alexander Nolte; Hiroaki Ogata

978-3-030-85071-5

2021
Edition 1

€130
Bildverarbeitung für die Medizin 2013

Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 3. bis 5. März 2013 in Heidelberg

Hans-Peter Meinzer; Thomas Martin Deserno; Heinz Handels; Thomas Tolxdorff

978-3-642-36480-8

2013
Edition 1

€281
Advances in High Pressure Bioscience and Biotechnology

Proceedings of the International Conference on High Pressure Bioscience and Biotechnology, Heidelberg, August 30 - September 3, 1998

Horst Ludwig

978-3-642-60196-5

1999
Edition 1

€180
Parallel Computing Technologies

9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings

Victor Malyshkin

978-3-540-73940-1

2007
Edition 1

€100
Artificial General Intelligence

6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings

Kai-Uwe Kühnberger; Sebastian Rudolph; Pei Wang

978-3-642-39521-5

2013
Edition 1

€90
Information Security

19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings

Matt Bishop; Anderson C A Nascimento

978-3-319-45871-7

2016
Edition 1

€100
Technologies and Innovation

6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings

Rafael Valencia-García; Gema Alcaraz-Marmol; Javier Del Cioppo-Morstadt; Néstor Vera-Lucio; Martha Bucaram-Leverone

978-3-030-62015-8

2020
Edition 1

€100
Computational Intelligence and Security

International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers

Yunping Wang; Yiu-ming Cheung; Hailin Liu

978-3-540-74377-4

2007
Edition 1

€280
Semantics in Data and Knowledge Bases

5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Klaus-Dieter Schewe; Bernhard Thalheim

978-3-642-36008-4

2013
Edition 1

€90
Elektrische Netzwerke Aufgaben

Ausführlich durchgerechnete und illustrierte Aufgaben mit Lösungen zu Unbehauen, Elektrische Netzwerke, 3. Auflage

Rolf Unbehauen; Willi Hohneker

978-3-642-95507-5

1987
Edition 2

€470
The Practice of Enterprise Modeling

17th IFIP Working Conference, PoEM 2024, Stockholm, Sweden, December 3–5, 2024, Proceedings

Elda Paja; Jelena Zdravkovic; Evangelia Kavakli; Janis Stirna

978-3-031-77908-4

2025
Edition 1

€130
Human Resource Development for Sustainability and Social Responsibility

14th International Conference on Economics Development and Social Sustainability, Rome, Italy, April 3-4, 2025

Isabel Novo-Corti; Xose Picatoste; Marco Valeri

978-3-032-09683-8

2026
Edition 1

€360

Not published yet

Available from
2026-02-15
Advanced Computational Intelligence and Intelligent Informatics

8th International Workshop, IWACIII 2023, Beijing, China, November 3–5, 2023, Proceedings, Part I

Bin Xin; Naoyuki Kubota; Kewei Chen; Fangyan Dong

978-981-99-7590-7

2024
Edition 1

€160
Text, Speech and Dialogue

10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007, Proceedings

Václav Matoušek; Pavel Mautner

978-3-540-74628-7

2007
Edition 1

€180
Model Driven Engineering Languages and Systems

11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings

Krzysztof Czarnecki; Ileana Ober; Jean-Michel Bruel; Axel Uhl; Markus Völter

978-3-540-87875-9

2008
Edition 1

€280

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.