Languages
Gathen, Joachim von zur.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
CryptoSchool
by:
SpringerLink (Online service); Gathen, Joachim von zur.
(Language materials, printed)
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.
Field Theory and Polynomials.
Data structures (Computer science)
Electrical engineering.
Communications Engineering, Networks.
Theory of Computation.
Computer Science.
Programming Techniques.
Mappings (Mathematics)
Programming Languages, Compilers, Interpreters.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Number Theory.
Number theory.
Algebra.
Field theory (Physics)
Data Structures, Cryptology and Information Theory.
Computer systems
Computer science.
Finite fields (Algebra)
Curves, Algebraic
Computers.
Discrete Mathematics in Computer Science.