| Your search for 48069 returns 599 document(s) |
| Teknologi untuk pengembangan formal komputerisasi pemrosesan data ujian (Proposal HIBAH BERSAING) |
|
Author: Ade Azurat | Call Number: PRO-HIBAH BERSAING-2005-001 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fist results on formal comparison of several stochastic optimization algorithms, Hal. 259-269 |
|
Author: James C. Spall; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling and formal analysis of an aircraft landing gear system, Hal. 239-246 |
|
Author: Simin Nadjm-Tehrani; Jan-Erik Stromberg; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal approach to cost analysis with bergstra-klop's process algebra, 140-143 |
|
Author: Hiroki KIYOTO, Shin-ya NISHIZAKI; | Call Number: SEM-347 | 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
|
| Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen |
|
Call Number: 620.004 2 App | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New trends in formal languages: control, cooperation, and combinatorics/Paum Gheorge |
|
Author: Paun, Gheorghe; | Call Number: 511.3 Pau n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal systems specification: the RPC memory specification case study/Manfred Broy |
|
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal spsecification of programming languages: a panoramic primer/ Frank G. Pagan |
|
Author: Pagan, Frank G.; | Call Number: 005.133 Pag f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal theories of the commonsense world/ edited by Jerry R. Hobbs & Robert C. Moore |
|
Call Number: 006.3 For | Edition: 4th ed. | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result