Search Result Save to File Save as CSV
Your search for 43554 returns 4641 document(s)
A minimal model for secure computation(extended abstract),Hal 554-563
Author: Uri Feige; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Model inferensi berbasis fuzzy neural network menggunakan metode pembelajaran delta rule, Hal. IV.17-IV.23
Author: Sri kusumadewi; Sri Hartati; Retantyo Wardoyo; Agus Harjoko; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic Model Checking of UML Activity Diagrams, page 1-38
Author: R. Eshuis | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
The Analysis of UML to systemC model transformation on embedded system design, HAL. 155 - 159
Author: Maman Abdurohman; Kuspriyanto, Sarwono Sutiknol; Arif Sasongko; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Model-Driven Requirements Validation for Automotive Embedded Software using UML (46-50)
Author: Kwan-Hyung Lee Pan-Gi Min Ju-Hyung Cho Dong-Jin Lim; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
web-based collaborative model for preparin formal software specification
Author: mohamed A.sultan1), zarina shukur1); | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan Aplikasi berbasis component object model object studi kasus pengembangan sistem akademik program Pascasarjana Universitas Indonesia
Author: Sularso BudiLaksono; | Call Number: T-0106 | Edition: 1999 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Feature grouping using abstract behaviral specification language
Author: Reza Mauliadi; | Call Number: T-1175 (Softcopy T-884 | Edition: 2017 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
A Novel Model Integrating The process of Selection and Behavioral Evaluation Of Suppliers In A Supply Chain Through Analytical Hierarchy Process (AHP) (82)
Author: Mohammed Khendek Moussa Larbani; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next