HRT-HOOD : Structured Design Method of Hard Real-Time Ada Systems ＜Real-Time Safety Critical Systems v.3＞

Structured Design Method of Hard Real-Time Ada Systems

By (author) Burns, Alan; By (author) Wellings, And･･･

330p H230

9780444821645

Computers in Railways : Computer System Design and Operation in the Railway and Other Transit Systems ＜WIT Transactions on the Built Environment v. 103＞

Computer System Design and Operation in the Railway and Other Transit Systems

Edited by Allan, J.; Edited by Arias, E.; Edited b･･･

896p H230 x W155

9781845641269

Probabilistic safety assessment and management : PSAM 7 - ESREL '04, June 14-18, 2004, Berlin, Germany v. 1

edited by Cornelia Spitzer, Ulrich Schmocker and V･･･

6 v. (3728 p.) 24 cm.

185233827X

2011 International Conference in Electrics, Communication and Automatic Control Proceedings ＜Lecture Notes in Electrical Engineering 165＞ 2012

Edited by Chen, Ran、Springer-Verlag New York Inc.、･･･

1886p H235 x W155

9781441988485

Database systems : a practical approach to design, implementation, and management 6th ed

Thomas M. Connolly, Carolyn E. Begg、Pearson、c2015

xlviii, 1281, [104] p. 24 cm

9780132943260

Interdisciplinary mechatronics : engineering science and research development ＜Automation-control and industrial engineering series＞

edited by Maki K. Habib, J. Paulo Davim、ISTE　Wiley･･･

xviii, 601 p. 24 cm

9781848214187

Discover SAP 2 Rev ed

By (author) Muir, Nancy; By (author) Kimbell, Ian、･･･

440p H226 x W176

9781592293209