[Lecture Notes in Computer Science] Logical Foundations of Computer Science — Tver '92 Volume 620 || MSL — A Mathematical Specification Language
- 作者Nerode, Anil; Taitslin, Mikhail
- 文件大小382.46KB
- 发表时间1992
- DOI10.1007/bfb0023884
- 页码305-313
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Elektrosmog & electromagnetic CADGentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Supercomputing in polymer researchGentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Parallel computing for weather predictionGentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || EUROPORT — ESPRIT European porting projectsGentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 797 || Evaluation of Parallel Operating SystemsGentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Parallel magnetohydrodynamics on the CM-5Gentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Conceiving computationally intensive approaches to visionGentzsch, Wolfgang; Harms, Uwe · 1994
[Lecture Notes in Computer Science] High-Performance Computing and Networking Volume 796 || Computer simulations of molecular collision processesGentzsch, Wolfgang; Harms, Uwe · 1994