Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Home
/
Search for:
Your search for 42177 returns 5705 document(s)
Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Note...
Author: K. L. McMillan; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using relative refinement for fault tolerance,(LNCS-Lecture Notes in Computer Science 939)...
Author: Antonio Cau; Willem-Paul de Roever; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A concurrency case study using RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 36...
Author: Anne Haxthausen; Chris George; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture N...
Author: A. Prasad Sistia; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lectu...
Author: Tevfik Bultan; Richard Gerber and William Pugh; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using the rippling heuristic in set membership proofs, (LNCS-Lecture Notes in Computer Sci...
Author: Ina Kraan; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal...
Author: Stephan Melzer and Stefan Romer; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using CLP to characterise linguistic lattice boundaries in a text mining process, ((LNCS-L...
Author: Alexandre S. Saidi; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The MYDDAS project: using a deductive database for traffic characterization, ((LNCS-Lectur...
Author: Michel Ferreira; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Co...
Author: Marcus Vinicius Santos; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   3 4 5 6 7 8 9 10 11 12  Next
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
Pengembangan Sistem Informasi Petty Cash dan Uang Muka PT. Rekayasa Industri/Dhini Fitriani
Author: Dhini Fitriani; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2004
[Remove]
Piaget's theory of cognitive and effective development 3rd edition/ Barry G. Wadworth
Author: Wadworth, Barry G.; | Publisher: New York: Logman, 1971
[Remove]
Proceedings the fourth symposium on the frontiers'92 frontiers of massively parallel computation October 19-21, 1992/edited H.J. Siegel
Author: | Publisher: Los Alimatos, California: IEEE Computer Society Press, 1992
[Remove]
Genetic programming IV: routing human-competitive machine intelligent
Author: | Publisher: Netherlands, Kluwer Academic, 2003
[Remove]
Analisis knowledge sharing bottlenect dengan menggunanak pendekatan social network analysis: studi kasus divisi IT/IS development PT X.
Author: Kurnia Dara Mutia; | Publisher: Depok: Fasilkom UI, 2013
[Remove]
Micro-PROLOG: Programming in Logic/ K.L. Clark and F.G.McCabe
Author: Clark, K.L.; | Publisher: Englewood Cliffs:Prentice-Hall:1983
[Remove]
GUI Based decimation filter design tool for multi-standard wireless tranceivers, HAL. 600-605
Author: T.K. Shahana; Babita R. Jose; Rekha K. James; Poulose Jacob; Sreela Sasi; | Publisher: (ICTES 2007) Proceedings of the Int. Conf. on Information and communication technology in electrical scicences, ICTES 2007, Dec 20-22, 2007
[Remove]
A Tight Bound on the Benefits of Replications and Consistency Control Protocols (75-81)
Author: Donald B.JohnsonLarry Raab; | Publisher:
[Remove]
Bringing Answer Set Programming to the Next Level: a Real Case on Modeling Course Timetabling. Hal 471-476
Author: Irvi Firqotul Aini, Ari Saptawijaya, Siti Aminah; | Publisher: ICACSIS International Conference on Adavanced Computer Science and Information System
[Remove]
The Robotics primer: the what,why, and how of robots in the workplace/ Robert A. Ullrich
Author: Ullrich, Robert A.; | Publisher: Englewood Clifffs: Prentice Hall, 1983
[Remove]
Login
Advanced Search