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	Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327
Author	William Chan; Richard Anderson; Paul Beanne; David Notkin;
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: 39687

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Faktor-faktor yang Memengaruhi niat Perpindahan Pembelian Tiket Bioskop dari Konvensional ke Mobile Applications Berdasarkan Teori Push-pull-Morning

Type: Skripsi

Implementation of Shao's Proxy Signature Scheme on Pdf Files

Type: Skripsi

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)

Favorite