Hakutulokset: corrections
Etsimme kuitenkin kirjoja hakusanalla corrections , mikä antoiyhteensä 27 hakutulosta
Computer Programs for Spelling Correction
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the strictly refereed proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-12, held in …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the refereed proceedings of the 19th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-13, held in Honolulu, …
Correct Hardware Design and Verification Methods
CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware …
Correct Hardware Design and Verification Methods
This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the …
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 present volume contains the proceedings of the AAECC-5 Conference held at Menorca (Balearic Islands), June 15-19, 1987. The annual International AAECC Conference covers a range …
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 Reasoning
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir …