Titlebook: Operating Systems Engineering; Proceedings of the 1 Mamoru Maekawa,Laszio A. Belady Conference proceedings 1982 Springer-Verlag Berlin Heid

hedonist

書目名稱Operating Systems Engineering影響因子(影響力)




書目名稱Operating Systems Engineering影響因子(影響力)學(xué)科排名




書目名稱Operating Systems Engineering網(wǎng)絡(luò)公開度




書目名稱Operating Systems Engineering網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Operating Systems Engineering被引頻次




書目名稱Operating Systems Engineering被引頻次學(xué)科排名




書目名稱Operating Systems Engineering年度引用




書目名稱Operating Systems Engineering年度引用學(xué)科排名




書目名稱Operating Systems Engineering讀者反饋




書目名稱Operating Systems Engineering讀者反饋學(xué)科排名

背帶

978-3-540-11604-2Springer-Verlag Berlin Heidelberg 1982

柱廊

爭論

0302-9743 Overview: 978-3-540-11604-2978-3-540-39424-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

記成螞蟻

judicial

不容置疑

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/701973.jpg

走路左晃右晃

meretricious

Specification of schedulers with algebraic specification techniques,n of each scheduler instance can be directly obtained only by replacing the formal parameter with a concrete scheduling strategy. The assignment of an actual parameter to a formal parameter is given by a mechanism called extended parameter morphisms. This specification technique is applicable to many other objects.

faucet