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 38381 returns 2363 document(s)
Conditional symmetry breaking, (LNCS-Lecture Notes in Computer Science 3709) Hal 256-270
Author: Ian P. Gent; Tom Kelsey; Steve A. Linton; Iain McDonald; Ian Miguel; Barbara M. Smith; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Symmetry and Consistency, (LNCS-Lecture Notes in Computer Science 3709) Hal 271-285
Author: Ian P. Gent; Tom Kelsey; Steve Linton; Colva Roney-Dougal; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer...
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Breaking all value symmetries in surjection problems, (LNCS-Lecture Notes in Computer Scie...
Author: Jean-Francois Puget; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Assumption-based pruning in conditional CSP, (LNCS-Lecture Notes in Computer Science 3709)...
Author: Felix Geller; Michael Veksler; |
Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Efficient asynchronous distributed symmetry breaking,Hal 214-223
Author: Baruch Awerbuch; |
Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Symmetry breaking for suffix tree construction,Hal 300-309
Author: Suleyman Cenk Sahinalp; |
Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Co...
Author: Viktor Gyuris; A. Prasad Sistla; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture...
Author: A. P. Sistla; L. Miliades; V. Gyuris; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evalua...
Author: Manish Pandey; Randal E. Bryant; |
Call Number: 004 Int c | 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
Evaluasi Usability dan Rekomendasi Desain Alternatif Aplikasi HNI Integrated System (HSIS) Mobile
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Stickiness pada Mobile Healthcare Learning: Studi Kasus Aplikasi Doctor to Doctor
Type: Karya Akhir (KA)
PENDETEKSIAN KASUS PENCATATAN GANDA PADA DATA PELANGGAN DI PERUSAHAAN XYZ
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Penggunaan Berkelanjutan Livestream Shopping pada Social Commerce
Type: Karya Akhir (KA)
Peningkatan Proses Software Requirement Management Berbasis CMMI V2.0 : Studi Kasus Lembaga National Single Window
Type: Karya Akhir (KA)
Analisa Pengaruh Kesiapan Karyawan Terhadap Penerimaan Modul Training Management Pada PT XYZ
Type: Karya Akhir (KA)
Feature Model untuk Domain Aplikasi Pet Health Menggunakan Metode Cardinality-Based Feature Model
Type: Karya Akhir (KA)
Perancangan Sistem Manajemen Pengetahuan: Studi Kasus Badan Narkotika Nasional (BNN)
Type: Karya Akhir (KA)
Model Bisnis Virtual Reality Berbasis Sustainable Development Goals untuk Startup Tahap Awal
Type: Karya Akhir (KA)
Strategi Transformasi Digital Menuju Asuransi 4.0: Studi Kasus PT Reasuransi ABC
Type: Karya Akhir (KA)
Favorite
Login
Advanced Search