Search Result Save to File Save as CSV
Your search for 43714 returns 3720 document(s)
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 
Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2009) Universitas Indonesia December 7th-8th, 2009
Call Number: Softcopy Seminar-010 (SEM-294) | Type: Softcopy Prosiding/Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Computer network development to support distribution spatial data system for developing thematic Geographic Information, Hal. 239-244
Author: Agus Pribadi; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Data bases in digital libraries : where computer science and information management meet, Hal. 224-234
Author: Judith Klavana; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Grouping provenance information to improve efficiency of access control, (LNCS-Lecture Notes in Computer Science 5576) Hal. 51-59
Author: Amril Syalim; Yoshiaki; Konichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Medical information privacy assurance: cryptographic and system aspects, (LNCS-Lecture Notes in Computer Science 2576) Hal 199-218
Author: Giuseppe Ataniese; Reza Curtmola; Breno de Medeiros; Darren Davis; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445
Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next