Electronic Books

Total Books: 1 - 20 /420
978-3-540-35477-2
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 ...

Continue reading
978-1-84800-121-3
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 ...

Continue reading
978-0-387-73384-5
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, ...

Continue reading
978-0-387-36123-9
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

Continue reading
978-0-387-27006-7
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Continue reading
978-3-540-77503-4
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 ...

Continue reading
978-3-540-79860-6
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 ...

Continue reading
978-3-540-77505-8
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Continue reading
978-3-540-77505-8
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Continue reading
978-3-540-76929-3
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 ...

Continue reading
978-3-540-76929-3
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 ...

Continue reading
978-3-540-47704-4
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 ...

Continue reading
978-3-540-76292-8
Advances in Conceptual Modeling – Foundations and Applications

This book Covering data warehouses, security, model transformation, state diagrams development and model quality.

Continue reading
978-3-540-76292-8
Advances in Conceptual Modeling – Foundations and Applications

This book Covering data warehouses, security, model transformation, state diagrams development and model quality.

Continue reading
978-3-030-82472-3
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 ...

Continue reading
978-3-540-68083-3
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 ...

Continue reading
978-3-540-31865-1
Advances in Information Retrieval (vol. # 3408)

These volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, ...

Continue reading
978-3-540-33348-7
Advances in Information Retrieval (vol. # 3936)

The These proceedings contain the refereed papers and posters presented at the 28 Annual European Conference on Information ...

Continue reading
978-3-030-74251-5
Advances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021, Proceedings

This book constitutes the proceedings of the 19th International Symposium on Intelligent Data Analysis, IDA 2021, which was ...

Continue reading
978-3-030-44584-3
Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings

This book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in ...

Continue reading
Total Books: 1 - 20 /420