語系
Gathen, Joachim von zur.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
Field Theory and Polynomials.
Data structures (Computer science)
Electrical engineering.
Communications Engineering, Networks.
Theory of Computation.
Computer Science.
Programming Techniques.
Mappings (Mathematics)
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Number Theory.
Data Structures, Cryptology and Information Theory.
Computer systems
Computer science.
Finite fields (Algebra)
Curves, Algebraic
Computers.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Number theory.
Algebra.
Field theory (Physics)