Hakutulokset: corrections
Etsimme kuitenkin kirjoja hakusanalla corrections , mikä antoiyhteensä 27 hakutulosta
Composability, Comprehensibility and Correctness of Working Software
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included …
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 …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The 25 revised full papers presented here together with 7 invited papers address subjects such as block codes; algebra and codes: rings, fields, and AG codes; cryptography; …
Correct Hardware Design and Verification Methods
Thisvolumeconstitutestheproceedingsofthe2005 Advanced Research Working C- ference on Correct Hardware-like Design and Veri?cation Methods. CHARME 2005 …
List Decoding of Error-Correcting Codes
How can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated extensively starting with the seminal works of …
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 …
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
The AAECC Symposia Series was started in 1983 by Alain Poli (Toulouse), who, together with R. Desq, D. Lazard, and P. Camion, organized the ?rst conference. Originally the acronym …
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
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, …