Koc, Cetin K.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Cryptographic hardware and embedded systemsFirst International Workshop, CHES '99, Worcester, MA, USA, August 1999 : proceedings /
by:
(1998 :); Koc, Cetin K.; Paar, Christof.; SpringerLink (Online service)
(書目-電子資源)
Arithmetic of Finite Fields2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
(1998 :); Gathen, Joachim von zur.; Imana, Jose L.; Koc, Cetin K.; SpringerLink (Online service)
(書目-電子資源)
25 Years of Model CheckingHistory, Achievements, Perspectives /
by:
Gathen, Joachim von zur.; Imana, Jose L.; Koc, Cetin K.; SpringerLink (Online service)
(書目-電子資源)
Cryptographic hardware and embedded systems - CHES 2000second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings /
by:
(1998 :); Koc, Cetin K.; Paar, Christof.; SpringerLink (Online service)
(書目-電子資源)
Cryptographic hardware and embedded systems - CHES 2001third international workshop, Paris, France, May 14-16, 2001 : proceedings /
by:
(1998 :); Koc, Cetin K.; Naccache, David.; Paar, Christof.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computer systems
Programming Techniques.
Cryptography
Curves, Algebraic
Algorithms.
Programming Languages, Compilers, Interpreters.
Mappings (Mathematics)
Coding and Information Theory.
Finite fields (Algebra)
Data Encryption.
Embedded computer systems.
Computer security
Embedded computer systems
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.