TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
スポンサーリンク
概要
著者
-
Matsuda Hiroyuki
Department of Biotechnology, Graduate School of Engineering, Osaka University
-
Yonezawa Akinori
Department Of Information Science Tokyo Institute Of Technology
-
Matsuda Hiroyuki
Department Of Information Science Tokyo Institute Of Technology
-
Matsuda Hiroyuki
Department Of Agricultural Chemistry The University Of Tokyo
-
Yonezawa Akinori
Department of Computer Science, The University of Tokyo
関連論文
- Effect of cell-surface hydrophobicity on bacterial conversion of water-immiscible chemicals in two-liquid-phase culture systems(MICROBIAL PHYSIOLOGY AND BIOTECHNOLOGY)
- Effect of Age and Season Limits for Maximum Sustainable Fisheries in Age-structured Model
- UVP Measurements on Periodic Flow in a Flip-Flop Jet Nozzle
- Harvest-based Bayesian estimation of sika deer populations using state-space models
- Plant-Herbivore Interactions and Theory of Coevolution(THE 25TH SYMPOSIUM)
- Effect of Dietary Vitamin A on Forestomach Tumorigenesis During the Total and Postinitiation Stages in Mice Treated with High- or Low-Dose Benzo(a)pyrene
- Analysis of Intermittent Phenomena for High Energy Multiparticle Production Processes : Particles and Fields
- Modeling the Calcium Gate of Cardiac Gap Junction Channel
- Competition and Evolutionary Stability of Plants in a Spatially Structured Habitat
- Inconsistency between the Per Capita Fecundity and Estimate of the Yearly Egg Production of the Chub Mackerel Scomber japonicus in Japan
- Impacts Per Unit Weight in Catch by Two Types of Fisheries on a Chub Mackerel Population
- Impact Factors of Purse Seine Net and Dip Net Fisheries on a Chub Mackerel Population
- 両側の頸動脈小体腫瘍と両側の副腎褐色細胞腫を切除してから5年後に精索に異所性褐色細胞腫が発生した1例
- Halothane modulates NMDA and non-NMDA excitatory synaptic transmission in rat cortical neurons
- Adaptive management of sika deer populations in Hokkaido, Japan : theory and practice
- Interferon alpha inhibits intrahepatic recurrence in hepatocellular carcinoma with chronic hepatitis C : a pilot study
- Severe interstitial pneumonitis associated with the administration of taxanes
- Rheumatoid arthritis-associated corneal ulceration complicated by bacterial infection
- Pancreatic Angiomatosis : Report of a Case
- Measurement of Isobaric Vapor-Liquid Equilibria for Binary Systems Containing Tetrahydrofuran Using an Automatic Apparatus
- Determination of thiosulfate in a meromictic lake
- Simultaneous Estimation of Mortality and Dispersal Rates of an Artificially Released Population
- TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
- A Complete Type Inference System for Subtyped Recursive Types
- Comments on Monitors and Path-Expressions
- Concurrent Programming in Linear Logic
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- Measurement of Vapor-Liquid Equilibria for Binary Systems Using a Hold-Up Compensable Ebulliometer
- Pneumatosis Coli Complicated with Intussusception in an Adult : Report of a Case
- Study of Multi-Component Batch Distillation Calculation with Parameters Estimated Using Simple Distillation
- Isobaric Vapor-Liquid Equilibria for Ethylbenzene + p-Xylene System and Separation by Distillation
- Synthesis of Several Analogs of Esterified Cerebroside Isolated from Human and Pig Epidermis
- Design and Implementation of A Highly Modularized Functional language
- RNA Binding Properties of Novel Gene Silencing Pyrrole-Imidazole Polyamides
- Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study