Online Public Access Catalog
Ditemukan 2 hasil di pencarian Ebook
-
Building Ontologies with Basic Formal Ontology
- Arp, Robert, Barry Smith dan Andrew D. Spear
- The MIT Press
- 2015
- Edisi : -
- ISBN: 978-0-262-52781-1
Kode Ebook : 230030 | dilihat : 158 kali
-
Formal Verification An Essential Toolkit for Modern VLSI Design
- Seligman, Erik, Tom Schubert dan M V Achutha Kiran Kumar
- Elsevier
- 2015
- Edisi : -
- ISBN: 978-0-12-800727-3
Kode Ebook : 230045 | dilihat : 243 kali