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 39148 returns 2707 document(s)
New challenges for theoritical computer science
Author: Maurice Nivat; |
Call Number: 005.16 Bit f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwe...
Call Number: R. 004.02 Han | Type: Buku Referensi
Find Similar Add to Favorite Open in New Tab
Handbook of theoritical computer science: vol.a. format moedels and semantics/J. Van Leeuw...
Call Number: R.004.02 Han | Type: Buku Referensi
Find Similar Add to Favorite Open in New Tab
Challenges in the verification of electronic control units, (LNCS-Lecture Notes in Compute...
Author: Werner Damm; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Comp...
Author: F. Erich Marschner; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Mechanizing formal methods : opportunities and challenges (LNCS-Lecture Notes in Computer ...
Author: John Rushby; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Next-generation viruses present new challenges, page 16
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
A new double-block length hash function using feistel structure,(LNCS-Lecture Notes in Com...
Author: Jesang Lee; Seokhie Hong; Jaechul Sung; Haeryong Park; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A New strongly secure authenticated key exchange protocol, (LNCS-Lecture Notes in Computer...
Author: Qingfeng Cheng; Chuangui Ma, and Xuexian Hu; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A New approach to malware detection, (LNCS-Lecture Notes in Computer Science 5576) Hal. 22...
Author: Hongying Tang; Bo Zhu; Kui Ren; |
Call Number: 005.3 Adv | Type: Buku
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