| Your search for 13294 returns 3948 document(s) |
| Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8 |
|
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory and problems of group theory/ Benjamin Baumslag |
|
Author: Baumslag, Benjamin; | Call Number: 512.2 Bau t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information theory coding and cryptography |
|
Author: Bose, Ranjam; | Call Number: 005.72 Bos i | Edition: 2002 | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of Dependence Values |
|
Author: R. Meo | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modern control system theory |
|
Author: Gopal, M.; | Call Number: 629.8 Gop m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory and practice of microprocessors |
|
Author: Nichols, K.G.; | Call Number: 004.16 Nic t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microprocessors:theory and applications. |
|
Author: "Streitmatter, Gene A."; | Call Number: 004.26 Str m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microprocessors:theory and applications. |
|
Author: Streitmatter, Gene A.; | Call Number: 004.26 Str m | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Theory and Practice of Compiler Writing |
|
Author: Tremblay, Jean-Paul; | Call Number: 004.61 Tre t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result