Koc, Cetin K.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
25 Years of Model Checking = History, Achievements, Perspectives /
by:
Koc, Cetin K.; Gathen, Joachim von zur.; Imana, Jose L.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
Imana, Jose L.; WAIFI 2008 ((2008 :); SpringerLink (Online service); Gathen, Joachim von zur.; Koc, Cetin K.
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Coding and Information Theory.
Symbolic and Algebraic Manipulation.
Computer systems
Finite fields (Algebra)
Curves, Algebraic
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Mappings (Mathematics)
Programming Languages, Compilers, Interpreters.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.