| Your search for 29740 returns 286 document(s) |
| Flashing mathematics into the young mends: possibililities and limits of a web-based courseware (230-232) |
|
Author: Wong, ka-lok, lee, Arthur man-sang, tang, know-chun; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages and their relation to automata |
|
Author: Hopcroft, John E.; | Call Number: 519.766 Hop f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages/ Arto Salomma |
|
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamental limits of bayesian inference: order parameters and phase transitions for road tracking, page 160 |
|
Author: A.L. Yuille | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How habit limits the predictive power of intention: the case of information systems continuance, page 705-737 |
|
Author: Moez Limayem, Sabine Gabriele Hirt, and Christy M. K. Cheung | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan sistem informasi knowledge management for project management pada knowledge area integration. scope communication human resources dan risk management |
|
Author: Lis Iswari; Mia Kartika Sari; Putu Wuri Handayani; Romadhona Anggraeni; | Call Number: SP-064 (Softkopi SP-011) | Type: Student Project (SP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal specicifation and Z /Ben Potter |
|
Author: Potter, Ben; | Call Number: 005.1 Pot i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Elementary computability formal languages and automata |
|
Author: McNaughton, Robert; | Call Number: 511 Mcn e | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result