License single eBooks

Your results

View Cart

Advanced Information Systems Engineering

5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings

Colette Rolland; Francois Bodart; Corine Cauvet

978-3-540-47735-8

1993
Edition 1
€100
Formal Modeling and Analysis of Timed Systems

8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee; Thomas A. Henzinger

978-3-642-15297-9

2010
Edition 1
- Fast-track conference proceedings
€100
Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Michael Johnson; Varmo Vene

978-3-540-35636-3

2006
Edition 1
€100
Security in Pervasive Computing

Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

Dieter Hutter; Markus Ullmann

978-3-540-32004-3

2005
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
Algorithmic Learning Theory

21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

Marcus Hutter; Frank Stephan; Vladimir Vovk; Thomas Zeugmann

978-3-642-16108-7

2010
Edition 1
- unique visibility, state-of-the-art survey,
- fast-track conference proceedings
€100
Statistical Mechanics of Biocomplexity

Proceedings of the XV Sitges Conference, Held at Sitges, Barcelona, Spain, 8-12 June 1998

D. Reguera; J.M.G. Vilar; J.M. Rubi

978-3-540-48486-8

1999
Edition 1
- Methods of Physics are of growing importance in Biology.
- This book presents a vast variety of new applications of Statistical Mechanics to biological problems.
- Includes supplementary material: sn.pub/extras
€100
Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler; George Metcalfe

978-3-642-22119-4

2011
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Advanced Information Systems Engineering

32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings

Schahram Dustdar; Eric Yu; Camille Salinesi; Dominique Rieu; Vik Pant

978-3-030-49435-3

2020
Edition 1
€100
Multi-Agent-Based Simulation VII

International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Luis Antunes; Keiki Takadama

978-3-540-76539-4

2007
Edition 1
€100
Ex Oriente Lux – Orienti Reddenda Lux

Der 8. Internationale Orientalistenkongress (1889) in Feuilletons von Ignaz Goldziher im Pester Lloyd

Hedvig Ujvári

978-3-7329-8765-8

2025
Edition 1
€351
DNA Computing and Molecular Programming

22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Yannick Rondelez; Damien Woods

978-3-319-43994-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Trust and Privacy in Digital Business

Third International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings

Simone Fischer-Hübner; Steven Furnell; Costas Lambrinoudakis

978-3-540-37752-8

2006
Edition 1
€100
Travel Medicine

Proceedings of the First Conference on International Travel Medicine, Zürich, Switzerland, 5–8 April 1988

Robert Steffen; Hans O. Lobel; James Haworth; David J. Bradley

978-3-642-73772-5

1989
Edition 1
€100
Low Frequency Astrophysics from Space

Proceedings of an International Workshop Held in Crystal City, Virginia, USA, on 8 and 9 January 1990

Namir E. Kassim; Kurt W. Weiler

978-3-540-47172-1

1990
Edition 1
€100
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005

Carlos Delgado Kloos; Andrés Marín; David Larrabeiti

978-0-387-31170-8

2006
Edition 1
- Presents the most up-to-date research in the field of information and communication technologies
- Includes supplementary material: sn.pub/extras
€180
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Keijiro Araki; Stefania Gnesi; Dion Mandrioli

978-3-540-45236-2

2003
Edition 1
€180
Reversible Computation

13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Shigeru Yamashita; Tetsuo Yokoyama

978-3-030-79837-6

2021
Edition 1
€100
Automata, Languages and Programming

23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings

Friedhelm Meyer auf der Heide; Burkhard Monien

978-3-540-68580-7

1996
Edition 1
€180
Distributed Computing and Internet Technology

11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings

Raja Natarajan; Gautam Barua; Manas Ranjan Patra

978-3-319-14977-6

2015
Edition 1
€100
Discovery Science

Second International Conference, DS'99, Tokyo, Japan, December 6-8, 1999 Proceedings

Setsuo Arikawa; Koichi Furukawa

978-3-540-46846-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Vision – ECCV 2018

15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part VIII

Vittorio Ferrari; Martial Hebert; Cristian Sminchisescu; Yair Weiss

978-3-030-01237-3

2018
Edition 1
€180
Advances on Signal Processing and Computer Vision

Second International Conference, SIPCOV 2025, Silchar, India, August 8–9, 2025, Proceedings

Ram Kumar Karsh; R. Murugan; Rabul Hussain Laskar; Björn W. Schuller

978-3-032-15809-3

2026
Edition 1
€140
Mathematical Optimization Theory and Operations Research

18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

Michael Khachay; Yury Kochetov; Panos Pardalos

978-3-030-22629-9

2019
Edition 1
€180
Medical Data Analysis

Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings

Alfredo Colosimo; Alessandro Giuliani; Paolo Sirabella

978-3-540-36104-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Active, Real-Time, and Temporal Database Systems

Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings

Sten F. Andler; Jörgen Hansson

978-3-540-49151-4

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Distributed Computing

18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings

Rachid Guerraoui

978-3-540-30186-8

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advanced Information Systems Engineering

13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings

Klaus R. Dittrich; Andreas Geppert; Moira C. Norrie

978-3-540-45341-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Discovery Science

17th International Conference, DS 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Sašo Džeroski; Panče Panov; Dragi Kocev; Ljupčo Todorovski

978-3-319-11812-3

2014
Edition 1
€100
Advanced Data Mining and Applications

Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007 Proceedings

Reda Alhajj; Hong Gao; Xue Li; Jianzhong Li; Osmar R. Zaiane

978-3-540-73871-8

2007
Edition 1
€180
String Processing and Information Retrieval

11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings

Alberto Apostolico; Massimo Melucci

978-3-540-30213-1

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computational Processing of the Portuguese Language

8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings

A. Joaquim da Silva Teixeira; Vera Lúcia Strube de Lima; Luís Caldas de Oliveira; Paulo Quaresma

978-3-540-85980-2

2008
Edition 1
€100
Descriptive Topology and Functional Analysis II

In Honour of Manuel López-Pellicer Mathematical Work, Elche, Spain, June 7–8, 2018

Juan Carlos Ferrando

978-3-030-17376-0

2019
Edition 1
- Covers more than 20 active research areas related to descriptive topology and functional analysis
- Presents the current research in various topics
- Dedicated to Professor Manuel López-Pellicer's mathematical research
€180
Applied Cryptography and Network Security

5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings

Jonathan Katz; Moti Yung

978-3-540-72738-5

2007
Edition 1
€100
Computer Algebra in Scientific Computing

16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Vladimir P. Gerdt; Wolfram Koepf; Werner M. Seiler; Evgenii V. Vorozhtsov

978-3-319-10515-4

2014
Edition 1
€100
Machine Learning and Intelligent Communications

Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

Limin Meng; Yan Zhang

978-3-030-00557-3

2018
Edition 1
€100
Evolutionary Computation in Combinatorial Optimization

15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Gabriela Ochoa; Francisco Chicano

978-3-319-16468-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Search-Based Software Engineering

12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings

Aldeida Aleti; Annibale Panichella

978-3-030-59762-7

2020
Edition 1
€150
Algorithm Theory - SWAT 2006

10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings

Lars Arge; Rusins Freivalds

978-3-540-35755-1

2006
Edition 1
€100
Logic, Rationality, and Interaction

Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He; John Horty; Eric Pacuit

978-3-642-04893-7

2009
Edition 1
€100
Computational Visual Media

First International Conference, CVM 2012, Beijing, China, November 8-10, 2012, Proceedings

Shi-Min Hu; Ralph Martin

978-3-642-34263-9

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€90
Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Bor-Yuh Evan Chang

978-3-030-32304-2

2019
Edition 1
€100
Distributed Computing and Internet Technology

9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013, Proceedings

Chittaranjan Hota; Pradip K. Srimani

978-3-642-36071-8

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Algorithms and Discrete Applied Mathematics

First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

Sumit Ganguly; Ramesh Krishnamurti

978-3-319-14974-5

2015
Edition 1
€100
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Alessandro Cimatti; Marjan Sirjani

978-3-319-66197-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Simon Devitt; Ivan Lanese

978-3-319-40578-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Deductive and Object-Oriented Databases

5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings

Francois Bry; Raghu Ramakrishnan; Kotagiri Ramamohanarao

978-3-540-69647-6

1997
Edition 1
€100
Somatosensory Mechanisms

Proceedings of an International Symposium held at The Wenner-Gren Center, Stockholm, June 8–10, 1983

Curt von Euler

978-1-349-07292-7

1984
Edition 1
€160
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part IV

Anne L. Martel; Purang Abolmaesumi; Danail Stoyanov; Diana Mateus; Maria A. Zuluaga; S. Kevin Zhou; Daniel Racoceanu; Leo Joskowicz

978-3-030-59719-1

2020
Edition 1
€260
Advances in Neural Computation, Machine Learning, and Cognitive Research II

Selected Papers from the XX International Conference on Neuroinformatics, October 8-12, 2018, Moscow, Russia

Boris Kryzhanovsky; Witali Dunin-Barkowski; Vladimir Redko; Yury Tiumentsev

978-3-030-01328-8

2019
Edition 1
- Reports on advanced theories and applications of artificial neural networks
- Focuses on problems in neuroscience, systems biophysics, cognitive research, and adaptive control
- Merges topics in neurobiology, machine learning, and evolutionary programming
€400

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.