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 39033 returns 2611 document(s)
Binary space partitions for sets of hyperrectangles, (LNCS-Lecture Notes in Computer Scien...
Author: Viet Hai Nguyen; Peter Widmayer; |
Call Number: 005.1 Alg | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Efficient equality-testing and updating of sets, (LNCS-Lecture Notes in Computer Science 1...
Author: Tak Wah Lam; Ka Hing Lee; |
Call Number: 005.1 Alg | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Types and sets in godel and Z (LNCS-Lecture Notes in Computer Science 967), Hal. 389-408
Author: Margaret M. West; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Temporeized and localized rule sets (LNCS-Lecture Notes in Computer Science 985)
Author: Rose Sturm, Jutta A Mulle, Peter C. Lockemann; |
Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Solving the car-sequencing problem as a non-binary CSP, (LNCS-Lecture Notes in Computer Sc...
Author: Mihaela Butaru; Zineb Habbas; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Optimal implementation of wait-free binary relations,( LNCS-Lecture Notes in Computer Scie...
Author: Eric Goubault; |
Call Number: 005.16 Bit f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Inclusion constraints over non empty sets of trees (LNCS-Lecture Notes in Computer Science...
Author: Martin Muller; Joachim Niehren; Andreas Poelski; |
Call Number: 005.16 Bit f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Comput...
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Comput...
Author: R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
On the covering radius of second order binary reed-muller code in set of resilliet boolea...
Author: Yuri Borissov; An Braeken; Svetla Nikova; and Preneel; |
Call Number: 005.82 Cry | 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