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

hedonist

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




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




書(shū)目名稱Operating Systems Engineering網(wǎng)絡(luò)公開(kāi)度




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




書(shū)目名稱Operating Systems Engineering被引頻次




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




書(shū)目名稱Operating Systems Engineering年度引用




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




書(shū)目名稱Operating Systems Engineering讀者反饋




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

背帶

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

柱廊

爭(zhēng)論

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