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