| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| An introduction to online computation:determinism, randomization, advice / |
Dennis Komm. |
2016 |
查看
|
回報問題連結 |
| Distributed real-time systems :theory and practice / |
K. Erciyes. |
|
查看
|
回報問題連結 |
| Operational Semantics for Timed Systems:A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / |
Heinrich Rust. |
2005 |
查看
|
回報問題連結 |
| Practice and Theory of Automated Timetabling V ::5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers |
Edmund Burke, Michael Trick. |
2005 |
查看
|
回報問題連結 |
| Formal methods and testing:an outcome of the FORTEST network : revised selected papers / |
Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). |
2008 |
查看
|
回報問題連結 |
| Soft Real-Time Systems:Predictability vs. Efficiency / |
Giorgio Buttazzo ... [et al.]. |
2005 |
查看
|
回報問題連結 |
| Formal methods for computational systems biology:8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / |
Ma:????? |
2008 |
查看
|
回報問題連結 |
| Real-Time Management of Resource Allocations Systems:A Discrete Event Systems Approach / |
Spyros A. Reveliotis. |
2005 |
查看
|
回報問題連結 |
| Multiprocessor scheduling for real-time systems / |
Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo. |
|
查看
|
回報問題連結 |
| Time-predictable architectures |
Christine Rochange, Sascha Uhrig, Pascal Sainrat. |
2014 |
查看
|
回報問題連結 |
| Real-time systems scheduling. |
Maryline Chetto. |
2014 |
查看
|
回報問題連結 |
| A Modular Calculus for the Average Cost of Data Structuring |
Michel Schellekens. |
2008 |
查看
|
回報問題連結 |
| Real-time systems:modeling, design, and applications / |
editors, Dan Inoescu, Aurel Cornell. |
2007 |
查看
|
回報問題連結 |
| Formal modeling and analysis of timed systems:6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / |
Franck Cassez, Claude Jard. |
2008 |
查看
|
回報問題連結 |
| Management of converged multimedia networks and services:11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / |
George Pavlou, Toufik Ahmed, Tasos Dagiuklas. |
2008 |
查看
|
回報問題連結 |
| Real-time systems:design principles for distributed embedded applications / |
Hermann Kopetz. |
2011 |
查看
|
回報問題連結 |
|
|
