Hakutulokset: corrections
Etsimme kuitenkin kirjoja hakusanalla corrections , mikä antoiyhteensä 27 hakutulosta
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the proceedings of the 11th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, held in Paris, France in …
Compositionality, Concurrency, and Partial Correctness
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The AAECC conferences focus on the algebraic aspects of modern computer science, which include the most up-to-date and advanced topics. The topic of error-correcting codes is one …
Computer Programs for Spelling Correction
Correct System Design
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as …
Correct Hardware Design and Verification Methods
This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
TheAAECCsymposiumwasstartedinJune1983byAlainPoli(Toulouse),who, together with Roger Desq, Daniel Lazard, and Paul Camion, organized the ?rst conference. The meaning of the acronym …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
In 1988, for the first time, the two international conferences AAECC-6 and ISSAC'88 (International Symposium on Symbolic and Algebraic Computation, see Lecture Notes in Computer …
Correct Hardware Design and Verification Methods
Thisvolumeconstitutestheproceedingsofthe2005 Advanced Research Working C- ference on Correct Hardware-like Design and Veri?cation Methods. CHARME 2005 …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The AAECC conferences focus on the algebraic aspects of modern computer science, which includes the most up-to-date and advanced topics. The topic of error-correcting codes is …