| Your search for 19397 returns 2691 document(s) |
| Proceedings of the 24th annual simulation symposium April 1-5, 1991/ editor Alan H. Rutan |
|
Call Number: SEM-093 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings first pacific computer communications symposium 21-25 October 1985 |
|
Call Number: SEM-072 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the sixth international workshop on computer-aided software engineering case'93 Singapore July 19-23/editors Hing-Yan Lee |
|
Call Number: SEM-184 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in computer science: modelling and reasoning about systems |
|
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science 3rd ed. |
|
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science second edition |
|
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The 3rd international research symposium in service management (irssm-3) service imperatives in the new economy localization and globalization unifersity of international business and economicss(uibe),beijing,china july 3-7,2012 conference proceedings |
|
Call Number: SEM-338 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science; Orthologic and Quantum Logic: Models and Computational Elements |
|
Author: J. P. Rawling, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result