License single eBooks

Your results

View Cart

Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Jean-Francois Raskin; P.S. Thiagarajan

978-3-540-75454-1

2007
Edition 1
€100 €90
10% OFF
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings

Claudio Sossai; Gaetano Chemello

978-3-642-02906-6

2009
Edition 1
€180 €162
10% OFF
Computer Vision, Virtual Reality and Robotics in Medicine

First International Conference, CVRMed '95, Nice, France, April 3 - 6, 1995. Proceedings

Nicholas Ayache

978-3-540-49197-2

1995
Edition 1
€180 €162
10% OFF
Integer Programming and Combinatorial Optimization

18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

Quentin Louveaux; Martin Skutella

978-3-319-33461-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Soft Computing in Data Science

First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings

Michael W. Berry; Azlinah Mohamed; Bee Wah Yap

978-981-287-936-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
AI, Society and Digital Transformation

Proceedings of 2025 INFORMS Conference on Service Science, Oxford, UK, July 1-3, 2025

Xiaolei Xie; Kejia Hu; Guiping Hu; Weiwei Chen; Robin Qiu

978-3-032-13116-4

2026
Edition 1
- Presents cutting-edge research and practice advances in service science
- Explores how AI and digital technologies are reshaping the way we live, work, and socialize
- Gathers global knowledge and insights
€340 €306
10% OFF
Combinatorial Algorithms

35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings

Adele Anna Rescigno; Ugo Vaccaro

978-3-031-63021-7

2024
Edition 1
€180 €162
10% OFF
Computational Systems-Biology and Bioinformatics

First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, Proceedings

Jonathan H. Chan; Yew-Soon Ong; Sung-Bae Cho

978-3-642-16750-8

2010
Edition 1
€100 €90
10% OFF
Optimization and Learning

6th International Conference, OLA 2023, Malaga, Spain, May 3–5, 2023, Proceedings

Bernabé Dorronsoro; Francisco Chicano; Gregoire Danoy; El-Ghazali Talbi

978-3-031-34020-8

2023
Edition 1
€180 €162
10% OFF
Software and Compilers for Embedded Systems

8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers

978-3-540-30113-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50433-5

2020
Edition 1
€100 €90
10% OFF
Modelling and Mining Networks

19th International Workshop, WAW 2024, Warsaw, Poland, June 3–6, 2024, Proceedings

Megan Dewar; Bogumił Kamiński; Daniel Kaszyński; Łukasz Kraiński; Paweł Prałat; François Théberge; Małgorzata Wrzosek

978-3-031-59205-8

2024
Edition 1
€220 €198
10% OFF
Proceedings of the 19th International Conference Inter-Eng 2025 Interdisciplinarity in Engineering Held During 3–4 October 2025

Volume 2

Liviu Moldovan; Adrian Gligor

978-3-032-18878-6

2026
Edition 1
- Proceedings of the 19th International Conference INTER-ENG 2025, Interdisciplinarity in Engineering
- Presents recent visions and concepts of Interdisciplinarity in Engineering
- Provides a broad vision of the Industry 4.0/5.0 concept beyond direct manufacturing in the company
€400 €360
10% OFF

Not published yet

Available from
2026-07-02
Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA 3)

III: Structure des Schemas en Groupes Reductifs

M. Artin; M. Demazure; A. Grothendieck

978-3-540-36339-2

1970
Edition 1
€69 €62
10% OFF
Multiple-Scale Analysis of Boundary-Value Problems in Thick Multi-Level Junctions of Type 3:2:2

Taras Mel'nyk; Dmytro Sadovyi

978-3-030-35537-1

2019
Edition 1
- The first book on this topic
- Includes a full literature review on the homogenization of various boundary-value problems, spectral problems, variational inequalities, optimal control problems in thick junctions
- Provides a complete and unified presentation of the topic and recent results of the authors
- Presents approximation techniques for solutions to semilinear elliptic and parabolic problems with various alternating nonlinear Robin boundary conditions
€110 €99
10% OFF
Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA 3)

I: Proprietes Generales des Schemas en Groupes

M. Artin; M. Demazure; A. Grothendieck

978-3-540-36336-1

1970
Edition 1
€69 €62
10% OFF
Contributions Presented at The International Conference on Computing, Communication, Cybersecurity and AI, July 3–4, 2024, London, UK

The C3AI 2024

Nitin Naik; Paul Jenkins; Shaligram Prajapat; Paul Grace

978-3-031-74443-3

2024
Edition 1
- Presents recent research developments in computing, communication, cybersecurity and AI, and related domains
- Provides innovative techniques, tools, and applications in computing, communication, cybersecurity, and AI
- Serves as a valuable reference guide for researchers and practitioners in academia and industry
€459 €413
10% OFF
Schemas en Groupes. Seminaire de Geometrie Algebrique du Bois Marie 1962/64 (SGA 3)

II: Groupes de Type Multiplicatif, et Structure des Schemas en Groupes Generaux

M. Artin; M. Demazure; A. Grothendieck

978-3-540-36337-8

1970
Edition 1
€69 €62
10% OFF
Proceedings of the 19th International Conference Inter-Eng 2025 Interdisciplinarity in Engineering Held During 3–4 October 2025

Volume 1

Liviu Moldovan; Adrian Gligor

978-3-032-17033-0

2026
Edition 1
- Proceedings of the 19th International Conference INTER-ENG 2025, Interdisciplinarity in Engineering
- Presents recent visions and concepts of Interdisciplinarity in Engineering
- Provides a broad vision of the Industry 4.0/5.0 concept beyond direct manufacturing in the company
€400 €360
10% OFF
Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Antonio Cerone

978-3-031-43678-9

2023
Edition 1
- Valuable for students, researchers, and practitioners
- Lecturers are known experts in the field
- Contributions show application of formal methods in diverse fields
€419 €377
10% OFF
Neural Computing for Advanced Applications

5th International Conference, NCAA 2024, Guilin, China, July 5–7, 2024, Proceedings, Part II

Haijun Zhang; Xianxian Li; Tianyong Hao; Weizhi Meng; Zhou Wu; Qian He

978-981-97-7004-5

2025
Edition 1
€160 €144
10% OFF
Intelligent Computing Theories and Application

18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part II

De-Shuang Huang; Kang-Hyun Jo; Junfeng Jing; Prashan Premaratne; Vitoantonio Bevilacqua; Abir Hussain

978-3-031-13829-4

2022
Edition 1
€220 €198
10% OFF
Conceptual Structures: Knowledge Visualization and Reasoning

16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

Peter Eklund; Ollivier Haemmerlé

978-3-540-70596-3

2008
Edition 1
€100 €90
10% OFF
Digital-Forensics and Watermarking

14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers

Yun-Qing Shi; Hyoung Joong Kim; Fernando Pérez-González; Isao Echizen

978-3-319-31960-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities

18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers

Max Silberztein

978-3-031-89810-5

2025
Edition 1
€320 €288
10% OFF
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part V

Huayong Yang; Honghai Liu; Jun Zou; Zhouping Yin; Lianqing Liu; Geng Yang; Xiaoping Ouyang; Zhiyong Wang

978-981-99-6495-6

2023
Edition 1
€180 €162
10% OFF
Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

Andy Schürr; Dániel Varró; Gergely Varró

978-3-642-34176-2

2012
Edition 1
- High quality selected paper
- Unique visibility
- State of the art research
€90 €81
10% OFF
Fast Software Encryption

17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 Revised Selected Papers

Seokhie Hong; Tetsu Iwata

978-3-642-13858-4

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100 €90
10% OFF
Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III

Albert Bifet; Michael May; Bianca Zadrozny; Ricard Gavalda; Dino Pedreschi; Francesco Bonchi; Jaime Cardoso; Myra Spiliopoulou

978-3-319-23461-8

2015
Edition 1
€100 €90
10% OFF
Grundkurs Programmieren mit Delphi

Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen

Wolf-Gert Matthäus

978-3-8348-9358-1

2010
Edition 3
- Systematisch programmieren lernen mit Delphi - so schaffen Sie den sicheren Einstieg!
€279 €251
10% OFF
Advances of Science and Technology

6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings

Fasikaw Atanaw Zimale; Temesgen Enku Nigussie; Solomon Workneh Fanta

978-3-030-15357-1

2019
Edition 1
€100 €90
10% OFF
Semantic Systems. In the Era of Knowledge Graphs

16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings

Eva Blomqvist; Paul Groth; Victor de Boer; Tassilo Pellegrini; Mehwish Alam; Tobias Käfer; Peter Kieseberg; Sabrina Kirrane; Albert Meroño-Peñuela; Harshvardhan J. Pandit

978-3-030-59833-4

2020
Edition 1
Open Access
Computer Methods, Imaging and Visualization in Biomechanics and Biomedical Engineering II

Selected Papers from the 17th International Symposium CMBBE and 5th Conference on Imaging and Visualization, September 7-9, 2021

João Manuel R. S. Tavares; Christoph Bourauel; Liesbet Geris; Jos Vander Slote

978-3-031-10015-4

2023
Edition 1
- Reports on cutting-edge computational and imaging methods
- Places special emphasis on biological and medical applications
- Describes models for advancing biomedical engineering research
€260 €234
10% OFF
Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

Anna Kalenkova; Jose A. Lozano; Rostislav Yavorskiy

978-3-030-71472-7

2021
Edition 1
€100 €90
10% OFF
Computers and Games

4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

H. Jaap van den Herik; Yngvi Björnsson; Nathan S. Netanyahu

978-3-540-32489-8

2006
Edition 1
€100 €90
10% OFF
Automata, Languages and Programming

35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Magnus M. Halldorsson; Anna Ingolfsdottir; Igor Walukiewicz

978-3-540-70583-3

2008
Edition 1
€180 €162
10% OFF
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part VII

Huayong Yang; Honghai Liu; Jun Zou; Zhouping Yin; Lianqing Liu; Geng Yang; Xiaoping Ouyang; Zhiyong Wang

978-981-99-6498-7

2023
Edition 1
€180 €162
10% OFF
Progress in Artificial Intelligence

11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings

Fernando Moura Pires; Salvador Abreu

978-3-540-24580-3

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Advances in Information Retrieval

26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings

Sharon McDonald; John Tait

978-3-540-24752-4

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Sharing Data, Information and Knowledge

25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008, Proceedings

Alexander Gray; Keith G. Jeffery; Jianhua Shao

978-3-540-70504-8

2008
Edition 1
€100 €90
10% OFF
Amine Oxidases and Their Impact on Neurobiology

Proceedings of the 4th International Amine Oxidases Workshop, Würzburg, Federal Republic of Germany, July 7–10, 1990

Peter Riederer; Moussa B.H. Youdim

978-3-7091-9113-2

1990
Edition 1
€180 €162
10% OFF
Politik und die Macht der Technik

16. wissenschaftlicher Kongreß der DVPW. 7. bis 10. Oktober 1985 in der Ruhr-Universität Bochum

Hans-Hermann Hartwich

978-3-322-88756-6

1986
Edition 1
€201 €181
10% OFF
Computational Intelligence

International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers

Kurosh Madani; António Dourado Correia; Agostinho Rosa; Joaquim Filipe

978-3-319-11271-8

2015
Edition 1
- Recent research in Computational Intelligence
- Revised and selected papers of the International Joint Conference IJCCI 2012 held in Barcelona, Spain, October 5-7, 2012
- Written by experts in the field
€180 €162
10% OFF
Haptics: Perception, Devices, Control, and Applications

10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

Fernando Bello; Hiroyuki Kajimoto; Yon Visell

978-3-319-42324-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II

Wray Buntine; Marko Grobelnik; Dunja Mladenic; John Shawe-Taylor

978-3-642-04174-7

2009
Edition 1
€180 €162
10% OFF
Rough Sets

International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016, Proceedings

Víctor Flores; Fernando Gomide; Andrzej Janusz; Claudio Meneses; Duoqian Miao; Georg Peters; Dominik Ślęzak; Guoyin Wang; Richard Weber; Yiyu Yao

978-3-319-47160-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage

4th International Conference, TMM_CH 2025, Athens, Greece, April 7–9, 2025, Revised Selected Papers

Antonia Moropoulou; Andreas Georgopoulos; Marinos Ioannides; Anastasios Doulamis; Kyriakos Lampropoulos; Alfredo Ronchi

978-3-032-15069-1

2026
Edition 1
€170 €153
10% OFF
Cellular Automata: Research Towards Industry

ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

Roberto Serra; Furio Suggi Liverani

978-1-4471-1281-5

1998
Edition 1
€180 €162
10% OFF
Extended Reality

International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part III

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71710-9

2024
Edition 1
€280 €252
10% OFF
Advances in Cryogenic Engineering

Proceedings of the 1956 Cryogenic Engineering Conference National Bureau of Standards Boulder, Colorado September 5–7 1956

K. D. Timmerhaus

978-1-4684-3102-5

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