A Computational Model of Natural Language Communication
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
اقرأ المزيد
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
اقرأ المزيد
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
اقرأ المزيد
Active Conceptual Modeling of Learning
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
اقرأ المزيد
Adaptive Multimedial Retrieval: Retrieval, User, and Semantics : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
اقرأ المزيد
Advances in Computer Science – ASIAN 2007. Computer and Network Security
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
اقرأ المزيد
Advances in Computer Science – ASIAN 2007. Computer and Network Security
This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
اقرأ المزيد
Advances in Conceptual Modeling - Theory and Practice
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International ...
اقرأ المزيد
Advances in Conceptual Modeling – Foundations and Applications
This book Covering data warehouses, security, model transformation, state diagrams development and model quality.
اقرأ المزيد
Advances in Conceptual Modeling – Foundations and Applications
This book Covering data warehouses, security, model transformation, state diagrams development and model quality.
اقرأ المزيد
Advances in Databases and Information Systems : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS ...
اقرأ المزيد
Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC ...
اقرأ المزيد
Advances in Information Retrieval
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...
اقرأ المزيد
Advances in Information Retrieval
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital ...
اقرأ المزيد
