Search Result
| Your search for 2858 returns 942 document(s) |
| A Dependently Type Multi-stage Calculus (53-72) |
| Author: Akira Kawata Atsushi Igarashi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Analysis About Achievement of e-Learning on University Calculus (123-132) |
| Author: Tzu-chin Chou; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Symbolic Dynamic Programming Within The Fluent Calculus (378-383) |
| Author: Axel Grobmann Steffen Holldebler Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376) |
| Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Graph theory |
| Author: Gould, Ronald; | Call Number: 511.5 Gou g | Type: Buku Pusat |
| Find Similar | Add To Favorites | Detail in New Window |
| Theory of computation |
| Author: Brainerd, Walter S.; | Call Number: 519.4 Bra t | Type: Buku Pusat |
| Find Similar | Add To Favorites | Detail in New Window |
| The theory of computability |
| Author: Sommerhalder, R.; | Call Number: 511.8 Som t | Type: Buku |
| Find Similar | Add To Favorites | Detail in New Window |
| The theory of computation |
| Author: Moret, B.M.E. (Bernard M.E.); | Call Number: 511.3 Mor t | Type: Buku |
| Find Similar | Add To Favorites | Detail in New Window |
| A theory of objects |
| Author: Abadi, Martin; | Call Number: 005.131 Aba t | Type: Buku |
| Find Similar | Add To Favorites | Detail in New Window |
| Combinatorial theory |
| Author: Hall, Marshall; | Call Number: 511.6 Hal c | Type: Buku |
| Find Similar | Add To Favorites | Detail in New Window |
| Prev 15 16 17 18 19 20 21 22 23 24 Next |