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