| Your search for 37151 returns 3301 document(s) |
| Feature Grouping using the Abstract Behavioral Specification Language. Hal 483-489 |
|
Author: Reza Mauliadi, Ade Azurat, Radu Muschevici, Maya R.A Setyautami; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
|
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Delta-relational mapping using the abstract behavioral specification language |
|
Author: Niken Fitria Apriani; | Call Number: T-1132 (Softcopy T-841) Source code T-243 | Edition: 2015 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Spreadsheet Calculations to Demonstrate the Importance of a Correct Problem Specification (475-482) |
|
Author: Gabriela Lovaszova; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TROLL-alanguage for object-oriented specification of information systems, page 175 |
|
Author: Ralf J. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Color Image Segmentation using Constrained Compound Markov Random Field Modal and Homotopy Continuation Method |
|
Author: Sucheta Panda,P.K. Nanda; | Call Number: SEM-305 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Weak refinement for modal hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 316-330 |
|
Author: Carsten Weise; Dirk Lenzkes; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aplikasi E-Document pada Bursa Pengetahuan Kawasan Timur Indonesia (hal 123-127) |
|
Author: Andreas Handojo, Yuliana Chandra, Agustinus Noertjahyana; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80 |
|
Author: Thomas Wilke; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Technology mapping of timed circuits, Hal. 138-147 |
|
Author: Chris J. Myers; Peter A. Beerel; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result