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	HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 460-463
Author	Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi;
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: 38850

Tidak ada abstrak pada koleksi ini

Latest Collection

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)

Evaluasi Usability dan Rekomendasi Desain Virtual Community Pada Marketplace Produk Digital Itemku

Type: Karya Akhir (KA)

Favorite

Principles of genetics 3rd ed/ D. Peter Snustad Third Edition

Author: Snustad D. Peter; | Publisher: New York: John Wiley

[Remove]

Designing the user interface: strategies for effective human-computer interaction 4th ed.

Author: Shneiderman, Ben; | Publisher: Upper Saddle River: Addison-Wesley, 2005

[Remove]

Rancangan model pengamanan e-government: studi kasus Lembaga Sandi Negara

Author: Prasetyo Adi Wibowo Putro; | Publisher:

[Remove]