| Your search for 37148 returns 225 document(s) |
| Two-state statistical language models for text database systems/Hui Yang; Minjie Zhang |
|
Author: Yang, Hui; Zhang, Minjie | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer-aided design of microelectronic circuits and systems vol. 2 digital circuit aspect and state of the art |
|
Author: Schwarz, A.F.; | Call Number: 621.381 Sch c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation of natural gas EOS (Equation of State) investigation using Pengrobinson EOS, HAL. 940-948 |
|
Author: M. Farzaneh Gord; K. Moradi; R. Mohebbi; M.J. Maghrebi; S. Hashemi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| State of the information privacy literature: where are we now and where should we go?, page 977-988 |
|
Author: Paul A. Pavlou | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351 |
|
Author: R. Alur; R.K. Brayton; 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
|
| Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411 |
|
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Construction of abstract state graphs with PVS, (LNCS-Lecture Notes in Computer Science 1254) Hal 72-83 |
|
Author: Susanne Graf; Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53 |
|
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On polynomial-size programs winning finite-state games, (LNCS-Lecture Notes in Computer Science 939) Hal 239-252 |
|
Author: Helmut Lescow; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Supervisory control of finite state machines, (LNCS-Lecture Notes in Computer Science 939) Hal 279-292 |
|
Author: A. Aziz; F. Balarin; R. K. Brayton; M. D. DiBenedetto; A. Saldanha; A. L. Sangiovanni-Vincentelli; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result