License single eBooks

Your results

View Cart

Web Services and Formal Methods

6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Cosimo Laneve; Jianwen Su

978-3-642-14458-5

2010
Edition 1
- Unique visibility, state-of-the-art survey,
- fast-track conference proceedings
€100
Artificial Intelligence

First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5–6, 2021, Proceedings, Part II

Lu Fang; Yiran Chen; Guangtao Zhai; Jane Wang; Ruiping Wang; Weisheng Dong

978-3-030-93049-3

2021
Edition 1
€160
Security and Privacy in Communication Networks

8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers

Angelos D. Keromytis; Roberto Di Pietro

978-3-642-36883-7

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Tests and Proofs

16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Laura Kovács; Karl Meinke

978-3-031-09827-7

2022
Edition 1
€100
Computer Vision -- ECCV 2010

11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II

Kostas Daniilidis; Petros Maragos; Nikos Paragios

978-3-642-15552-9

2010
Edition 1
- Fast-track conference proceedings
€180
Computer Vision -- ECCV 2010

11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV

Kostas Daniilidis; Petros Maragos; Nikos Paragios

978-3-642-15561-1

2010
Edition 1
- Fast-track conference proceedings
€180
Big Data Analytics in Astronomy, Science, and Engineering

11th International Conference on Big Data Analytics, BDA 2023, Aizu, Japan, December 5–7, 2023, Proceedings

Shelly Sachdeva; Yutaka Watanobe

978-3-031-58502-9

2024
Edition 1
€220
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection

6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 – November 5, 2016, Proceedings, Part II

Marinos Ioannides; Eleanor Fink; Antonia Moropoulou; Monika Hagedorn-Saupe; Antonella Fresa; Gunnar Liestøl; Vlatka Rajcic; Pierre Grussenmeyer

978-3-319-48974-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Poison Control Entgiftungsprobleme

Vorträge des 5. Internationalen Kongresses der Europäischen Gesellschaft der Entgiftungszentralen in Mainz, 17.–19. September 1972

H.P. Tombergs

978-3-642-95952-3

1974
Edition 1
€201
Epistemological Aspects of Computer Simulation in the Social Sciences

Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

Flaminio Squazzoni

978-3-642-01109-2

2009
Edition 1
€100
Electronic Participation

Fourth IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012, Proceedings

Efthimios Tambouris; Ann Macintosh; Øystein Sæbø

978-3-642-33250-0

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Electronic Participation

16th IFIP WG 8.5 International Conference, ePart 2024, Ghent, Belgium, September 3–5, 2024, Proceedings

Marius Rohde Johannessen; Csaba Csáki; Lieselot Danneels; Sara Hofmann; Thomas Lampoltshammer; Peter Parycek; Gerhard Schwabe; Efthimios Tambouris; Jolien Ubacht

978-3-031-70804-6

2024
Edition 1
€130
Design and Analysis of Algorithms

First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings

Guy Even; Dror Rawitz

978-3-642-34862-4

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Computer Vision and Image Processing

8th International Conference, CVIP 2023, Jammu, India, November 3–5, 2023, Revised Selected Papers, Part I

Harkeerat Kaur; Vinit Jakhetiya; Puneet Goyal; Pritee Khanna; Balasubramanian Raman; Sanjeev Kumar

978-3-031-58181-6

2024
Edition 1
€180
Software Language Engineering

Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Mark van den Brand; Dragan Gasevic; Jeff Gray

978-3-642-12107-4

2010
Edition 1
- Up-to-date results,
- Fast track conference proceedings State-of-the- art research
- Thoroughly refereed post-conference
€100
Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yamine Ait-Ameur; Shengchao Qin

978-3-030-32409-4

2019
Edition 1
€100
Advances in Computational Intelligence Systems

Contributions Presented at The 24th UK Workshop on Computational Intelligence (UKCI 2025), September 3-5, 2025, Edinburgh, UK

Emma Hart; Tomas Horvath; Zhiyuan Tan; Sarah Thomson

978-3-032-07938-1

2026
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 24th UK Workshop on Computational Intelligence
€400
Sintering and Related Phenomena

Proceedings of the Third International Conference on Sintering and Related Phenomena, held at the University of Notre Dame, June 5–7, 1972

G. Kuczynski

978-1-4615-8999-0

1973
Edition 1
€180
IUTAM Symposium on the Vibration Analysis of Structures with Uncertainties

Proceedings of the IUTAM Symposium on the Vibration Analysis of Structures with Uncertainties held in St. Petersburg, Russia, July 5–9, 2009

Alexander K. Belyaev; Robin S. Langley

978-94-007-0289-9

2011
Edition 1
- IUTAM symposia represtent state-of-the-art research in their field, and guide further research in the next 3-5 years ahead
- Includes supplementary material: sn.pub/extras
€280
Group Theoretical Methods in Physics

Proceedings of the XIIth International Colloquium Held at the International Centre for Theoretical Physics, Trieste, Italy September 5–11, 1983

G. Denardo; G. Ghirardi; T. Weber

978-3-540-38859-3

1984
Edition 1
€100
Object-Based Models and Languages for Concurrent Systems

ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers

Paolo Ciancarini; Oscar Nierstrasz; Akinori Yonezawa

978-3-540-49269-6

1995
Edition 1
€100
Computational Intelligence and Its Applications

6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

Abdelmalek Amine; Malek Mouhoub; Otmane Ait Mohamed; Bachir Djebbar

978-3-319-89743-1

2018
Edition 1
€260
Computer Animation and Social Agents

37th International Conference, CASA 2024, Wuhan, China, June 5–7, 2024, Revised Selected Papers, Part I

Nadia Magnenat Thalmann; Xinrong Hu; Bin Sheng; Daniel Thalmann; Tao Peng; Weiliang Meng; Jin Huang; Lei Zhu; Xiong Wei

978-981-96-2681-6

2025
Edition 1
€150
E-Voting and Identity

First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers

Ammar Alkassar; Melanie Volkamer

978-3-540-77493-8

2007
Edition 1
€100
Parlamentsreform in Theorie und Praxis

Zur institutionellen Lernfähigkeit des parlamentarischen Regierungssystems. Eine empirische Analyse der Parlamentsreform im 5. Deutschen Bundestag

Uwe Thaysen

978-3-322-87744-4

1972
Edition 1
€201
Algebraic and Logic Programming

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Michael Hanus; Jan Heering; Karl Meinke

978-3-540-69555-4

1997
Edition 1
€100
History of Computing: Software Issues

International Conference on the History of Computing, ICHC 2000 April 5–7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany

Ulf Hashagen; Reinhard Keil-Slawik; Arthur L. Norberg

978-3-662-04954-9

2002
Edition 1
- An invited group of well-known historians, sociologists, and computer scientists were invited to present papers and comments about issues in the history of software
- Includes supplementary material: sn.pub/extras
€100
MultiMedia Modeling

26th International Conference, MMM 2020, Daejeon, South Korea, January 5–8, 2020, Proceedings, Part II

Yong Man Ro; Wen-Huang Cheng; Junmo Kim; Wei-Ta Chu; Peng Cui; Jung-Woo Choi; Min-Chun Hu; Wesley De Neve

978-3-030-37734-2

2020
Edition 1
€200
Human-Centric Decision and Negotiation Support for Societal Transitions

24th International Conference on Group Decision and Negotiation, GDN 2024, Porto, Portugal, June 3–5, 2024, Proceedings

Marta Campos Ferreira; Thomasz Wachowicz; Pascale Zaraté; Yu Maemura

978-3-031-59373-4

2024
Edition 1
€240
Biomineralization and Biological Metal Accumulation

Biological and Geological Perspectives Papers presented at the Fourth International Symposium on Biomineralization, Renesse, The Netherlands, June 2–5, 1982

P. Westbroek; E.W. de Jong

978-94-009-7944-4

1983
Edition 1
€280
Cognitive Computing and Cyber Physical Systems

5th EAI International Conference, IC4S 2024, Bhimavaram, India, April 5–7, 2024, Proceedings, Part III

Prakash Pareek; Sumita Mishra; Manuel J. C. S. Reis; Nishu Gupta

978-3-031-77081-4

2025
Edition 1
€419
Ill-posed Variational Problems and Regularization Techniques

Proceedings of the “Workshop on Ill-Posed Variational Problems and Regulation Techniques” held at the University of Trier, September 3–5, 1998

Michel Thera; Rainer Tichatschke

978-3-642-45780-7

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Foundations and Practice of Security

7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers

Frédéric Cuppens; Joaquin Garcia-Alfaro; Nur Zincir Heywood; Philip W. L. Fong

978-3-319-17040-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Combinatorial Optimization -- Eureka, You Shrink!

Papers Dedicated to Jack Edmonds. 5th International Workshop, Aussois, France, March 5-9, 2001, Revised Papers

Michael Jünger; Gerhard Reinelt; Giovanni Rinaldi

978-3-540-36478-8

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Vision - ACCV 2012 Workshops

ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012. Revised Selected Papers, Part II

Jong-Il Park; Junmo Kim

978-3-642-37484-5

2013
Edition 1
- Covers the full range of state-of-the-art research topics in computer vision
- Contains 48 in-depth papers
- Presents contemporary results
€100
Combinatorics and Computer Science

8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers

Michel M. Deza; Reinhardt Euler; Ioannis Manoussakis

978-3-540-70627-4

1996
Edition 1
€100
Entertainment Computing and Serious Games

International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5-10, 2015, Revised Selected Papers

Ralf Dörner; Stefan Göbel; Michael Kickmeier-Rust; Maic Masuch; Katharina Zweig

978-3-319-46152-6

2016
Edition 1
- Made for students, researchers and people interested in the topic
- Provides an introduction as well as a state-of-the-art analysis of entertainment computing and serious games
- Serves as a basis for people who want to start research in this area
- Includes supplementary material: sn.pub/extras
€419
Evolution of Galaxies Astronomical Observations

Proceedings of the Astrophysics School I, Organized by the European Astrophysics Doctoral Network at Les Houches, France, 5–16 September 1988

Immo Appenzeller; Harm J. Habing; Pierre Lena

978-3-540-46194-4

1989
Edition 1
€180
Logic Program Synthesis and Transformation

Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

Timothy P. Clement; Kung-Kiu Lau

978-1-4471-3494-7

1992
Edition 1
€100
Personal Satellite Services

Second International ICST Conference, PSATS 2010, Rome, Italy, February 4-5, 2010. Revised Selected Papers

Kandeepan Sithamparanathan; Mario Marchese; Marina Ruggieri; Igor Bisio

978-3-642-13618-4

2010
Edition 1
€100
Electronic Government

15th IFIP WG 8.5 International Conference, EGOV 2016, Guimarães, Portugal, September 5-8, 2016, Proceedings

Hans Jochen Scholl; Olivier Glassey; Marijn Janssen; Bram Klievink; Ida Lindgren; Peter Parycek; Efthimios Tambouris; Maria A. Wimmer; Tomasz Janowski; Delfina Sá Soares

978-3-319-44421-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Design and Digital Communication

Proceedings of the 4th International Conference on Design and Digital Communication, Digicom 2020, November 5–7, 2020, Barcelos, Portugal

Nuno Martins; Daniel Brandão

978-3-030-61671-7

2021
Edition 1
- Discusses timely topics at the intersection between design and digital communication
- Describes some challenges that digital media causes to brands, institutions, education and society
- Proposes practical solutions to current questions in the area of communication design
€438
Types for Proofs and Programs

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Marino Miculan; Ivan Scagnetto; Furio Honsell

978-3-540-68103-8

2008
Edition 1
€100
Computer Science and Its Applications

5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

Abdelmalek Amine; Ladjel Bellatreche; Zakaria Elberrichi; Erich J. Neuhold; Robert Wrembel

978-3-319-19578-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€180
The Stellar Populations of Galaxies

Proceedings of the 149th Symposium of the International Astronomical Union, Held in Angra Dos Reis, Brazil, August 5–9, 1991

B. Barbuy; Alvio Renzini

978-94-011-2434-8

1992
Edition 1
€100
Substructures of Matter as Revealed with Electroweak Probes

Proceedings of the 32. Internationale Universitätswochen für Kern- und Teilchenphysik, Schladming, Austria, 24 February – 5 March 1993

Leopold Mathelitsch; Willibald Plessas

978-3-540-48277-2

1994
Edition 1
€180
Advances in Intelligent Systems and Computing II

Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine

Natalia Shakhovska; Volodymyr Stepashko

978-3-319-70581-1

2018
Edition 1
- All chapters are based on papers presented at the International Conference on Computer Science and Information Technologies (CSIT 2017), held on September 5–8, 2017, in Lviv, Ukraine, and at two workshops accompanying the conference
- Presents new trends in applied linguistics, information technology (IT) systems, and education
- Highlights theories and applications of intelligent systems
- Discusses central issues and challenges in big data and cloud computing
- Reports on new approaches to automated knowledge discovery workflows
- Offers new ideas on model validation and visualization
€400
Descriptional Complexity of Formal Systems

18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar Câmpeanu; Florin Manea; Jeffrey Shallit

978-3-319-41114-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Pan-African Conference on Artificial Intelligence

First Conference, PanAfriCon AI 2022, Addis Ababa, Ethiopia, October 4–5, 2022, Revised Selected Papers

Taye Girma Debelee; Achim Ibenthal; Friedhelm Schwenker

978-3-031-31327-1

2023
Edition 1
€150
Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Miriam Leeser; Geoffrey Brown

978-0-387-34801-8

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