-
Formal verification : an essential toolkit for modern vlsi design
- Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar
- MK Morgan Kaufmann
- 2015
- 978-0-12-800727-3
- Tasikmalaya, BSD
Silahkan Login untuk dapat Melakukan Peminjaman Online
| Kode Buku | : | 240451 |
| Kode Klasifikasi | : | 004.167 |
| Judul Buku | : | Formal verification : an essential toolkit for modern vlsi design |
| Edisi | : | - |
| Penulis | : | Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar |
| Penerbit | : | MK Morgan Kaufmann |
| Bahasa | : | Inggris |
| Tahun | : | 2015 |
| ISBN | : | 978-0-12-800727-3 |
| Tajuk Subjek | : | Desain |
| Deskripsi | : | xi, 353 hal. , 29.5 cm |
| Eksemplar | : | 2 |
| Stok | : | 2 |
| Petugas | : | Musyarofah |
Terkait Subjek Buku yang sama
-
Trik dahsyat menjadi animator 3D andal
- Aditya
- CV Andi Offset
- 2009
- 978-979-29-0987-6
Terbayangkah jika anda pun bisa menjadi seperti mereka, bisa menjadi seorang animator 3D yang hebat? bisa membuat berbagai animasi-animasi 3D yang menakjubkan. Bagaimana caranya? Buku ini ya buku ini ... Lihat Selengkapnya
-
Belajar Desain Grafis
- Wibowo, Ibnu Teguh
- Buku Pintar
- 2013
- 978-602-7881-40-2
Pembagian Warna, Kombinasi Warna yang tepat dalam desain, Dimensi Warna, Psikologi Warna, Makna warna dalam gaya desain grafis, Perbedaan warna RGB dan CMYK, Panduan merubah warna dari RGB ke CMYK di ... Lihat Selengkapnya
-
Buku latihan : modeling furniture modern dengan 3ds max dan vray
- Sugianto, Mikael
- ANDI
- 2010
- 978-979-29-1675-1
-
Autocad 2012 dan 3ds max 2012 untuk eksterior realistik
- Chandra, Handi
- Maxikom
- 2012
- 978-979-1399-93-7
-
Panduan aplikatif dan solusi : membuat beragam desain 3 dimensi menggunakan adobe photoshop cs6
- Arie Prabawati, Th. (Ed)
- ANDI
- 2014
- 978-979-29-4296-5
Adobe photoshop merupakan aplikasi yang digunakan untuk mengolah foto. Program ini memiliki banyak efek dengan teknik pengolahan foto yang sangat mumpuni, sehingga mampu memberikan hasil pengolahan ... Lihat Selengkapnya