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 39189 returns 2845 document(s)
A Comparison of modural verification techniques, (LNCS-Lecture Notes in Computer Science 1...
Author: Henrik Reif Anderson; Jergen Staunstrup; Niels Maretti; |
Call Number: 005.16 Bit f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Verification of message sequence charts via template matching (LNCS-Lecture Notes in Compu...
Author: Vlading Levin and Doron Peled; |
Call Number: 005.16 Bit f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lectu...
Author: E. Pascal Gribomont; Didier Rossetto; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A comparison of CLP (FD) and ASP solutions to NP-complete problems, (LNCS-Lecture Notes in...
Author: Agostino Dovier; Andrea Formisano; Enrico Pontelli; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Inviariants, frames and postconditions: a comparison of the VDM and B notations, (LNCS-Lec...
Author: Juan Bicarregui; Brian Ritchie; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Comparison fo RSA and the naccache-stern public -key cryptosystem (LNCS: Lecture Notes i...
Author: Thomas W. Cusick; |
Call Number: 004.62 Sec | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Formal verification for access control in web information sharing system, (LNCS-Lecture No...
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Application of 2D barcode in hardcopy document verification system,(LNCS-Lecture Notes in ...
Author: Mazleena Salleh; Teoh Chin Yew; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Formalization and verification of interaction protocols, ((LNCS-Lecture Notes in Computer ...
Author: Federico Chesani; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Random stimuli generation for functional hardware verification as a CP application, (LNCS-...
Author: Yehuda Naveh, Roy Emek; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Go-To Market Automation at Lumina
Type: Kerja Praktek (KP)
Pengembangan Group Sequential Hypothesis Testing untuk N-Sample Variant pada Sistem Eksperimentasi
Type: Kerja Praktek (KP)
Pemgembangan Platform Kursus Online Berbasis Web
Type: Kerja Praktek (KP)
Laporan Akhir Kerja Praktek di PT.DAC Solution Informatika
Type: Kerja Praktek (KP)
API Test Automation for Fromlabs Infospot Order Module
Type: Kerja Praktek (KP)
Analisis Bisnis dan Pembuatan Aplikasi Mobile Dokter untuk ZLCARE
Type: Kerja Praktek (KP)
Versatile Chatbot Swarm with Phyton Selenium and Tanya GPT for Computer System Lab CSUI
Type: Kerja Praktek (KP)
Penerapan Teknik Pembelajaran Mesin dalam Proyek Self-Service Gas Station : Studi Kasus di Nomura Research Institute Indonesia
Type: Kerja Praktek (KP)
Reuliance: Quality Assurance System App for Levner Consulting in Management System Compliance, Food Safety Compliance Environment & Safety Compliance and Business Consulting
Type: Kerja Praktek (KP)
Pembuatan Model Machine Learning-Optimalisasi Likuiditas SEABANK
Type: Kerja Praktek (KP)
Favorite
Login
Advanced Search