Koleksi

Pencarian Spesifik

1 2 3 4 5 Berikutnya Hal. Akhir

Cryptographic Hardware and Embedded Systems - CHES 2005 : 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings

Rao, Josyula R. - Sunar, Berk.

Judul Seri :

No. Panggil : 005.82

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11545262

Otomatisasi Pembuatan Logik Design dan Layout Pada Desain VLSI (Very Large Scale Integration)

EFFENDY, Machmud

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
47524.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Feitelson, Dror. - Frachtenberg, Eitan. - Rudolph, Larry. - Schwiegelshohn, Uwe. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11605300

Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

Maziero, Carlos Alberto. - Silva, João Gabriel. - Andrade, Aline Maria Santos. - Assis Silva, Flávio Morais de.

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11572329

Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

Feitelson, Dror. - Rudolph, Larry. - Schwiegelshohn, Uwe. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b107134

Evolvable Systems From Biology to Hardware : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings

Moreno, J. Manuel. - Madrenas, Jordi. - Cosp, Jordi.

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11549703

Taxonomies for the Development and Verification of Digital Systems

Bailey, Brian. - Martin, Grant. - Anderson, Thomas.

Judul Seri :

No. Panggil : 621.3815

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b104217

Advances in Computer Systems Architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Srikanthan, Thambipillai. - Xue, Jingling. - Chang, Chip-Hong.

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11572961

High Performance Embedded Architectures and Compilers : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings

Conte, Tom. - Navarro, Nacho. - Hwu, Wen-mei W. - Valero, Mateo. - Ungerer, Theo. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11587514

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Poernomo, Iman. - Crossley, John N. - Wirsing, Martin.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-28183-5

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Etessami, Kousha. - Rajamani, Sriram K.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138445

New Algorithms, Architectures and Applications for Reconfigurable Computing

Lysaght, Patrick. - Rosenstiel, Wolfgang.

Judul Seri :

No. Panggil : 621.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-4020-3128-9

Pengembangan desain dengan pemanfaatan limbah produksi

HARTONO, Lili - WIDYASTUTI, Endang

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
78876.1	JURNAL	R. Majalah	Tidak Dipinjamkan

What can you do with boxes? constructing boxes and their surfaces into a spatial system to support creative learning

ATMODIWIRJO, Paramita - PARAMITA, Kristanti Dewi

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
234787.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Mikrotranduser Deteksi Kadar Oksigen Terlarut Aplikasi Monitoring Kualitas Air

DEBATARAJA, Aminuddin - HISKIA - MANURUNG, Roberth V.

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
40422.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Pattern and design with dynamic symmetry : how to create art deco geometrical designs

EDWARDS, Edward Bartholomew

Judul Seri :

No. Panggil : 745.4 Edw p 2

Ketersediaan : 2 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103120710772	745.4 Edw p 2	Gedung Baru Lantai 6 (700, 800, 900)	Available
31103120710780	745.4 Edw p 2	Gedung Baru Lantai 6 (700, 800, 900)	Available

Pengembangan desain keramik batik berbasis go green

NOVIANI, Leny - WAHIDA, Adam - THAMRIN, AG

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
78870.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Pengembangan UKM keramik desa Melikan Kecamatan Wedi Kabupaten Klaten Jawa Tengah

NOVIANI, Leny - WAHIDA, Adam - WIDIYASTUTI, Endang - YULIANTO, Nanang

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
51011.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Philosophical Foundations of Quality of Life : The Selected Works of Alex C. Michalos

Michalos, Alex C.

Judul Seri :

No. Panggil : 306

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-3-319-50727-9

Studies in Legal Logic

Hage, Jaap.

Judul Seri :

No. Panggil : 340.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-4020-3552-7

1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 400 dari pencarian Anda melalui kata kunci: Subject : "Logic design."

Permintaan membutuhkan 0.00346 detik untuk selesai

XML Result JSON Result

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog