25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Lire la suite
Advanced Man-Machine Interaction
Man-machine interaction is the gateway providing access to functions and services, which, due to the ever increasing complexity ...
Lire la suite
Advances in Telerobotics
The main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Beyond Media Borders, Volume 1 Intermedial Relations among Multimodal Media
This book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, ...
Lire la suite
Beyond Media Borders, Volume 2 Intermedial Relations among Multimodal Media
This book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Computer Vision - ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European ...
Lire la suite
Designing Virtual Reality Systems
Virtual Reality (VR) is a field of study that aims to create a system that provides a synthetic experience for its users. ...
Lire la suite
Diagrammatic Representation and Inference
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...
Lire la suite
Engineering Human Computer Interaction and Interactive Systems
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research ...
Lire la suite
Evaluation of Text and Speech Systems
Provides an overview of the state-of-the-art and best practice in several sub-fields of evaluation of text and speech systems ...
Lire la suite
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suite
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suite
Foundations of Software Science and Computation Structures
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lire la suite
Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suite
