Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
WeiterlesenThis easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
WeiterlesenThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
WeiterlesenPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
WeiterlesenProbabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
WeiterlesenThis volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...
WeiterlesenThis book cover theory, practice, applications, and experiences related to secure software.
WeiterlesenThis book cover theory, practice, applications, and experiences related to secure software.
WeiterlesenThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
WeiterlesenThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
WeiterlesenThis book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International ...
WeiterlesenThis book Covering data warehouses, security, model transformation, state diagrams development and model quality.
WeiterlesenThis book Covering data warehouses, security, model transformation, state diagrams development and model quality.
WeiterlesenThis book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS ...
WeiterlesenThis book constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC ...
WeiterlesenThese volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, ...
WeiterlesenThe These proceedings contain the refereed papers and posters presented at the 28 Annual European Conference on Information ...
WeiterlesenThis book constitutes the proceedings of the 19th International Symposium on Intelligent Data Analysis, IDA 2021, which was ...
WeiterlesenThis book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in ...
Weiterlesen