Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lire la suiteRecent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Lire la suiteThis volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lire la suiteThis book, inspired by the ICME 13 topic study group “Affect, beliefs and identity in mathematics education”, presents ...
Lire la suiteThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...
Lire la suiteThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThought leaders from universities and professional practice composed essays exploring BIM's potential to improve the products ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suiteThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Lire la suiteBy highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the ...
Lire la suiteThis book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite