Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
事务信息系统 并发控制与恢复的理论、算法与实践 theory, algorithms, and the practice of concurrency control and recovery
(德)Gerhard Weikum,(德)Gottfried Vossen著;陈立军,邱海艳,赵加奎等译2006 年出版494 页ISBN:711117531X
本书是事务处理的重要进步,它对领域内的理论和实践都进行了深度的讲述,也是讲述多级(对象模型)事务处理最新进展的一本专著。
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Lecture Notes in Computer Science 4235 Combinatorial and Algorithmic Aspects of Networking Third Wor
CAAN 20062006 年出版134 页ISBN:9783540488224
Lecture Notes in Computer Science 3405 Combinatorial and Algorithmic Aspects of Networking First Wor
CAAN 20042005 年出版205 页ISBN:3540278737
Handbook of Advanced Process Control Systems and Instrumentation
2222 年出版355 页ISBN:0872017214
Modeling and Control of Vibration in Mechanical Systems
2010 年出版312 页ISBN:9781439817988
OPERATION AND CONTROL OF ELECTRIC ENERGY PROCESSING SYSTEMS
JAMES2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362