Your search for 2949 returns 146 document(s) |
Extending the Product Selection Language of the Abstract Behavioral Specification (ABS) with Product Expressions |
Author: Triando; | Call Number: SK-1399 (Softcopy SK-881) Source code SK-569 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Translation of specification in behavior tree to an executable abstract behavioral specification |
Author: Emerson Chan Simbolon; | Call Number: SK-1101 Softcopy SK-582 Source code SK-424 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Abstract behavioral specification-based testing method for software product lines |
Author: Ricky Timothy Gultom; | Call Number: T-1094 (Softcopy T-803) Source code T-228 | Edition: 2015 | 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
|
Molecular Objects, abstract Data Types and Data Models - A Framework (172-184) |
Author: D.S. Batory
A.P. Buchmann; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Schaum's Outlines Introduction to computer science: With examples in Visual Basic,C,C++, and JAVA/ Ramon A. Mata-Toledo; Pauline K.Cushman |
Author: Mata-Toledo,Ramon A.; | Call Number: 006.6 Mat s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Comparison of title indexing and abstract indexing in information retrieval system/ Indra Budi ; Zainal A. Hasibuan |
Author: Budi, Indra Hasibuan, Zainal A. | Call Number: Pub.Staf PN-0047 | Type: Prosiding Nasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy(extended abstract),Hal 449-458 |
Author: Hans L.Bodlaender; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An accelerated interior point method whose running time depends only on A (extented abstract),Hal 512-521 |
Author: Stephen A.Vavasis; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applying an abstract data structure description approach to parallelizing scientific pointer programs, Hal. II.100-II.104 |
Author: Joseph Hummel; Laurie J. Hendren; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|