License single eBooks

Your results

View Cart

Experimental Algorithms

14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Evripidis Bampis

978-3-319-20086-6

2015
Edition 1
€100
Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro; José Fiadeiro

978-3-319-70848-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€130
Recent Advances in System Modelling and Optimization

Proceedings of the IFIP-WG 7/1 Working Conference, Santiago, Chile, August 27–31, 1984

Luis Contesse; Rafael Correa; Andres Weintraub

978-3-540-47201-8

1986
Edition 1
€100
Data Mining and Big Data

Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61845-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Structural Information and Communication Complexity

28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings

Tomasz Jurdziński; Stefan Schmid

978-3-030-79527-6

2021
Edition 1
€100
Computational Linguistics and Intelligent Text Processing

10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings

Alexander Gelbukh

978-3-642-00382-0

2009
Edition 1
€180
Logic Programming

18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Peter J. Stuckey

978-3-540-45619-3

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Implementation and Application of Automata

26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

Pascal Caron; Ludovic Mignot

978-3-031-07469-1

2022
Edition 1
€130
Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP), Boppard, 1./2. Dezember 2005

Peter Holleczek; Birgit Vogel-Heuser

978-3-540-29595-2

2005
Edition 1
€210
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27 – October 1, 2021, Proceedings, Part VIII

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87237-3

2021
Edition 1
€200
Complex, Intelligent and Software Intensive Systems

Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 1

Leonard Barolli; Tomoya Enokido; Isaac Woungang

978-3-031-96099-4

2025
Edition 1
- Presents recent research on complex, intelligent, and software intensive systems
- Includes the proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems
- Written by experts in the field
€400
Field Programmable Logic and Application

14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

Jürgen Becker; Marco Platzner; Serge Vernalde

978-3-540-30117-2

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€160
Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

978-3-642-21691-6

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part I

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12287-2

2026
Edition 1
€146
Passive and Active Measurement

17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

Thomas Karagiannis; Xenofontas Dimitropoulos

978-3-319-30505-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller

978-3-319-06251-8

2014
Edition 1
€100
Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Steffen Hölldobler; Carsten Lutz; Heinrich Wansing

978-3-540-87803-2

2008
Edition 1
€100
Theory and Practice of Model Transformations

First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Antonio Vallecillo; Jeff Gray; Alfonso Pierantonio

978-3-540-69927-9

2008
Edition 1
€100
Mixed Finite Elements, Compatibility Conditions, and Applications

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 26 - July 1, 2006

Daniele Boffi; Daniele Boffi; Franco Brezzi; Lucia Gastaldi; Leszek F. Demkowicz; Ricardo G. Durán; Richard S. Falk; Michel Fortin

978-3-540-78319-0

2008
Edition 1
- Includes supplementary material: sn.pub/extras
€110
Topics in Spatial Stochastic Processes

Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, July 1-8, 2001

Vincenzo Capasso; Ely Merzbach; Ely Merzbach; B. Gail Ivanoff; Marco Dozzi; Robert Dalang; Thomas Mountford

978-3-540-36259-3

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Simulation of Wing and Nacelle Stall

Results of the Closing Symposium of the DFG Research Unit FOR 1066, December 1-2, 2014, Braunschweig, Germany

Rolf Radespiel; Reinhard Niehuis; Norbert Kroll; Kathrin Behrends

978-3-319-21127-5

2016
Edition 1
- Reports on advanced findings in the field of flight simulation
- Provides readers with a good balance of theories, models and experimental work
- Offers a comprehensive report on the state-of-the-art in the field
€400
Critical Information Infrastructures Security

First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006

Javier Lopez

978-3-540-69084-9

2006
Edition 1
€100
Intelligent Decision Technologies 2019

Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1

Ireneusz Czarnowski; Robert J. Howlett; Lakhmi C. Jain

978-981-13-8311-3

2020
Edition 1
- Includes recent research on intelligent decision technologies
- Highlights the interdisciplinarity of intelligent decision technologies, connecting computer science with the development of artificial intelligence; information systems with the development of decision support systems; and engineering with the development of systems
- Addresses such diverse areas as finance, linguistics, management and transportation
€400
Ärztliche Problematik des Urlaubs

Verhandlungsbericht des 1. ADAC-Ärzte-Kongresses vom 16. bis 17. Juni 1972 in München

Werner Wachsmuth

978-3-642-80737-4

1973
Edition 1
€201
Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Mogens Nielsen; Branislav Rovan

978-3-540-44612-5

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Electronic Government

10th International Conference, EGOV 2011, Delft, The Netherlands, August 29 -- September 1, 2011, Proceedings

Marijn Janssen; Hans Jochen Scholl; Maria A. Wimmer; Yao-Hua Tan

978-3-642-22878-0

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Towards Autonomous Robotic Systems

17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

Lyuba Alboul; Dana Damian; Jonathan M. Aitken

978-3-319-40379-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Cooperative Buildings. Integrating Information, Organizations, and Architecture

Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings

Norbert Streitz; Jane Siegel; Volker Hartkopf; Shinichi Konomi

978-3-540-48106-5

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Technologies and Applications of Artificial Intelligence

28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1–2, 2023, Proceedings, Part I

Chao-Yang Lee; Chun-Li Lin; Hsuan-Ting Chang

978-981-97-1711-8

2024
Edition 1
€180
Electronic Government

Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Roland Traunmüller

978-3-540-45239-3

2003
Edition 1
€180
Decision and Game Theory for Security

10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

Tansu Alpcan; Yevgeniy Vorobeychik; John S. Baras; György Dán

978-3-030-32430-8

2019
Edition 1
€100
Reproducible Research in Pattern Recognition

Fifth International Workshop, RRPR 2024, Kolkata, India, December 1, 2024, Revised Selected Papers

Bertrand Kerautret; Federico Bolelli; Miguel Colom; Daniel Lopresti

978-3-031-97822-7

2026
Edition 1
€220
Computer Aided Verification

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Costas Courcoubetis

978-3-540-47787-7

1993
Edition 1
€100
Communication-Based Systems

Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Günter Hommel

978-94-015-9608-4

2000
Edition 1
€180
Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Ralf Hinze; Janis Voigtländer

978-3-319-19797-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Theory of Cryptography

17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

Dennis Hofheinz; Alon Rosen

978-3-030-36030-6

2019
Edition 1
€100
Advances in Quantitative Ethnography

Second International Conference, ICQE 2020, Malibu, CA, USA, February 1-3, 2021, Proceedings

Andrew R. Ruis; Seung B. Lee

978-3-030-67788-6

2021
Edition 1
€100
Innovative Technologies and Learning

4th International Conference, ICITL 2021, Virtual Event, November 29 – December 1, 2021, Proceedings

Yueh-Min Huang; Chin-Feng Lai; Tânia Rocha

978-3-030-91540-7

2021
Edition 1
€220
Selected Areas in Cryptography

28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers

Riham AlTawy; Andreas Hülsing

978-3-030-99277-4

2022
Edition 1
€160
Die Onkologie

Teil 1: Epidemiologie - Pathogenese - Grundprinzipien der Therapie; Teil 2: Solide Tumoren - Lymphome - Leukämien

Wolfgang Hiddemann; Claus R. Bartram; H. Huber

978-3-662-06670-6

2004
Edition 1
- Das komplette onkologische Wissen auf höchstem Qualitätsniveau
- Praxis und Grundlagen in einem Werk
- Exzellente Abbildungen, übersichtliche Struktur
- Anschaulich, einprägsam, lern- und praxisgerecht
- Includes supplementary material: sn.pub/extras
€187
North American Social Report

A Comparative Study of the Quality of Life in Canada and the USA from 1964 to 1974.Vol. 1: Foundations, Population and Health

Alex C. Michalos

978-94-009-8975-7

1980
Edition 1
€180
Pattern Recognition and Artificial Intelligence

Third International Conference, ICPRAI 2022, Paris, France, June 1–3, 2022, Proceedings, Part I

Mounîm El Yacoubi; Eric Granger; Pong Chi Yuen; Umapada Pal; Nicole Vincent

978-3-031-09037-0

2022
Edition 1
€300
Web Technologies Research and Development - APWeb 2005

7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings

Yanchun Zhang; Katsumi Tanaka; Jeffrey Xu Yu; Shan Wang; Minglu Li

978-3-540-31849-1

2005
Edition 1
€280
Database and Expert Systems Applications

14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik; Werner Retschitzegger; Olga Stepankova

978-3-540-45227-0

2003
Edition 1
€180
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part II

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87196-3

2021
Edition 1
€180
Rewriting Techniques and Applications

20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Ralf Treinen

978-3-642-02348-4

2009
Edition 1
€100
Next Generation Arithmetic

Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

John Gustafson; Vassil Dimitrov

978-3-031-09779-9

2022
Edition 1
€120
Analysis

Band 1: Ein Lernbuch für den sanften Wechsel von der Schule zur Uni

Ehrhard Behrends

978-3-322-96378-9

2004
Edition 2
- Analysis verständlich und motivierend dargestellt und von Studenten mitentwickelt
€486
Testbeds and Research Infrastructures for the Development of Networks and Communities

13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

Honghao Gao; Yuyu Yin; Xiaoxian Yang; Huaikou Miao

978-3-030-12971-2

2019
Edition 1
€80
Mathematical Software - ICMS 2006

Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings

Andres Iglesias; Nobuki Takayama

978-3-540-38086-3

2006
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.