| Your search for 12462 returns 3940 document(s) |
| Using SPIN model checking for transmission control protocol, 33-37 |
|
Author: Nan Jiang, Zhiqiang Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effient model checking of network authentication protocol based on SPIN, 100-104 |
|
Author: Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic and computer design |
|
Author: Mano, M. Morris; | Call Number: 621.381 Man d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aritmetic logic and design |
|
Author: Spaniol, Otto; | Call Number: 621.39 Spa c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic design and computer organization |
|
Author: Lawin, Marton H.; | Call Number: 621.395 Lew l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computer design fundamentals |
|
Author: Mano, M. Morris; | Call Number: 621.392 Man l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computer design fundamentals |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear logic in computer science |
|
Call Number: 519.72 Lin | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lectures on the logic of computer programming |
|
Author: Manna, Zohar; | Call Number: 005.1 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result