| Your search for 36718 returns 1503 document(s) |
| Efficient software implementation of LFSR and boolean function and its application in nonlinear combiner model, (LNCS-Lecture Notes in Computer Science 2576) Hal 387-402 |
|
Author: Sandeepan Chowdhury; Subhamoy Maitra; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive search for errors in the free data type specifications using model generation, Hal. 211-225 |
|
Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284 |
|
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mctrlsum: penggunaan pretrained language generation model berbasis multilingual pada abstractive summarization terkontrol menggunkan keyphrase |
|
Author: Sugiri; | Call Number: T-1345 (Softcopy T-1054) Mak T-145 | Edition: 2022 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient asynchronous distributed symmetry breaking,Hal 214-223 |
|
Author: Baruch Awerbuch; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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 Favorites |
Detail in New Window
|
| Integrasi model kualitas web, model kano, importance-performance analysis, dan quality function deployment untuk peningkatan kualitas portal web: studi kasus pada Perpustakaan nasional republik indonesia |
|
Author: Elisabeth Martha Koeanan; | Call Number: KA-812 (Softcopy KA-811) MAK KA-469 | Edition: 2016 | Type: Karya Akhir (KA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrasi update D&M IS success model, kano model dan quality function deployment untuk menganalisis kualitas sistem persuratan dan disposisi elektronik (SPDE): studi kasus kementerian sekretariat negara |
|
Author: Erma Nindiaswari; | Call Number: KA-800 (Softcopy KA-799) MAK KA-457 | Edition: 2016 | Type: Karya Akhir (KA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penyusunan kerangka untuk mengevaluasi dan meningkatkan kualitas knowledge management system (KMS) dengan mengintegrasikan KM Quality model kano dan quality function deployment (QFD): studi kasus Binusmaya |
|
Author: Nur'aini Syamsiah; | Call Number: SK-1485 (Softcopy SK-967) | Edition: Achmad Nizar Hidayanto | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result