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