License single eBooks

Your results

View Cart

Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

José Luis Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten

978-3-540-31876-7

2005
Edition 1
€100
Information Security and Cryptology - ICISC 2004

7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers

Choonsik Park; Seongtaek Chee

978-3-540-32083-8

2005
Edition 1
€180
IUTAM Symposium on Physics and Mechanics of Sea Ice

Proceedings of the IUTAM Symposium held at Aalto University, Espoo, Finland, 3-9 June 2019

Jukka Tuhkuri; Arttu Polojärvi

978-3-030-80439-8

2022
Edition 1
€438
Complex Networks & Their Applications XIII

Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 3

Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol

978-3-031-82435-7

2025
Edition 1
- Presents the latest research in Complex Networks and their Applications
- Gathers the edited proceedings of the Thirteenth International Workshop on Complex Networks & their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€539
STACS 85

2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985

K. Mehlhorn

978-3-540-39136-4

1985
Edition 1
€70
Operations Research Proceedings 1997

Selected Papers of the Symposium on Operations Research (SOR’97) Jena, September 3–5, 1997

Peter Kischka; Hans-Walter Lorenz; Ulrich Derigs; Wolfgang Domschke; Peter Kleinschmidt; Rolf Möhring

978-3-642-58891-4

1998
Edition 1
€467
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50417-5

2020
Edition 1
€100
Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez; Jean-Francois Raskin

978-3-319-11936-6

2014
Edition 1
€100
Intelligent Computing Theory

10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

De-Shuang Huang; Vitoantonio Bevilacqua; Prashan Premaratne

978-3-319-09333-8

2014
Edition 1
€100
Rotifer Symposium VI

Proceedings of the Sixth International Rotifer Symposium, held in Banyoles, Spain, June 3–8, 1991

John Gilbert; E. Lubzens; M.R. Miracle

978-94-011-1606-0

1993
Edition 1
€578
Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025, Proceedings

Giuseppe Scanniello; Valentina Lenarduzzi; Simone Romano; Sira Vegas; Rita Francese

978-3-032-12092-2

2026
Edition 1
€114
Wired/Wireless Internet Communications

8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings

Evgeny Osipov; Andreas J. Kassler; Thomas Michael Bohnert; Xavier Masip-Bruin

978-3-642-13315-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100
Pattern Recognition

35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013, Proceedings

Joachim Weickert; Matthias Hein; Bernt Schiele

978-3-642-40602-7

2013
Edition 1
€100
Security, Privacy, and Applied Cryptography Engineering

5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings

Rajat Subhra Chakraborty; Peter Schwabe; Jon Solworth

978-3-319-24126-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Network and System Security

7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013, Proceedings

Javier Lopez; Xinyi Huang; Ravi Sandhu

978-3-642-38631-2

2013
Edition 1
- Conference proceedings of the International Conference on Network and System Security
€100
Advances in Security of Information and Communication Networks

First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings

Ali Ismail Awad; Aboul Ella Hassanien; Kensuke Baba

978-3-642-40597-6

2013
Edition 1
- Fast-track conference proceedings State-of-the-art research Up-to-date results
€100
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Leonardo Vanneschi; William S. Bush; Mario Giacobini

978-3-642-37189-9

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90
Evolutionary and Biologically Inspired Music, Sound, Art and Design

Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Penousal Machado; James McDermott; Adrian Carballal

978-3-642-36955-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€90
Electronic Government and the Information Systems Perspective

4th International Conference, EGOVIS 2015, Valencia, Spain, September 1-3, 2015, Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-22389-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Panagiotis Katsaros; Laura Nenzi

978-3-031-44267-4

2023
Edition 1
€140
Constructive Side-Channel Analysis and Secure Design

10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

Ilia Polian; Marc Stöttinger

978-3-030-16350-1

2019
Edition 1
€100
Nutzerforschung mit Kindern

Effektive Durchführung von Forschungsarbeiten mit Teilnehmern im Alter von 3-16 Jahren

Thomas Visby Snitker

978-1-4842-9822-0

2023
Edition 1
- Verstehen, wie man systematisch in jeder Phase des Projekts gegen Voreingenommenheit vorgehen kann
- Erwerben Sie die Fähigkeit, die Erfahrungen von Kindern ganzheitlich zu messen
- Lernen Sie, wie Sie einen Score einrichten um Ergebnisse eines Forschungsprojekts zu vergleichen
€79
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
Engineering Secure Software and Systems

9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Eric Bodden; Mathias Payer; Elias Athanasopoulos

978-3-319-62105-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Software Business

12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings

Xiaofeng Wang; Antonio Martini; Anh Nguyen-Duc; Viktoria Stray

978-3-030-91983-2

2021
Edition 1
€130
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
Transplant International

Proceedings of the 7th Congress of the European Society for Organ Transplantation Vienna, October 3–7, 1995

F. Mühlbacher; M. Gnant; W. Klepetko; F. Längle; G. Laufer; T. Sautner; R. Steininger; P. Wamser

978-3-662-00818-8

1996
Edition 1
€100
Algebraic and Geometrical Methods in Topology

Conference on Topological Methods in Algebraic Topology, Suny, Binghamton, USA, Oct. 3-7, 1973

L.F. McAuley

978-3-540-37300-1

1974
Edition 1
€74
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50423-6

2020
Edition 1
€100
Rewriting Techniques and Applications

15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

Vincent van Oostrom

978-3-540-25979-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Artificial Intelligence in Education

24th International Conference, AIED 2023, Tokyo, Japan, July 3–7, 2023, Proceedings

Ning Wang; Genaro Rebolledo-Mendez; Noboru Matsuda; Olga C. Santos; Vania Dimitrova

978-3-031-36272-9

2023
Edition 1
€240
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
Physics on Manifolds

Proceedings of the International Colloquium in honour of Yvonne Choquet-Bruhat, Paris, June 3–5, 1992

M. Flato; R. Kerner; A. Lichnerowicz

978-94-011-1938-2

1994
Edition 1
€100
Algorithmic Decision Theory

7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings

Dimitris Fotakis; David Ríos Insua

978-3-030-87756-9

2021
Edition 1
€160
Global Security, Safety, and Sustainability

6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings

Sergio Tenreiro de Magalhaes; Hamid Jahankhani; Ali G. Hessami

978-3-642-15717-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Deepak D'Souza; K. Narayan Kumar

978-3-319-68167-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Simulation for a Sustainable Future

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

Miguel Mujica Mota; Paolo Scala

978-3-031-68435-7

2024
Edition 1
€200
Operations Research Proceedings 1996

Selected Papers of the Symposium on Operations Research (SOR 96), Braunschweig, September 3 - 6, 1996

Uwe Zimmermann; Ulrich Derigs; Wolfgang A. Gaul; Rolf H. Möhring; Karl-Peter Schuster

978-3-642-60744-8

1997
Edition 1
€180
Database and Expert Systems Applications

18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Roland Wagner; Norman Revell; Günther Pernul

978-3-540-74469-6

2007
Edition 1
€180
Artificial Intelligence and Internet of Things

Proceedings of the 8th International Symposium, MISC 2024, Tamanghasset, Algeria, December 1-3, 2024

Salim Chikhi; Amine Bermak; Abdelmalek Amine; Allaoua Chaoui; Djamel Eddine Saidouni; Mohamed Khireddine Kholladi

978-3-031-82112-7

2025
Edition 1
- Presents recent research in modeling and implementation of complex systems
- Provides proceedings of the 8th International Symposium, MISC 2024
- Written by experts in the field
€380
Quantitative Evaluation of Systems

12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Javier Campos; Boudewijn R. Haverkort

978-3-319-22264-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Designing for a Digital and Globalized World

13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings

Samir Chatterjee; Kaushik Dutta; Rangaraja P. Sundarraj

978-3-319-91800-6

2018
Edition 1
€100
Information Security

6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings

Colin Boyd; Wenbo Mao

978-3-540-39981-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Business Information Systems

13th International Conference, BIS 2010, Berlin, Germany, May 3-5, 2010, Proceedings

Witold Abramowicz; Robert Tolksdorf

978-3-642-12814-1

2010
Edition 1
€100
Information Security and Privacy

7th Australian Conference, ACISP 2002 Melbourne, Australia, July 3-5, 2002 Proceedings

Lynn Batten; Jennifer Seberry

978-3-540-45450-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
EPIA'91

5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings

Pedro Barahona; Luis Moniz Pereira; Antonio Porto

978-3-540-38459-5

1991
Edition 1
€100
Business Information Systems Workshops

BIS 2010 International Workshop, Berlin, Germany, May 3-5, 2010, Revised Papers

Witold Abramowicz; Robert Tolksdorf; Krzysztof Wecel

978-3-642-15402-7

2010
Edition 1
- Fast-track conference proceedings
€100
Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Madhavan Mukund; Supratik Chakraborty

978-3-642-33386-6

2012
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€100
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
- Includes supplementary material: sn.pub/extras
€100
Safety-Critical Systems: Problems, Process and Practice

Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009

Chris Dale; Tom Anderson

978-1-84882-349-5

2009
Edition 1
- Contains all the papers presented at The Safety-critical Systems Symposium 2009
- Papers include Hazard Analysis, New Challenges and the Economics of Safety
€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.