Search Result Save to File Save as CSV
Your search for 52343 returns 919 document(s)
Updating and extending feature models analysis capabilites in abstrac behavioral specification
Author: Adriyan Chairul Achda; | Call Number: T-1176 (Softcopy T-885) | Edition: 2017 | Type: Tesis
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 
Software requirement specification patterns pada aplikasi sistem informasi registrasi akademik
Author: Yanti Andriyani; | Call Number: T-0744 (Softcopy T-0399) | Edition: 2008 | 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 
An insight into intelligent database and database design, HAL. 335-345
Author: Jivika Govil; Jivesh Govil; | Call Number: SEM-291 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The dynamic home finder: evaluating dynamic queries in a rel-estate information exploration system, Hal. 338-346
Author: Christopeper Williamson and Ben Schneiderman; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints, (LNCS-Lecture Notes in Computer Science 1201) Hal 376-390
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Cell formation using particle swarm optimization (PSO)considering maching capactiy, processing time demand rate constraints (hal 102 - 107 )
Author: Dedy Suryadi, Ferry Putra , Cynthia Juwono; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   13 14 15 16 17 18 19 20 21 22  Next