Formal Modeling and Analysis of Timed Systems (vol. # 4202)
Material type: TextLanguage: English Series: Lecture Notes in Computer SciencePublication details: Springer; Germany; 2006ISBN:- 978-3-540-28955-5
- كتب إلكترونية
Item type | Current library | Call number | Vol info | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
EDOC | المكتبة الرئيسية | كتب إلكترونية (Browse shelf(Opens below)) | 3655 | 1 | Available |
Browsing المكتبة الرئيسية shelves Close shelf browser (Hides shelf browser)
كتب إلكترونية Research and Advanced Technology for Digital Libraries (vol. # 4172) | كتب إلكترونية Image Analysis and Recognition (vol. # 4141) | كتب إلكترونية Image Analysis and Recognition (vol. # 4142) | كتب إلكترونية Formal Modeling and Analysis of Timed Systems (vol. # 4202) | كتب إلكترونية Knowledge Discovery in Databases: PKDD 2006 | كتب إلكترونية Machine Learning: ECML 2006 | كتب إلكترونية Multiagent System Technologies (vol. # 4196) |
Subscription to database on August 2010
There are no comments on this title.
Log in to your account to post a comment.