Temporal Logic Mathematical Foundations and Computiona Aspects vol.2
Material type:
TextLanguage: eng Series: oxford logic guides 40Publisher: Clarendn press:oxford,2003Description: Vol.2, 596pContent type: - text
- unmediated
- volume
- 0-19-853768-9
- QA9.G32.2003
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
مكتبة جامعة عجلون الوطنية | المجموعات العامة | QA9.G32.2003 (Browse shelf(Opens below)) | Available | E250 |
Browsing مكتبة جامعة عجلون الوطنية shelves,Shelving location: المجموعات العامة Close shelf browser (Hides shelf browser)
| QA76.73.J38.F553.2005 JAVA Anutshell | QA76.73.A35.B37.2006 programming in Ada 2005 | QA9.G32.2003 Temporal Logic Mathematical Foundations and Computiona Aspects vol.2 | QA9.G32.2003 Temporal Logic Mathematical Foundations and Computiona Aspects vol.2 | T385.A514.2009 Interactive Computer Graohics | QA325.5.M58.1997 Machine Learning | QA325.5.M58.1997 Machine Learning |