Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Int c
Collection Type	Indeks Artikel LNCS
Title	Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, (LNCS-Lecture Notes in Computer Science 1254) Hal 244-255
Author	Manish Pandey; Randal E. Bryant;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Int c		TERSEDIA

Tidak ada review pada koleksi ini: 38827

Tidak ada abstrak pada koleksi ini

Latest Collection

Evaluasi Usability dan Perbaikan Desain Antarmuka M.TIX Sebagai Platform Pembelian Tiket Secara Daring

Type: Skripsi

UI/UX Designer at PT Impactbyte Teknologi Edukasi

Type: Kerja Praktek (KP)

A First course in differential equations with modeling applications 12 ed.

Type: Buku

Analisis dan Perancangan Aplikasi PendukungPembelian Produk Sustainable Fashion

Type: Skripsi

Integrasi Sistem Pengecekan Plagiarisme Elang dengan Sistem Informasi Sidang(Sisidang) Fakultas Ilmu Komputer Universitas Indonesia

Type: Skripsi

Analisis dan Perancangan Aplikasi Manajemen Keuangan Pribadi untuk Penggunaan Berkelanjutan : Suatu Penelitian Design Science

Type: Skripsi

Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS

Type: Karya Akhir (KA)

Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC

Type: Karya Akhir (KA)

Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial

Type: Karya Akhir (KA)

Favorite

Analisis Faktor-Faktor Yang Memengaruhi Kesuksesan Sistem Informasi Monitoring Devisa Terintegrasi Seketika (Simodis) di Departemen Pengelolaan Kepatuhan Laporan Bank Indonesia

Author: Haryani Diah Sitawati; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2022

[Remove]

Solving Logic Grid Puzzle Application

Author: SAmuel Lukas , Aditya Rama Mitra , Yulia Budoyo; | Publisher:

[Remove]

OS/400 system program power PC V.4 5755-AS5 release R01M00 licenced program pruducts (CAOC17)

Author: | Publisher:

[Remove]

Pengembangan modul penjualan dan modul persediaan SAM-Icon untuk PT. Samudera Informindo Perkasa/ Setyo Kuncoro

Author: Setyo Kuncoro; | Publisher: Depok : Fakultas Ilmu Komputer Unversitas Indonesia, 2003

[Remove]

A manager's guide: client server/Lawrence Shafe

Author: Shafe, Laurence; | Publisher:

[Remove]