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