License single eBooks

Your results

View Cart

Advances in Computational Intelligence Systems

Contributions Presented at The 24th UK Workshop on Computational Intelligence (UKCI 2025), September 3-5, 2025, Edinburgh, UK

Emma Hart; Tomas Horvath; Zhiyuan Tan; Sarah Thomson

978-3-032-07938-1

2026
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 24th UK Workshop on Computational Intelligence
€400
Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Rajeev Alur; Thomas Henzinger

978-3-540-68599-9

1996
Edition 1
€100
Advanced Data Mining and Applications

20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part IV

Quan Z. Sheng; Gill Dobbie; Jing Jiang; Xuyun Zhang; Wei Emma Zhang; Yannis Manolopoulos; Jia Wu; Wathiq Mansoor; Congbo Ma

978-981-96-0840-9

2025
Edition 1
€146
Metadata and Semantic Research

15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers

Emmanouel Garoufallou; María-Antonia Ovalle-Perandones; Andreas Vlachidis

978-3-030-98876-0

2022
Edition 1
€160
Information Retrieval Technology

10th Asia Information Retrieval Societies Conference, AIRS 2014, Kuching, Malaysia, December 3-5, 2014. Proceedings

Azizah Jaafar; Nazlena Mohamad Ali; Shahrul Azman Mohd Noah; Alan F. Smeaton; Peter Bruza; Zainab Abu Bakar; Nursuriati Jamil; Tengku Mohd Tengku Sembok

978-3-319-12844-3

2014
Edition 1
€100
Advances in Digital Forensics XVIII

18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers

Gilbert Peterson; Sujeet Shenoi

978-3-031-10078-9

2022
Edition 1
€180
Advances in Cryptology - ASIACRYPT 2000

6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000 Proceedings

Tatsuaki Okamoto

978-3-540-44448-0

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Recent Advances in Parallel Virtual Machine and Message Passing Interface

14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings

Franck Capello; Thomas Herault; Jack Dongarra

978-3-540-75416-9

2007
Edition 1
€100
Numerical Analysis and Its Applications

Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers

Zhilin Li; Lubin Vulkov; Jerzy Wásniewski

978-3-540-31852-1

2005
Edition 1
€180
Advances in Multimedia Information Processing - PCM 2004

5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part III

Kiyoharu Aizawa; Yuichi Nakamura; Shin'ichi Satoh

978-3-540-30543-9

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Stephan Merz; Jun Pang

978-3-319-11737-9

2014
Edition 1
€100
Ill-posed Variational Problems and Regularization Techniques

Proceedings of the “Workshop on Ill-Posed Variational Problems and Regulation Techniques” held at the University of Trier, September 3–5, 1998

Michel Thera; Rainer Tichatschke

978-3-642-45780-7

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Security and Privacy in Communication Networks

8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers

Angelos D. Keromytis; Roberto Di Pietro

978-3-642-36883-7

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

7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers

Frédéric Cuppens; Joaquin Garcia-Alfaro; Nur Zincir Heywood; Philip W. L. Fong

978-3-319-17040-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Infinity in Logic and Computation

International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Margaret Archibald; Vasco Brattka; Valentin F. Goranko; Benedikt Löwe

978-3-642-03092-5

2009
Edition 1
€100
Computer Vision and Image Processing

6th International Conference, CVIP 2021, Rupnagar, India, December 3–5, 2021, Revised Selected Papers, Part I

Balasubramanian Raman; Subrahmanyam Murala; Ananda Chowdhury; Abhinav Dhall; Puneet Goyal

978-3-031-11346-8

2022
Edition 1
€200
Mathematical and Computational Modelling Across the Scales

Lecture Notes of the XX Jacques-Louis Lions Spanish-French School, Barcelona, Spain, July 3-7, 2023

Pedro Diez; Matteo Giacomini

978-3-031-84897-1

2025
Edition 1
- Gathers the contributions of the courses and keynote lectures delivered during the school
- Encompasses contributions on modelling and numerical methods, for direct and inverse problems
- Written by leading experts in the field
€280
Sn Organotin Compounds

Part 17: Organotin-Oxygen Compounds of the Types RSn(OR′)3 and RSn(OR′)2OR″; R2Sn(X)OR′, RSnX(OR′)2, and RSnX2(OR′)

Rainer Bohrer; Herbert Schumann; Ulrich Krüerke; Bernd Kalbskopf; Ingeborg Schumann; Hans-Jürgen Richter-Ditten

978-3-662-09150-0

1989
Edition 8
€160
Advanced Data Mining and Applications

20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part VI

Quan Z. Sheng; Gill Dobbie; Jing Jiang; Xuyun Zhang; Wei Emma Zhang; Yannis Manolopoulos; Jia Wu; Wathiq Mansoor; Congbo Ma

978-981-96-0850-8

2025
Edition 1
€130
Telematics and Computing

14th International Congress of Telematics and Computing, WITCOM 2025, Huatulco, Mexico, November 3–7, 2025, Proceedings, Part I

Miguel Félix Mata-Rivera; Roberto Zagal-Flores; Cristian Barria-Huidobro

978-3-032-09735-4

2026
Edition 1
€180
Advances in Neural Networks - ISNN 2007

4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part I

Derong Liu; Shumin Fei; Zeng-Guang Hou; Huaguang Zhang; Changyin Sun

978-3-540-72383-7

2007
Edition 1
€280
Computer Science – CACIC 2022

28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3–6, 2022, Revised Selected Papers

Patricia Pesado

978-3-031-34147-2

2023
Edition 1
€160
Theory of Cryptography

14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I

Martin Hirt; Adam Smith

978-3-662-53641-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Contaminated Soil ’95

Proceedings of the Fifth International FZK/TNO Conference on Contaminated Soil, 30 October–3 November 1995, Maastricht, The Netherlands

W.J. van den Brink; R. Bosman; F. Arendt

978-94-011-0415-9

1995
Edition 1
€280
Pearl 93

Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 2./3. Dezember 1993

Peter Holleczek

978-3-642-78658-7

1993
Edition 1
€201
Pattern Recognition and Image Analysis

12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 – July 3, 2025, Proceedings, Part II

Nuno Gonçalves; Hélder P. Oliveira; Joan Andreu Sánchez

978-3-031-99568-2

2026
Edition 1
€260
The Significance and Regulation of Soil Biodiversity

Proceedings of the International Symposium on Soil Biodiversity, held at Michigan State University, East Lansing, May 3–6, 1993

Harold P. Collins; G. Philip Robertson; Michael J. Klug

978-94-011-0479-1

1995
Edition 1
€280
Rule-Based Modeling and Computing on the Semantic Web

5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings

Monica Palmirani; Davide Sottara

978-3-642-24908-2

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Informatics in Economy

15th International Conference, IE 2016, Cluj-Napoca, Romania, June 2-3, 2016, Revised Selected Papers

Gheorghe Cosmin Silaghi; Robert Andrei Buchmann; Catalin Boja

978-3-319-73459-0

2018
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Models in Software Engineering

Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Michel R. V. Chaudron

978-3-642-01648-6

2009
Edition 1
€100
Kommunikation in Verteilten Systemen (KiVS) 2005

14. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005), Kaiserslautern, 28. Februar - 3. März 2005

Paul Müller; Reinhard Gotzhein; Jens B. Schmitt

978-3-540-27301-1

2005
Edition 1
€374
Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Christoph Benzmüller; Marijn J.H. Heule; Renate A. Schmidt

978-3-031-63501-4

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I

Hermann Lödding; Ralph Riedel; Klaus-Dieter Thoben; Gregor von Cieminski; Dimitris Kiritsis

978-3-319-66923-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Man-Machine Interactions 5

5th International Conference on Man-Machine Interactions, ICMMI 2017 Held at Kraków, Poland, October 3-6, 2017

Aleksandra Gruca; Tadeusz Czachórski; Katarzyna Harezlak; Stanisław Kozielski; Agnieszka Piotrowska

978-3-319-67792-7

2018
Edition 1
- Recent research on Man-Machine Interactions
- Proceedings of the International Conference on Man-Machine Interactions ICMMI 2017 held in October 2017 in Poland
- Written by leading experts in the field
€400
Advances in Multimedia Information Processing - PCM 2004

5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part II

Kiyoharu Aizawa; Yuichi Nakamura; Shin'ichi Satoh

978-3-540-30542-2

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€280
Implementation and Application of Functional Languages

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill; Jurriaan Hage

978-3-642-34407-7

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90
Advances in Conceptual Modeling

ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings

Georg Grossmann; Sudha Ram

978-3-030-65847-2

2020
Edition 1
€100
CKBS ’90

Proceedings of the International Working Conference on Cooperating Knowledge Based Systems 3–5 October 1990, University of Keele, UK

S.M. Deen

978-1-4471-1831-2

1991
Edition 1
€100
PCs in der betrieblichen Datenverarbeitung

Anwendung — Organisation — Technik Beiträge des 3. deutschen PC-Kongresses 1985, durchgeführt von ASB, BIFOA, GMI

Dietrich Seibt; Helmut Weber

978-3-322-86047-7

1986
Edition 1
€201
Silicon Valley Cybersecurity Conference

Second Conference, SVCC 2021, San Jose, CA, USA, December 2–3, 2021, Revised Selected Papers

Sang-Yoon Chang; Luis Bathen; Fabio Di Troia; Thomas H. Austin; Alex J. Nelson

978-3-030-96057-5

2022
Edition 1
€40
Differential Geometrical Methods in Mathematical Physics

Proceedings of the Conference Held at Aix-en-Provence, September 3-7, 1979 and Salamanca, September 10-14, 1979

P. L. Garcia; A. Perez-Rendon; J. M. Souriau

978-3-540-38405-2

1980
Edition 1
€88
Financial Cryptography and Data Security

18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers

Nicolas Christin; Reihaneh Safavi-Naini

978-3-662-45472-5

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Recent Trends in Image Processing and Pattern Recognition

Third International Conference, RTIP2R 2020, Aurangabad, India, January 3–4, 2020, Revised Selected Papers, Part I

K. C. Santosh; Bharti Gawali

978-981-16-0507-9

2021
Edition 1
€180
Advances in Design and Digital Communication III

Proceedings of the 6th International Conference on Design and Digital Communication, Digicom 2022, November 3–5, 2022, Barcelos, Portugal

Nuno Martins; Daniel Brandão

978-3-031-20364-0

2023
Edition 1
- Discusses timely topics at the intersection between design and digital communication
- Describes some challenges that digital media causes to brands, institutions, education and society
- Proposes practical solutions to current questions in the area of communication design
€438
Security and Privacy in Mobile Information and Communication Systems

First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers

Shiguo Lian

978-3-642-04434-2

2009
Edition 1
€100
Applications of Fibonacci Numbers

Volume 3 Proceedings of ‘The Third International Conference on Fibonacci Numbers and Their Applications’, Pisa, Italy, July 25–29, 1988

G.E. Bergum; Andreas N. Philippou; Alwyn F. Horadam

978-94-009-1910-5

1990
Edition 1
€180
Intelligent Computers, Algorithms, and Applications

Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3–6, 2023, Revised Selected Papers

Christophe Cruz; Yanchun Zhang; Wanling Gao

978-981-97-0065-3

2024
Edition 1
€160
Financial Cryptography and Data Security

9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers

Andrew S. Patrick; Moti Yung

978-3-540-31680-0

2005
Edition 1
€100
General Relativity and Gravitation

Invited Papers and Discussion Reports of the 10th International Conference on General Relativity and Gravitation, Padua, July 3–8, 1983

B. Bertotti; F. de Felice; Alessandro Pascolini

978-94-009-6469-3

1984
Edition 1
€220
The Practice of Enterprise Modeling

4th IFIP WG 8.1 Working Conference, PoEM 2011 Oslo, Norway, November 2-3, 2011 Proceedings

Paul Johannesson; John Krogstie; Andreas L. Opdahl

978-3-642-24849-8

2011
Edition 1
€100

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.