Masahiko Sato – författare
Visar alla böcker från författaren Masahiko Sato. Handla med fri frakt och snabb leverans.
4 produkter
Advances in Computing Science - ASIAN 2000
6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
Häftad, 2000
569 kr
Lägg i varukorg
The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, …
Advances in Computing Science - ASIAN 2000
6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
E-bok, 2003
755 kr
Lägg i varukorg
The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, …
Logic, Language and Computation
Festschrift in Honor of Satoru Takasu
Av Neil Jones, Masami Hagiya m. fl.
Häftad, 1994
569 kr
Lägg i varukorg
This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity …
FUNCTIONAL AND LOGIC PROGRAMMING: PROCEEDINGS OF THE THIRD FUJI INTERNATIONAL SYMPOSIUM
Av MASAHIKO SATO & YOSHIHITO TOYAMA, Masahiko Sato m. fl.
Inbunden, 1998
1878 kr
Tillfälligt slut
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint …
