Koc, Cetin K.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
25 Years of Model Checking = History, Achievements, Perspectives /
by:
Koc, Cetin K.; Gathen, Joachim von zur.; Imana, Jose L.; SpringerLink (Online service)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.