License single eBooks

Your results

View Cart

Frontiers of Combining Systems

15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

René Thiemann; Christoph Weidenbach

978-3-032-04167-8

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Cyberspace Safety and Security

11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I

Jaideep Vaidya; Xiao Zhang; Jin Li

978-3-030-37337-5

2019
Edition 1
€100
Stochastic Modelling and Filtering

Proceedings of the IFIP-WG 7/1 Working Conference, Rome, Italy, December 10–14, 1984

Alfredo Germani

978-3-540-47461-6

1987
Edition 1
€180
Modeling and Simulation of High Speed VLSI Interconnects

A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Vol. 5, No. 1 (1994)

Michel S. Nakhla; Q.J. Zhang

978-1-4615-2718-3

1994
Edition 1
€180
Operations Research ’93

Extended Abstracts of the 18th Symposium on Operations Research held at the University of Cologne September 1–3, 1993

Achim Bachem; Ulrich Derigs; Michael Jünger; Rainer Schrader

978-3-642-46955-8

1994
Edition 1
€180
Collaboration Technologies and Social Computing

29th International Conference, CollabTech 2023, Osaka, Japan, August 29–September 1, 2023, Proceedings

Hideyuki Takada; D. Moritz Marutschke; Claudio Alvarez; Tomoo Inoue; Yugo Hayashi; Davinia Hernandez-Leo

978-3-031-42141-9

2023
Edition 1
€130
Electromagnetic Surface Excitations

Proceedings of an International Summer School at the Ettore Majorana Centre, Erice, Italy, July 1–13, 1985

Richard F. Wallis; Theodor Tamir; George I. Stegeman

978-3-642-82715-0

1986
Edition 1
€180
Evolutionary Computation in Combinatorial Optimization

16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Francisco Chicano; Bin Hu; Pablo García-Sánchez

978-3-319-30698-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005

Roman Barták; Michela Milano

978-3-540-32264-1

2005
Edition 1
€100
Computer Performance Engineering

12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

Marta Beltrán; William Knottenbelt; Jeremy Bradley

978-3-319-23267-6

2015
Edition 1
€94
Advances in Intelligent Computing Techniques and Applications

Intelligent Systems, Intelligent Health Informatics, Intelligent Big Data Analytics and Smart Computing, Volume 1

Faisal Saeed; Fathey Mohammed; Yousef Fazea

978-3-031-59711-4

2024
Edition 1
- Focuses on recent topics in data science, health informatics, intelligent systems, smart computing
- Outcomes of the 7th International Conference of Reliable Information and Communication Technology IRICT 2023
- Presents emerging trends in intelligent computing and informatics
€459
Applied Intelligence and Informatics

Second International Conference, AII 2022, Reggio Calabria, Italy, September 1–3, 2022, Proceedings

Mufti Mahmud; Cosimo Ieracitano; M. Shamim Kaiser; Nadia Mammone; Francesco Carlo Morabito

978-3-031-24801-6

2022
Edition 1
€180
Knowledge Engineering and the Semantic Web

5th International Conference, KESW 2014, Kazan, Russia, September 29--October 1, 2014. Proceedings

Pavel Klinov; Dmitry Mouromtsev

978-3-319-11716-4

2014
Edition 1
€100
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part I

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78107-0

2025
Edition 1
€146
Games and Learning Alliance

12th International Conference, GALA 2023, Dublin, Ireland, November 29 – December 1, 2023, Proceedings

Pierpaolo Dondio; Mariana Rocha; Attracta Brennan; Avo Schönbohm; Francesca de Rosa; Antti Koskinen; Francesco Bellotti

978-3-031-49065-1

2024
Edition 1
€220
Inductive Logic Programming

13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings

Tamas Horváth; Akihiro Yamamoto

978-3-540-39917-9

2003
Edition 1
€100
Detection of Intrusions and Malware, and Vulnerability Assessment

19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 –July 1, 2022, Proceedings

Lorenzo Cavallaro; Daniel Gruss; Giancarlo Pellegrino; Giorgio Giacinto

978-3-031-09484-2

2022
Edition 1
€140
Genetic Programming

8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings

Maarten Keijzer; Andrea Tettamanzi; Pierre Collet; Jano van Hemert; Marco Tomassini

978-3-540-31989-4

2005
Edition 1
€100
Advances in Explainable Agentic AI and Large Language Models.

Second International Workshop, CALM 2025, Luxembourg City, Luxembourg, December 1-5, 2025, Proceedings

Yazan Mualla; Liuwen Yu; Hui Zhao; Amro Najjar; Davide Liga

978-3-032-20548-3

2026
Edition 1
Not published yet

Available from
2026-04-09
Theoretical Aspects of Software Engineering

18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings

Wei-Ngan Chin; Zhiwu Xu

978-3-031-64626-3

2024
Edition 1
€220
Advances in Photosynthesis Research

Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983 Volume 2

C. Sybesma

978-94-017-6368-4

1984
Edition 1
€100
Evolution in Computational Intelligence

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 1

Vikrant Bhateja; Preeti Patel; Vipin Khattri

978-3-032-18849-6

2026
Edition 1
- Presents research works in intelligent data engineering and analytics
- Provides results of FICTA 2025 held at London Metropolitan University, London
- Serves as a reference for researchers and practitioners in academia and industry
Not published yet

Available from
2026-04-14
Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Hartmut Ehrig; Gregor Engels; Francesco Parisi-Presicce; Grzegorz Rozenberg

978-3-540-30203-2

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Korruption durch Bonuszuwendungen

Strafbarkeit der (Media-)Agentur als Beauftragte im Sinne von § 299 Abs. 1 StGB

David Schmid

978-3-86226-906-8

2013
Edition 1
€93
Knowledge and Systems Sciences

24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 – December 1, 2025, Proceedings

Xijin Tang; Haoxiang Xia; Van Nam Huynh; Xianneng Li

978-981-95-4990-0

2026
Edition 1
€150
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Jules Desharnais; Walter Guttmann; Stef Joosten

978-3-030-02149-8

2018
Edition 1
€100
Ergodic Concepts in Stellar Dynamics

Proceedings of an International Workshop Held at Geneva Observatory University of Geneva, Switzerland, 1–3 March 1993

V.G. Gurzadyan; D. Pfenniger

978-3-540-48386-1

1994
Edition 1
€180
Artificial Intelligence and Cognitive Sciences for Emerging Technologies

Proceedings of the International Conference on Artificial Intelligence and Cognitive Science for Emerging Technologies (AICSET 2025), Volume 1

Naoufal Rouky; Fatima Ezzahraa Ben Bouazza; Amir Hussain; Brahim El Bhiri; Lewis Nkenyereye; Edeh Michael Onyema; Hanane Lamaazi

978-3-032-11411-2

2026
Edition 1
- Offers recent research on Artificial Intelligence and Cognitive Sciences for Emerging Technologies
- Highlights advances in machine learning methodologies and their practical applications
- Written by experts in the field
€400

Not published yet

Available from
2026-04-22
Economic Consequences of Population Change in Industrialized Countries

Proceedings of the Conference on Population Economics Held at the University of Paderborn, West Germany, June 1–3, 1983

G. Steinmann

978-3-642-86478-0

1984
Edition 1
€180
Futuristic Computational Systems and Advanced Engineering for the Society

Proceedings of the 6th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2024, Volume 1

D. Jude Hemanth; Utku Kose; Nabi Ibadov; Ismail Serkan Uncu; Hamit Armagan

978-3-031-92552-8

2025
Edition 1
- Presents advanced Computational Systems and Advanced Engineering for the Society
- Proceedings of the 6th Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2024
- Written by experts in the field
€419
Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Jim Grundy; Malcolm Newey

978-3-540-49801-8

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Dynamic Competitive Analysis in Marketing

Proceedings of the International Workshop on Dynamic Competitive Analysis in Marketing, Montréal, Canada, September 1–2, 1995

Steffen Jorgensen; Georges Zaccour

978-3-642-45753-1

1996
Edition 1
€180
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Christian Terboven; Bronis R. de Supinski; Pablo Reble; Barbara M. Chapman; Matthias S. Müller

978-3-319-24595-9

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Klaus Havelund; John Penix; Willem Visser

978-3-540-45297-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Genetic Programming

19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Malcolm I. Heywood; James McDermott; Mauro Castelli; Ernesto Costa; Kevin Sim

978-3-319-30668-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda

978-3-642-17164-2

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100
Stabilization, Safety, and Security of Distributed Systems

16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Pascal Felber; Vijay Garg

978-3-319-11764-5

2014
Edition 1
€100
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 1: Gesamtdarstellung und biografische Porträts

Jugendwerk der Deutschen Shell

978-3-322-95920-1

1992
Edition 1
€201
Computational Intelligence and Industrial Applications

11th International Symposium, ISCIIA 2024, Beijing, China, November 1–5, 2024, Proceedings, Part I

Bin Xin; Hongbin Ma; Jinhua She; Weihua Cao

978-981-96-4753-8

2025
Edition 1
€170
Neural Information Processing

16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I

Chi-Sing Leung; Minho Lee; Jonathan H. Chan

978-3-642-10677-4

2009
Edition 1
€280
Provable Security

Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Joon Sang Baek; Feng Bao; Kefei Chen; Xuejia Lai

978-3-540-88733-1

2008
Edition 1
€100
Few-Body Problems in Physics ’98

Proceedings of the 16th European Conference on Few-Body Problems in Physics, Autrans, France, June 1–6, 1998

Bertrand Desplanques; Konstantin Protasov; Bernard Silvestre-Brac; Jaume Carbonell

978-3-7091-6798-4

1999
Edition 1
€100
Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock

978-3-642-14808-8

2010
Edition 1
- Up to date results
- Fast conference prceedings
- State-of-the-art report
€100
Euro-Par 2000 Parallel Processing

6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

Arndt Bode; Thomas Ludwig; Wolfgang Karl; Roland Wismüller

978-3-540-44520-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Engineering Secure Software and Systems

5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Jan Jürjens; Ben Livshits; Riccardo Scandariato

978-3-642-36563-8

2013
Edition 1
- State of the art research
- Up to date results
- Fast track conference proceedings
€90
High-Performance Computing and Networking

International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications

Wolfgang Gentzsch; Uwe Harms

978-3-540-48406-6

1994
Edition 1
€100
Rewriting Techniques and Applications

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Tobias Nipkow

978-3-540-69721-3

1998
Edition 1
€100
Artificial Intelligence and Its Practical Applications in the Digital Economy

Proceedings of the International Conference on Artificial Intelligence and Its Practical Applications in the Age of Digital Transformation 2024, Volume 1

Yahya Mohamed Elhadj; Mohamedade Farouk Nanne; Anis Koubaa; Farid Meziane; Mohamed Deriche

978-3-031-71426-9

2024
Edition 1
- Presents recent research on Artificial Intelligence and its Practical Applications in the Digital Economy
- Proceedings of the International Conference on Artificial Intelligence and its Practical Applications in the Age of Digital Transformation 2024
- Written by respected experts in the field
€400
Non-Commutative Harmonic Analysis

Actes du Colloque d'Analyse Harmonique Non-Commutative, Marseille-Luminy, 1-5 Juillet 1974

J. Carmona; J. Dixmier; M. Vergne

978-3-540-37524-1

1975
Edition 1
€69
Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems

Proceedings of FAIM 2023, June 18–22, 2023, Porto, Portugal, Volume 1: Modern Manufacturing

Francisco J. G. Silva; António B. Pereira; Raul D. S. G. Campilho

978-3-031-38241-3

2024
Edition 1
- Reports on innovative manufacturing processes, systems, and technologies
- Highlights applications of machine learning and automation strategies in manufacturing
- First volume of a 2-volume set
€539

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.