License single eBooks

Your results

View Cart

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Edmund M. Clarke; Andrei Voronkov

978-3-642-17511-4

2010
Edition 1
- Up-to-date-results
€100
Languages, Methodologies, and Development Tools for Multi-Agent Systems

Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers

Mehdi Dastani; Amal El Fallah Seghrouchni; Jomi Hübner; Joao Leite

978-3-642-22723-3

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Foundations and Practice of Security

13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1–3, 2020, Revised Selected Papers

Gabriela Nicolescu; Assia Tria; José M. Fernandez; Jean-Yves Marion; Joaquin Garcia-Alfaro

978-3-030-70881-8

2021
Edition 1
€100
Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Francesco Ranzato

978-3-319-66706-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
The Semantic Web

22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1–5, 2025, Proceedings, Part I

Edward Curry; Maribel Acosta; Maria Poveda-Villalón; Marieke van Erp; Adegboyega Ojo; Katja Hose; Cogan Shimizu; Pasquale Lisena

978-3-031-94575-5

2025
Edition 1
€150
Natural Language Processing and Chinese Computing

13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part IV

Derek F. Wong; Zhongyu Wei; Muyun Yang

978-981-97-9440-9

2025
Edition 1
€180
Stochastic Aspects of Classical and Quantum Systems

Proceedings of the 2nd French-German Encounter in Mathematics and Physics, held in Marseille, France, March 28 - April 1, 1983

S. Albeverio; P. Combe; M. Sirugue-Collin

978-3-540-39138-8

1985
Edition 1
€69
Agent and Multi-Agent Systems: Technologies and Applications

5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 -- July 1, 2011, Proceedings

James O'Shea; Ngoc Thanh Nguyen; Keeley Crockett; Robert J. Howlett; Lakhmi C. Jain

978-3-642-22000-5

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€180
The Knee: Ligament and Articular Cartilage Injuries

Selected Papers of the Third and Fourth Reisensburg Workshop held February 27 - March 1, and September 25-27, 1975

D. E. Hastings

978-3-642-66900-2

1978
Edition 1
€180
Semantic Web Challenges

4th SemWebEval Challenge at ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017, Revised Selected Papers

Mauro Dragoni; Monika Solanki; Eva Blomqvist

978-3-319-69146-6

2017
Edition 1
- Aims at developing a set of common benchmarks, established evaluation procedures, tasks and datasets in the field of semantic web
- Contains detailed record of the one of the most important international scientific events for the semantic web research community
- Presents a snapshot of the state-of-the-art and material for replication of results
- Includes supplementary material: sn.pub/extras
€100
Functional Imaging and Modeling of the Heart

13th International Conference, FIMH 2025, Dallas, TX, USA, June 1–5, 2025, Proceedings, Part II

Radomír Chabiniok; Qing Zou; Tarique Hussain; Hoang H. Nguyen; Vlad G. Zaha; Maria Gusseva

978-3-031-94562-5

2025
Edition 1
€180
Analog Design Issues in Digital VLSI Circuits and Systems

A Special Issue of Analog Integrated Circuits and Signal Processing, An International Journal Volume 14, Nos. 1/2 (1997)

Juan J. Becerra; Eby G. Friedman

978-1-4615-6101-9

1997
Edition 1
€180
Communications and Networking

14th EAI International Conference, ChinaCom 2019, Shanghai, China, November 29 – December 1, 2019, Proceedings, Part I

Honghao Gao; Zhiyong Feng; Jun Yu; Jun Wu

978-3-030-41114-5

2020
Edition 1
€100
Image and Signal Processing

7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings

Alamin Mansouri; Fathallah Nouboud; Alain Chalifour; Driss Mammass; Jean Meunier; Abderrahim El Moataz

978-3-319-33618-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Languages and Compilers for Parallel Computing

14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

Henry Gordon Dietz

978-3-540-35767-4

2003
Edition 1
€100
Information Retrieval Technology

6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings

Pu-Jen Cheng; Min-Yen Kan; Wai Lam; Preslav Nakov

978-3-642-17187-1

2010
Edition 1
€180
Maximum-Entropy and Bayesian Spectral Analysis and Estimation Problems

Proceedings of the Third Workshop on Maximum Entropy and Bayesian Methods in Applied Statistics, Wyoming, U.S.A., August 1–4, 1983

C.R. Smith; G. Erickson

978-94-009-3961-5

1987
Edition 1
€280
Nonlinear Filtering and Stochastic Control

Proceedings of the 3rd 1981 Session of the Centro Internazionale Matematico Estivo (CIME), Held at Cortona, July 1-10, 1981

S.K. Mitter; A. Moro

978-3-540-39431-0

1982
Edition 1
€69
Mathematik für Ingenieure mit Maple

Band 1: Differential- und Integralrechnung für Funktionen einer Variablen, Vektor- und Matrizenrechnung, Komplexe Zahlen, Funktionenreihen

Thomas Westermann

978-3-662-08560-8

1996
Edition 1
€486
Biomedical Engineering Systems and Technologies

5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers

Joaquim Gabriel; Jan Schier; Sabine Van Huffel; Emmanuel Conchon; Carlos Correia; Ana Fred; Hugo Gamboa

978-3-642-38256-7

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Combinatoire enumerative

Proceedings of the "Colloque de Combinatoire Enumerative", Held at Universite du Quebec a Montreal, May 28 - June 1, 1985

Gilbert Labelle; Pierre Leroux

978-3-540-47402-9

1986
Edition 1
€74
Interactive Storytelling

Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings

Ruth Aylett; Mei Yii Lim; Sandy Louchart; Paolo Petta; Mark Riedl

978-3-642-16638-9

2010
Edition 1
€100
Electronic Voting

10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings

David Duenas-Cid; Peter Roenne; Melanie Volkamer; Michelle Blom; Pierrick Gaudry; Isabelle Borucki; Leontine Loeber; Alexandre Debant

978-3-032-05036-6

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Stochastic Partial Differential Equations and Their Applications

Proceedings of IFIP WG 7/1 International Conference University of North Carolina at Charlotte, NC, June 6–8,1991

Boris L. Rozovskii; Richard B. Sowers

978-3-540-47015-1

1992
Edition 1
€100
New Technologies, Artificial Intelligence and Smart Data

12th International Conference, INTIS 2024, Tangier, Morocco, May 30 – June 1, 2024, Revised Selected Papers

Hassan Badir; Mohamed Tabaa; Ladjel Bellatreche; Marjan Mernik; Boualem Benatallah; Rachida Fissoune

978-3-032-14964-0

2026
Edition 1
€140
Alkaline Rocks, Kimberlites and Carbonatites: Geochemistry and Genesis

Proceedings of the XV International Seminar "Deep-seated magmatism, its sources and plumes", 1-7 September 2019, Russia, Saki.

Nikolay Vladykin

978-3-030-69670-2

2021
Edition 1
- Answers the most relevant questions regarding ore content of alkaline magmatism
- Develops knowledge of kimberlite composition and formation
- Describes the structure of rare minerals
- Includes new information on rare metal deposits in Russia
€400
Modelling and Simulation for Autonomous Systems

11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1–3, 2024, Revised Selected Papers

Jan Mazal; Adriano Fagiolini; Petr Vašík; Agostino Bruzzone; Stefan Pickl; Petr Stodola; Vlastimil Neumann; Pavel Loučka

978-3-031-99732-7

2026
Edition 1
€260
Trends in Enterprise Application Architecture

2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers

Dirk Draheim; Gerald Weber

978-3-540-75912-6

2007
Edition 1
€100
Stability Problems for Stochastic Models

Proceedings of the 11th International Seminar held in Sukhumi (Abkhazian Autonomous Republic), USSR, Sept. 25 - Oct. 1, 1987

Vladimir V. Kalashnikov; Vladimir M. Zolotarev

978-3-540-46863-9

1989
Edition 1
€69
Natural Language Processing and Chinese Computing

13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part III

Derek F. Wong; Zhongyu Wei; Muyun Yang

978-981-97-9437-9

2025
Edition 1
€160
Computer Vision - ECCV 2000

6th European Conference on Computer Vision Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part II

David Vernon

978-3-540-45053-5

2000
Edition 1
€180
Advances in Cryptology - ASIACRYPT 2013

19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Kazue Sako; Palash Sarkar

978-3-642-42033-7

2013
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up to date results
€100
Energy Minimization Methods in Computer Vision and Pattern Recognition

11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers

Marcello Pelillo; Edwin Hancock

978-3-319-78199-0

2018
Edition 1
€100
Machine Learning for Multimodal Interaction

Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers

Steve Renals; Samy Bengio; Jonathan Fiskus

978-3-540-69268-3

2006
Edition 1
€100
Building Resilient Cities in China: The Nexus between Planning and Science

Selected Papers from the 7th International Association for China Planning Conference, Shanghai, China, June 29 – July 1, 2013

Xueming Chen; Qisheng Pan

978-3-319-14145-9

2015
Edition 1
- Includes the latest research on theories and practices of building urban resiliency
- Describes China’s urbanization status and development trends in detail
- Introduces the latest development in GIS technological applications
- Presents lessons learned in China that are transferrable to countries worldwide
€180
Shock Waves

Proceedings of the 24th International Symposium on Shock Waves, Beijing, China, July 11-16 2004,Vol. 1 and 2

Zonglin Jiang

978-3-540-27009-6

2005
Edition 1
€559
Mobile Communications

7th CDMA International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers

Jaiyong Lee; Chul-Hee Kang

978-3-540-36555-6

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

11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 – December 1, 2022, Proceedings, Part II

João Carlos Xavier-Junior; Ricardo Araújo Rios

978-3-031-21689-3

2022
Edition 1
€180
Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Ralf Hinze

978-3-642-41582-1

2013
Edition 1
- Includes supplementary material: sn.pub/extras
€90
Pathologie. Ein Lehr- und Nachschlagebuch

Band 1: Rechtsfragen in der Pathologie. Einführung in die bioptische Diagnostik. Herz- und Gefäßsystem. Hämatologie und Atmungsorgane

W. Remmele; H. Buss; R. Caesar; T. Eckhardt; R. Fischer; W. Hartung; W. Janssen; H.G. Lasch; H.F. Otto; W. Remmele; H.E. Schaeffer; T.H. Schöndorf; H.J. Stutte

978-3-642-97874-6

1984
Edition 1
€173
Information Technologies in Medicine

5th International Conference, ITIB 2016 Kamień Śląski, Poland, June 20 - 22, 2016 Proceedings, Volume 1

Ewa Piętka; Pawel Badura; Jacek Kawa; Wojciech Wieclawek

978-3-319-39796-2

2016
Edition 1
- Recent research on Information Technologies in Medicine
- Scientific outcome of the 5th International Conference Information Technologies in Biomedicine, held June 20 - 22, 2016, Kamien Slaski, Poland, Volume 1
- Combines modern information technologies and clinical medicine both from a theoretical and an applied view
- Includes supplementary material: sn.pub/extras
€400
Electronic Government

13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings

Marijn Janssen; Hans Jochen Scholl; Maria A. Wimmer; Frank Edward Bannister

978-3-662-44426-9

2014
Edition 1
€100
Distributed Multimedia Information Retrieval

SIGIR 2003 Workshop on Distributed Information Retrieval, Toronto, Canada, August 1, 2003, Revised Selected and Invited Papers

Jamie Callan; Fabio Crestani; Mark Sanderson

978-3-540-24610-7

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Pattern Recognition and Computer Vision

4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part IV

Huimin Ma; Liang Wang; Changshui Zhang; Fei Wu; Tieniu Tan; Yaonan Wang; Jianhuang Lai; Yao Zhao

978-3-030-88013-2

2021
Edition 1
€180
Hybrid Intelligent Systems

23rd International Conference on Hybrid Intelligent Systems (HIS 2023), December 11-13, 2023, Volume 1: Healthcare Applications

Ana Maria Madureira; Ajith Abraham; Anu Bajaj

978-3-031-78922-9

2025
Edition 1
- Includes recent research on Hybrid Intelligent Systems
- Presents the proceedings of the 23rd International Conference on Hybrid Intelligent Systems (HIS 2023)
- Written by leading experts in the field
€380
Access Networks

4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers

Xiao Jun Hei; Lawrence Cheung

978-3-642-11664-3

2010
Edition 1
- fast track conference
- unique visibility
- state-of-the-art research
€100
Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Inmaculada Medina-Bulo; Mercedes G. Merayo; Robert Hierons

978-3-319-99927-2

2018
Edition 1
€100
Advances in Optimization and Applications

12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Revised Selected Papers

Nicholas N. Olenev; Yuri G. Evtushenko; Milojica Jaćimović; Michael Khachay; Vlasta Malkova

978-3-030-92711-0

2021
Edition 1
€150
Morphological and Functional Aspects of Immunity

Proceedings of the Third International Conference on Lymphatic Tissue and Germinal Centers held in Uppsala, Sweden, September 1–4, 1970

K. Lindahl-Kiessling

978-1-4615-9011-8

1971
Edition 1
€100
CONTROLO 2020

Proceedings of the 14th APCA International Conference on Automatic Control and Soft Computing, July 1-3, 2020, Bragança, Portugal

José Alexandre Gonçalves; Manuel Braz-César; João Paulo Coelho

978-3-030-58653-9

2021
Edition 1
- Reports on the latest advances in control engineering
- Strongly focuses on control and robotics for industrial applications
- Offers a good balance of theories and practices
€578

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.