Search Result | Save to File |
Your search for 52222 returns 232 document(s) |
Succinct Determinisation of Caunting Automata via Sphere Construction (468-489) |
Author: Lukas Holik Ondrej Lengal Olli Saarikivi Lenka Turonova Margus Veanes Tomas Vojnar; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem |
Find Similar | Add To Favorites | Detail in New Window |
IBM web sphere personalization for multiplatforms version 3.5.2/IBM |
Call Number: 004.125 IBM | Type: Softcopy Buku |
Find Similar | Add To Favorites | Detail in New Window |
Approximation schemes for PSPACE-complete problems for succinct specifications,Hal 468-477 |
Author: M.V.Marathe; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem |
Find Similar | Add To Favorites | Detail in New Window |
Introduction to automata |
Author: Nelson, R.J.; | Call Number: 006.3 Nel i | Type: Buku |
Find Similar | Add To Favorites | Detail in New Window |
Compiler construction |
Author: Waite, William M.; Goos, Gerhard.; | Call Number: 005.453 Wai c | Type: Buku |
Find Similar | Add To Favorites | Detail in New Window |
Talak via SMS |
Author: Tomy dan Randa | Type: Indeks Artikel Jurnal |
Find Similar | Add To Favorites | Detail in New Window |
Calculus via numerical analsyis |
Author: Graham, Alexander; | Call Number: 519.4 Gra c | Type: Buku |
Find Similar | Add To Favorites | Detail in New Window |
Internet Services via PEACESAT |
Author: Norman Okamura; Al Blake; Reuben Lam; Lori Mukaida; | Call Number: SEM-217 | Type: Indeks Artikel prosiding/Sem |
Find Similar | Add To Favorites | Detail in New Window |
CASE is software automata |
Author: McClure, Carma L.; | Call Number: 005.1 McC c | Type: Buku |
Find Similar | Add To Favorites | Detail in New Window |
Logic, automata algorithms |
Author: Aiserman, Mark A.; | Call Number: 511.3 Ais l | Type: Buku |
Find Similar | Add To Favorites | Detail in New Window |
Prev 1 2 3 4 5 6 7 8 9 10 Next |