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影响因子(影响力)学科排名




书目名称Operating Systems Engineering网络公开度




书目名称Operating Systems Engineering网络公开度学科排名




书目名称Operating Systems Engineering被引频次




书目名称Operating Systems Engineering被引频次学科排名




书目名称Operating Systems Engineering年度引用




书目名称Operating Systems Engineering年度引用学科排名




书目名称Operating Systems Engineering读者反馈




书目名称Operating Systems Engineering读者反馈学科排名

背带

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