License single eBooks

Your results

View Cart

Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Jean-Pierre Jouannaud

978-3-540-48699-2

1994
Edition 1
€100 €90
10% OFF
Web and Wireless Geographical Information Systems

9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

James D. Carswell; Stewart Fotheringham; Gavin McArdle

978-3-642-10601-9

2009
Edition 1
€100 €90
10% OFF
Simulated Evolution and Learning

7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings

Xiaodong Li; Michael Kirley; Mengjie Zhang; Vic Ciesielski; Zbigniew Michalewicz; Tim Hendtlass; Kalyanmoy Deb; K. C. Tan; Jürgen Branke

978-3-540-89694-4

2008
Edition 1
€180 €162
10% OFF
Embodied Artificial Intelligence

International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Selected Papers

Fumiya Iida; Rolf Pfeifer; Luc Steels; Yasuo Kuniyoshi

978-3-540-27833-7

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Marktstruktur und gesamtwirtschaftliche Entwicklung

Proceedings des Workshops „Marktstruktur und gesamtwirtschaftliche Entwicklung“, Augsburg, 5.–7. April 1989

Bernhard Gahlen

978-3-642-84141-5

1990
Edition 1
€201 €181
10% OFF
Combinatorial Algorithms

33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings

Cristina Bazgan; Henning Fernau

978-3-031-06678-8

2022
Edition 1
€180 €162
10% OFF
Advanced Information Systems Engineering

31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

Paolo Giorgini; Barbara Weber

978-3-030-21290-2

2019
Edition 1
€180 €162
10% OFF
Service-Oriented Computing ICSOC 2006

4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings

Dimitrios Georgakopoulos; Norbert Ritter; Boualem Benatallah; Christian Zirpins; George Feuerlicht; Marten Schoenherr; Hamid R. Motahari-Nezhad

978-3-540-75492-3

2007
Edition 1
€100 €90
10% OFF
Advances in Databases and Information Systems

27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023, Proceedings

Alberto Abelló; Panos Vassiliadis; Oscar Romero; Robert Wrembel

978-3-031-42914-9

2023
Edition 1
€130 €117
10% OFF
Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Guido Governatori; Giovanni Sartor

978-3-642-14183-6

2010
Edition 1
€100 €90
10% OFF
Security and Cryptography for Networks

11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

Dario Catalano; Roberto De Prisco

978-3-319-98113-0

2018
Edition 1
€100 €90
10% OFF
Synergetics

A Workshop Proceedings of the International Workshop on Synergetics at Schloss Elmau, Bavaria, May 2–7, 1977

Hermann Haken

978-3-642-66784-8

1977
Edition 1
€100 €90
10% OFF
Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Stephen Brookes; Michael Main; Austin Melton; Michael Mislove; David Schmidt

978-3-540-48419-6

1994
Edition 1
€180 €162
10% OFF
Computer Vision Systems

Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings

Bernt Schiele; Gerhard Sagerer

978-3-540-48222-2

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Business Modeling and Software Design

11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5–7, 2021, Proceedings

Boris Shishkov

978-3-030-79976-2

2021
Edition 1
€100 €90
10% OFF
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97573-8

2025
Edition 1
€160 €144
10% OFF
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97557-8

2025
Edition 1
€180 €162
10% OFF
Astronomy, Cosmology and Fundamental Physics

Proceedings of the ESO/CERN/ESA Symposium Held at Garching, Germany, 4-7 March 2002

Peter A. Shaver; Luigi Lella; Alvaro Gimenez

978-3-540-44851-8

2003
Edition 1
- A truly interdisciplinary collection of papers from astrophysics and from high-energy physics
- Gives an overview over the exciting new astronomical research in those fields
€100 €90
10% OFF
Biomedical Simulation

4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings

Fernando Bello; Eddie Edwards

978-3-540-70521-5

2008
Edition 1
€100 €90
10% OFF
Digital Earth Moving

First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001. Proceedings

Caroline Y. Westort

978-3-540-44818-1

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Developments in Risk-based Approaches to Safety

Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006

Felix Redmill; Safety-Critical Systems Club; Tom Anderson

978-1-84628-447-2

2006
Edition 1
€180 €162
10% OFF
Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Robert Nieuwenhuis; Andrei Voronkov

978-3-540-45653-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Advanced Topics in Artificial Intelligence

2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987

Rolf T. Nossum

978-3-540-46068-8

1988
Edition 1
€100 €90
10% OFF
Novae and Related Stars

Proceedings of an International Conference Held by the Institut D’Astrophysique, Paris, France, 7 to 9 September 1976

Yozo Yokota

978-94-010-1217-1

1977
Edition 1
€100 €90
10% OFF
Social Informatics

4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings

Karl Aberer; Andreas Flache; Wander Jager; Ling Liu; Jie Tang; Christophe Gueret

978-3-642-35386-4

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Applied Cryptography and Network Security

17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings

Robert H. Deng; Valérie Gauthier-Umaña; Martín Ochoa; Moti Yung

978-3-030-21568-2

2019
Edition 1
€160 €144
10% OFF
WALCOM: Algorithms and Computation

Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings

Shin-ichi Nakano; Md. Saidur Rahman

978-3-540-77891-2

2008
Edition 1
€100 €90
10% OFF
Optimization

Proceedings of the 9th Belgian-French-German Conference on Optimization Namur, September 7–11, 1998

Van Hien Nguyen; Jean-Jacques Strodiot; Patricia Tossings

978-3-642-57014-8

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Cooperative Information Systems

9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings

Carlo Batini; Fausto Giunchiglia; Paolo Giorgini; Massimo Mecella

978-3-540-44751-1

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Modelling and Optimization of Complex System

Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3–9 July, 1978

G.I. Marchuk

978-3-540-34781-1

1979
Edition 1
€100 €90
10% OFF
Mathematical Optimization Theory and Operations Research

24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7–11, 2025, Proceedings

Yury Kochetov; Michael Khachay; Anton Eremeev; Panos Pardalos

978-3-031-97077-1

2025
Edition 1
€160 €144
10% OFF
Digital Information Processing and Communications

International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011. Proceedings

Vaclav Snasael; Jan Platos; Eyas El-Qawasmeh

978-3-642-22389-1

2011
Edition 1
€180 €162
10% OFF
Database and Expert Systems Applications

5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings

Dimitris Karagiannis

978-3-540-48796-8

1994
Edition 1
€180 €162
10% OFF
Frontiers in Handwriting Recognition

18th International Conference, ICFHR 2022, Hyderabad, India, December 4–7, 2022, Proceedings

Utkarsh Porwal; Alicia Fornés; Faisal Shafait

978-3-031-21648-0

2022
Edition 1
€180 €162
10% OFF
Conceptual Modeling - ER 2002

21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings

Stefano Spaccapietra; Salvatore March; Yahiko Kambayashi

978-3-540-45816-6

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
COTS-Based Software Systems

4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings

Xavier Franch; Dan Port

978-3-540-30587-3

2005
Edition 1
€100 €90
10% OFF
Computational Science – ICCS 2025

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II

Michael H. Lees; Wentong Cai; Siew Ann Cheong; Yi Su; David Abramson; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-97629-2

2025
Edition 1
€180 €162
10% OFF
Health Information Science

7th International Conference, HIS 2018, Cairns, QLD, Australia, October 5–7, 2018, Proceedings

Siuly Siuly; Ickjai Lee; Zhisheng Huang; Rui Zhou; Hua Wang; Wei Xiang

978-3-030-01078-2

2018
Edition 1
€100 €90
10% OFF
Active Media Technology

8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings

Runhe Huang; Ali A. Ghorbani; Takahira Yamaguchi; Gabriella Pasi; Neil Yen; Beihong Jin

978-3-642-35236-2

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Alessandro Abate; Gilles Geeraerts

978-3-319-65765-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computational Science and Its Applications – ICCSA 2016

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

Osvaldo Gervasi; Beniamino Murgante; Sanjay Misra; Ana Maria A.C. Rocha; Carmelo M. Torre; David Taniar; Bernady O. Apduhan; Elena Stankova; Shangguang Wang

978-3-319-42108-7

2016
Edition 1
€100 €90
10% OFF
Business Data Analytics

First International Conference, ICBDA 2022, Dehradun, India, October 7–8, 2022, Proceedings

Rajesh Singh; Valentina Emilia Balas; Arpan Kumar Kar; Anita Gehlot; Shahab Shamshirband

978-3-031-23647-1

2022
Edition 1
€180 €162
10% OFF
Semantics in Databases

Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

Leopoldo Bertossi; Gyula O.H. Katona; Klaus-Dieter Schewe; Bernhard Thalheim

978-3-540-36596-9

2003
Edition 1
€100 €90
10% OFF
Dynamic Logic. New Trends and Applications

Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Luís Soares Barbosa; Alexandru Baltag

978-3-030-38808-9

2020
Edition 1
€100 €90
10% OFF
Conceptual Modeling

38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

Alberto H. F. Laender; Barbara Pernici; Ee-Peng Lim; José Palazzo M. de Oliveira

978-3-030-33223-5

2019
Edition 1
€100 €90
10% OFF
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 €216
10% OFF
6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

David Till

978-1-4471-3240-0

1994
Edition 1
€100 €90
10% OFF
Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Sujata Ghosh; Sanjiva Prasad

978-3-662-54069-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Approximation and Online Algorithms

21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings

Jarosław Byrka; Andreas Wiese

978-3-031-49815-2

2023
Edition 1
€130 €117
10% OFF
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Louis-Martin Rousseau; Kostas Stergiou

978-3-030-19212-9

2019
Edition 1
€100 €90
10% OFF

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.