Semantics for interactive higher-order functional-logic programming
Termination of higher-order rewrite systems
Efficient and reusable implementation of fine-grain multithreading and garbage collection on distributed-memory parallel computers
Theoretical foundation of model management in decision support systems and its implementation
Order of proof. China phase -- Subdivision One
Order preserving operator inequality and its applications
Additional Order of Proof. Division II - Subdivision 5
Additional order of proof. Manchurian Division. Sub division -- Independence of Manchukuo Section 3 and 4
Revised order of proof (7 April). Division II-E
Fast multiple-precision arithmetic on distributed memory parallel computers and its applications
A study on adaptable system model and its application to desktop publishing system
Structural analysis of probabilistic and parallel algorithms
A CASE tool platform for object-oriented program -Japid : its design and implementation
Development of a New Electrical Stimulation System and Its Therapeutic Application to Spastic Paralysis
Design and analysis of parallel analog image processors
Parallel computational complexity and date-transfer complexity of supercomputing
Study of the data assimilation system for ocean surface circulations and its application to the umerical forecasting
Map of Kyoto and its Suburbs
Map of Edo and Its Environs
Modeling of Purex process and its simulation
A Game of Cards and its Box
Proceedings of the ... International Symposium on Parallel Architectures, Algorithms, and Networks...
Design, fault test and fault tolerance of cellular arrays on multiple-valued logic
Divergent diagrams of smooth mappings and its applications
最終更新日:
登録日: 2020-12-17