License single eBooks

Your results

View Cart

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Michel Parigot; Andrei Voronkov

978-3-540-44404-6

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Software Process and Product Measurement

International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

Alain Abran; René Braungarten; Reiner R. Dumke; Juan J. Cuadrado-Gallego; Jacob Brunekreef

978-3-642-05415-0

2009
Edition 1
€100 €90
10% OFF
Interactive Systems. Design, Specification, and Verification

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Philippe Palanque; Fabio Paterno

978-3-540-44675-0

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Financial Cryptography and Data Security

26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers

Ittay Eyal; Juan Garay

978-3-031-18283-9

2022
Edition 1
€200 €180
10% OFF
Artificial Intelligence in Healthcare

First International Conference, AIiH 2024, Swansea, UK, September 4–6, 2024, Proceedings, Part I

Xianghua Xie; Iain Styles; Gibin Powathil; Marco Ceccarelli

978-3-031-67278-1

2024
Edition 1
€280 €252
10% OFF
Artificial Intelligence Security and Privacy

Second International Conference, AIS&P 2024, Guangzhou, China, December 6-7, 2024, Proceedings

Fangguo Zhang; Weiwei Lin; Hongyang Yan

978-981-96-1148-5

2025
Edition 1
€100 €90
10% OFF
Gerontechnology III

Contributions to the Third International Workshop on Gerontechnology, IWoG 2020, October 5-6, 2020, Évora, Portugal

José García-Alonso; César Fonseca

978-3-030-72567-9

2021
Edition 1
- Reports on smart technologies for elderly care and monitoring
- Describes methods to improve clinical workflows
- Covers applications and assessment of health technologies in different contexts
€400 €360
10% OFF
Fast Software Encryption

9th International Workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002. Revised Papers

Joan Daemen; Vincent Rijmen

978-3-540-45661-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Knowledge Science, Engineering and Management

15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part III

Gerard Memmi; Baijian Yang; Linghe Kong; Tianwei Zhang; Meikang Qiu

978-3-031-10989-8

2022
Edition 1
€220 €198
10% OFF
Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei Artemov; Anil Nerode

978-3-642-35722-0

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100 €90
10% OFF
Database Programming Languages

9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers

Georg Lausen; Dan Suciu

978-3-540-24607-7

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Generative and Transformational Techniques in Software Engineering III

International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

João M. Fernandes; Ralf Lämmel; Joost Visser; João Saraiva

978-3-642-18023-1

2011
Edition 1
- Tutorial book on generative and transformational techniques in software engineering
- Original, readable and useful lecture notes
- Made for students, researchers and practitioners
€419 €377
10% OFF
Algorithmic Learning Theory

26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings

Kamalika Chaudhuri; CLAUDIO GENTILE; Sandra Zilles

978-3-319-24486-0

2015
Edition 1
€100 €90
10% OFF
Simulation Tools and Techniques

13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings

Dingde Jiang; Houbing Song

978-3-030-97124-3

2022
Edition 1
€100 €90
10% OFF
Progress in Artificial Intelligence

6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings

Michel Filgueiras; Luis M.M. Damas

978-3-540-48036-5

1993
Edition 1
€100 €90
10% OFF
Advances in Computational Intelligence Systems

Contributions Presented at the 17th UK Workshop on Computational Intelligence, September 6-8, 2017, Cardiff, UK

Fei Chao; Steven Schockaert; Qingfu Zhang

978-3-319-66939-7

2018
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 17th UK Workshop on Computational Intelligence, September 6-8, 2017, Cardiff, UK
€280 €252
10% OFF
Black Holes in Binaries and Galactic Nuclei: Diagnostics, Demography and Formation

Proceedings of the ESO Workshop Held at Garching, Germany, 6–8 September 1999, in Honour of Riccardo Giacconi

L. Kaper; E.P.J. van den Heuvel; P.A. Woudt

978-3-540-44562-3

2001
Edition 1
€100 €90
10% OFF
Computer Analysis of Images and Patterns

CAIP 2019 International Workshops, ViMaBi and DL-UAV, Salerno, Italy, September 6, 2019, Proceedings

Mario Vento; Gennaro Percannella; Sara Colantonio; Daniela Giorgi; Bogdan J. Matuszewski; Hamideh Kerdegari; Manzoor Razaak

978-3-030-29930-9

2019
Edition 1
€100 €90
10% OFF
Algorithms and Computations

6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings.

John Staples; Peter Eades; Naoki Katoh; Alistair Moffat

978-3-540-47766-2

1995
Edition 1
€100 €90
10% OFF
Parallel Computing Technologies

5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings

Victor Malyshkin

978-3-540-48387-8

1999
Edition 1
€100 €90
10% OFF
Algorithms and Models for the Web Graph

16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings

Konstantin Avrachenkov; Paweł Prałat; Nan Ye

978-3-030-25070-6

2019
Edition 1
€100 €90
10% OFF
Knowledge Acquisition for Knowledge-Based Systems

7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993. Proceedings

Nathalie Aussenac; Guy Boy; Brian Gaines; Jean-Gabriel Ganascia; Yves Kodratoff; Marc Linster

978-3-540-47996-3

1993
Edition 1
€100 €90
10% OFF
Text, Speech, and Dialogue

26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4–6, 2023, Proceedings

Kamil Ekštein; František Pártl; Miloslav Konopík

978-3-031-40498-6

2023
Edition 1
€150 €135
10% OFF
Advances in Digital Human Modeling

Proceedings of the 8th International Digital Human Modeling Symposium, 4-6 September 2023, Antwerp, Belgium

Sofia Scataglini; Gregor Harih; Wim Saeys; Steven Truijen

978-3-031-37848-5

2023
Edition 1
- Reports on cutting-edge modeling and simulation research applied to biomechanics and ergonomics
- Offers a broad overview of digital human modeling applications
- Bridges between the field of Human Centered Design, Engineering and Ergonomics
€579 €521
10% OFF
Pediatric Nephrology

Proceedings of the Fifth International Pediatric Nephrology Symposium, held in Philadelphia, PA, October 6–10, 1980

A.B. Gruskin; M.E. Norman

978-94-009-8319-9

1981
Edition 1
€100 €90
10% OFF
Persistent Object Systems: Design, Implementation, and Use

9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers

Graham N.C. Kirby; Alan Dearle; Dag I.K. Sjoberg

978-3-540-45498-4

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Performance Evaluation Methodologies and Tools

16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings

Evangelia Kalyvianaki; Marco Paolieri

978-3-031-48885-6

2024
Edition 1
€130 €117
10% OFF
Advances in Learning Software Organizations

4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers

Scott Henninger; Frank Maurer

978-3-540-40052-3

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Advances in Brain Inspired Cognitive Systems

13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings

Jinchang Ren; Amir Hussain; Iman Yi Liao; Rongjun Chen; Kaizhu Huang; Huimin Zhao; Xiaoyong Liu; Ping Ma; Thomas Maul

978-981-97-1417-9

2024
Edition 1
€150 €135
10% OFF
Key Competences in Physics Teaching and Learning

Selected Contributions from the International Conference GIREP EPEC 2015, Wrocław Poland, 6–10 July 2015

Tomasz Greczyło; Ewa Dębowska

978-3-319-44887-9

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
Extended Reality

International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-43401-3

2023
Edition 1
€180 €162
10% OFF
Business Process Management Workshops

BPM 2024 International Workshops, Krakow, Poland, September 1–6, 2024, Revised Selected Papers

Katarzyna Gdowska; María Teresa Gómez-López; Jana-Rebecca Rehse

978-3-031-78666-2

2025
Edition 1
€130 €117
10% OFF
Banach Space Theory and its Applications

Proceedings of the First Romanian GDR Seminar Held at Bucharest, Romania, August 31 - September 6, 1981

A. Pietsch; N. Popa; I. Singer

978-3-540-39877-6

1983
Edition 1
€69 €62
10% OFF
Independent Television in Britain

Volume 6 New Developments in Independent Television 1981-92: Channel 4, TV-am, Cable and Satellite

P. Bonner; L. Aston

978-0-230-28713-6

2003
Edition 1
€100 €90
10% OFF
Advances in Computer Systems Architecture

11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

Chris Jesshope; Colin Egan

978-3-540-40058-5

2006
Edition 1
€180 €162
10% OFF
Large-Scale Scientific Computing

Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers

Svetozar D. Margenov; Jerzy Wasniewski; Plamen Yalamov

978-3-540-45346-8

2001
Edition 1
€100 €90
10% OFF
Mathematical Morphology and Its Applications to Image and Signal Processing

10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011, Proceedings

Pierre Soille; Martino Pesaresi; Georgios Ouzounis

978-3-642-21569-8

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Financial Technology

6th International Conference, ICFT 2025, Hong Kong, China, November 6–8, 2025, Proceedings

Sheung Chi Phillip Yam; Ruidan Su; Qi Cao

978-981-92-0126-6

2026
Edition 1
€140 €126
10% OFF
Generative Systems and Intelligent Tutoring Systems

21st International Conference, ITS 2025, Alexandroupolis, Greece, June 2–6, 2025, Proceedings, Part II

Sabine Graf; Angelos Markos

978-3-031-98284-2

2026
Edition 1
€114 €103
10% OFF
Computer Analysis of Images and Patterns

6th International Conference, CAIP’95, Prague, Czech Republic, September 6–8, 1995 Proceedings

Vaclav Hlavac; Radim Sara

978-3-540-44781-8

1995
Edition 1
€100 €90
10% OFF
Advanced Hybrid Information Processing

Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings

Shuai Liu; Gelan Yang

978-3-030-19086-6

2019
Edition 1
€100 €90
10% OFF
Conceptual Modeling - ER 2006

25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings

David W. Embley; Antoni Olivé; Sudha Ram

978-3-540-47227-8

2006
Edition 1
€180 €162
10% OFF
Principles and Practice of Semantic Web Reasoning

Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings

Hans J. Ohlbach; Sebastian Schaffert

978-3-540-30122-6

2004
Edition 1
€100 €90
10% OFF
Information Integration and Web Intelligence

25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023, Proceedings

Pari Delir Haghighi; Eric Pardede; Gillian Dobbie; Vithya Yogarajan; Ngurah Agus Sanjaya ER; Gabriele Kotsis; Ismail Khalil

978-3-031-48316-5

2023
Edition 1
€180 €162
10% OFF
MultiMedia Modeling

23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings, Part I

Laurent Amsaleg; Gylfi Þór Guðmundsson; Cathal Gurrin; Björn Þór Jónsson; Shin’ichi Satoh

978-3-319-51811-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
IUTAM Symposium on Integrated Modeling of Fully Coupled Fluid Structure Interactions Using Analysis, Computations and Experiments

Proceedings of the IUTAM Symposium held at Rutgers University, New Jersey, U.S.A., 2–6 June 2003

Haym Benaroya; Timothy Wei

978-94-007-0995-9

2003
Edition 1
€400 €360
10% OFF
Text, Speech and Dialogue

13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings

Petr Sojka; Aleš Horak; Ivan Kopecek; Karel Pala

978-3-642-15760-8

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€180 €162
10% OFF
Advances in Cryptology – EUROCRYPT 2004

International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings

Christian Cachin; Jan Camenisch

978-3-540-24676-3

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Innovative Konzepte für die Ausbildung

6. GI-Fachtagung Informatik und Schule INFOS ’95 Chemnitz, 25.–28. September 1995

Sigrid Schubert

978-3-642-79968-6

1995
Edition 1
€201 €181
10% OFF
Computational Linguistics and Intelligent Text Processing

15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I

Alexander Gelbukh

978-3-642-54906-9

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