This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Lire la suiteThis Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Lire la suiteThis volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual ...
Lire la suiteThis book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suiteThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suiteThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lire la suiteIt is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, ...
Lire la suiteThis exciting new book covers various types of digital phase lock loops. It presents a comprehensive coverage of a new class ...
Lire la suiteThis comprehensive yet concise book deals with nonlocal elliptic differential operators, whose coefficients involve shifts ...
Lire la suiteThis open access book focuses on investigating predicting precursor information and key points of rockburst in mining engineering ...
Lire la suiteThis proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suiteThis guidebook provides an accessible and all-encompassing compendium on RISC processors, introducing five RISC processors: ...
Lire la suiteThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lire la suite