Takayasu Ito

  1. home
  2. Author
  3. Takayasu Ito
Takayasu Ito

13 Published BooksTakayasu Ito

Popular Books by Takayasu Ito

Parallel Lisp: Languages and Systems (Lecture Notes in Computer Science)
Parallel Lisp: Languages and Systems (Lecture Notes in Computer Science)
View More

Parallel Lisp: Languages and Systems (Lecture Notes in Computer Science)

By: Takayasu Ito
Theory and practice of parallel programming: International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings (Lecture notes in computer science)
Theory and practice of parallel programming: International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings (Lecture notes in computer science)
View More

Theory and practice of parallel programming: International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings (Lecture notes in computer science)

By: Takayasu Ito
Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings (Lecture Notes in Computer Science, 907)
Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings (Lecture Notes in Computer Science, 907)
View More

Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings (Lecture Notes in Computer Science, 907)

By: Akinori Yonezawa
Parallel Symbolic Languages and Systems: International Workshop Psls'95, Beaune, France, October 2-4, 1995 : Proceedings (Lecture Notes in Computer Science, 1068)
Parallel Symbolic Languages and Systems: International Workshop Psls'95, Beaune, France, October 2-4, 1995 : Proceedings (Lecture Notes in Computer Science, 1068)
View More

Parallel Symbolic Languages and Systems: International Workshop Psls'95, Beaune, France, October 2-4, 1995 : Proceedings (Lecture Notes in Computer Science, 1068)

By: Takayasu Ito
Parallel and Distributed Computing for Symbolic and Irregular Applications - Proceedings of the International Workshop Pdsia  (Tm)99
Parallel and Distributed Computing for Symbolic and Irregular Applications - Proceedings of the International Workshop Pdsia  (Tm)99
View More

Parallel and Distributed Computing for Symbolic and Irregular Applications - Proceedings of the International Workshop Pdsia  (Tm)99

By: Takayasu Ito
Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
View More

Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings (Lecture Notes in Computer Science, 526)

By: Takayasu Ito
Mathematical Theory of Programs (2010) ISBN: 4883617831 [Japanese Import]
Mathematical Theory of Programs (2010) ISBN: 4883617831 [Japanese Import]
View More

Mathematical Theory of Programs (2010) ISBN: 4883617831 [Japanese Import]

By: Takayasu Ito
Constructive Logics for Program Correctness and Verification, Revised Edition
Constructive Logics for Program Correctness and Verification, Revised Edition
View More

Constructive Logics for Program Correctness and Verification, Revised Edition

By: Takayasu Ito
Constructive Logics for Program Correctness and Verification (2010) ISBN: 4883617580 [Japanese Import]
Constructive Logics for Program Correctness and Verification (2010) ISBN: 4883617580 [Japanese Import]
View More

Constructive Logics for Program Correctness and Verification (2010) ISBN: 4883617580 [Japanese Import]

By: Takayasu Ito
Mugen kūkan
Mugen kūkan
View More

Mugen kūkan

By: Takayasu Ito