Ogihara, Mitsunori.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
An introduction to theory of computationan algorithmic approach /
by:
Ogihara, Mitsunori.; SpringerLink (Online service)
(書目-電子資源)
Theory and applications of models of computation8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings /
by:
(1998 :); Ogihara, Mitsunori.; SpringerLink (Online service); Tarui, Jun.
(書目-電子資源)
主題
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Logics and Meanings of Programs.
Machine theory.
Algorithm Analysis and Problem Complexity.
Java (Computer program language)
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computational Complexity.
Computer science
Formal Languages and Automata Theory.
Computer Science.
Discrete Mathematics in Computer Science.
Java.
Models of Computation.