Wyniki wyszukiwania dla: Kazuhiko Kakehi
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 154-168
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Analysis > 106-107
Lecture Notes in Computer Science > Euro-Par 2010 - Parallel Processing > Topic 9: Parallel and Distributed Programming > 26-37
Lecture Notes in Computer Science > Euro-Par 2004 Parallel Processing > Topic 10: Parallel Programming: Models, Methods and Languages > 644-653
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformation and Equivalence > 46-56
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 379-396
International Journal of Parallel Programming > 2007 > 35 > 6 > 615-658
International Journal of Human - Computer Studies > 2004 > 60 > 4 > 455-468
Neuroscience Letters > 2003 > 348 > 2 > 113-116
Wuhan University Journal of Natural Sciences > 2001 > 6 > 1-2 > 368-374