| Your search for 37148 returns 225 document(s) |
| Abstract state machines: an overview of the project, (LNCS-Lecture Notes in Computer Science 2942)Hal. 6-13 |
|
Author: Yuri Gurevich; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411 |
|
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351 |
|
Author: R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid systems as finser manifolds: finite state control as approximation to connection,(LNCS-Lecture Notes in Computer Science 999) Hal. 295-321 |
|
Author: Wolf Kohn; Anil Nerode; Jeffrey B. Benard; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Effects of state-based and event-based data representation on user performance in query formulation tasks, page 269-290 |
|
Author: Gove N. Allen and Salvatore T. March | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information Technology and Administrative Efficiency in U.S. State Governments: A Stochastic Frontier Approach, page 1079-1101 |
|
Author: Min-Seok Pang, Ali Tafti, and M. S. Krishnan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi Java Web Service Menggunakan "Big" web Service Dan Rest (Representional state Tranfer) : Sebuah Studi Perbandingan |
|
Author: Adi Nugroho, ST, MMSI; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer-generated images: the state of the art: Proceedings of graphics interfaces'85/ editor Nadia magnenat-Halmann |
|
Call Number: 006.6 Com | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Neuro-symbolic artificial intelligence: the state of the art / Edited by Pascal hitzler ; Md Kamruzzaman Sarker |
|
Call Number: 006.3 Neu | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The State of academic science: The Universities in the nation's research effort/ Bruce L. L.R. Smith and Joseph J. Karlesky |
|
Author: Smith, Bruce L.R.; | Call Number: 378.73 Smi u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result