Your search for 25608 returns 387 document(s) |
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
|
Navigating the internet/ Richard J. Smith |
Author: Smith, Richard J.; | Call Number: 004.67 Smi n | Type: Softcopy Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Navigating the internet/ Richard J. Smith |
Author: Smith, Richard J.; | Call Number: 004.67 Smi n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The economics of poverty/ Richard Perlman |
Author: Perlman, Richard; | Call Number: 301.441 Per e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Deregulating telecommunications/Richard S. Higgins |
Author: Higgins, Richard S.; | Call Number: 384 Hig d | 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
|