Search Result Save to File Save as CSV
Your search for 37550 returns 132 document(s)
Relaxed visibility enhances partial order reduction, (LNCS-Lecture Notes in Computer Science 1254) Hal 328-339
Author: Ilkka Kokkarinen; Doron Peled; Antti Valmari; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351
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 Favorites |  Detail in New Window 
Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351
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 Favorites |  Detail in New Window 
Similarity relational cakculus and its reduction to a similarity algebra, LNCS-Lecture Notes in Computer Science 2942), Hal. 252-272
Author: Ingo Schmitt and Nadine Schulz; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Desain Dan Implementasi Sitem Peningkatan Kualitas Perekaman A udio Dengan Wavelet Noise Reduction Dan Automatic Gain Adjustment (hal 50-55)
Author: Mayo Ama Kella Loing, Koredianto Usman, Rita Magdalena; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Social Presence in Virtual World Collaboration: An Uncertainty Reduction Perspective Using a Mixed Methods Approach, Page 779-803
Author: Shirish C. Srivastava and Shalini Chandra | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Reduced space classification using kernel dimensionality reduction for question classification in public health wuestion- answering (hal 187 - 192)
Author: Hapnes Toba, Ito Wasito; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan cost reduction system dna supply chain management dashboard berbasis web
Author: Dennis Pratama Kamah; | Call Number: KP-2425 (Softocpy KP-1952) Source Code KP-433 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Reduced space classification using kernel dimensionality reduction for question classifiaction in public health question-answering
Author: Hapnes Toba; | Call Number: TR-CSUI-010-2010 | Type: Technical Report
Find Similar |  Add To Favorites |  Detail in New Window 
Dimensionality Reduction Using Deep Belief Network in Big Data Case Study: Hyperspectral Image Classification (71-76)
Author: Dewa Made Sri Arsa Grafika Jati Aprinaldi Jasa Manatau Ito Wasito; | Call Number: SEM-340 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   5 6 7 8 9 10 11 12 13 14  Next