Languages
Gathen, Joachim von zur.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
25 Years of Model CheckingHistory, Achievements, Perspectives /
by:
Gathen, Joachim von zur.; Imana, Jose L.; Koc, Cetin K.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.
Algorithm Analysis and Problem Complexity.
Computer systems
Programming Techniques.
Computers.
Curves, Algebraic
Algorithms.
Programming Languages, Compilers, Interpreters.
Field theory (Physics)
Electrical engineering.
Number Theory.
Field Theory and Polynomials.
Mappings (Mathematics)
Coding and Information Theory.
Finite fields (Algebra)
Data Encryption.
Computer Science.
Discrete Mathematics in Computer Science.
Computer science.
Symbolic and Algebraic Manipulation.