Search Result
Save to File
Your search for
13294
returns
3948
document(s)
Combinatorial theory
Author: Hall, Marshall; | Call Number: 511.6 Hal c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
A Generic API for retrieving human-oriented information from social network services
Author: Yokoyama, Teruaki | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Generic Programming and The STL : Using and Extending The C++ Standard, Templete Library / Matthew H. Austern
Author: Austern, Matthew H.; | Call Number: 005.133 Aus g | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Implementasi Generic Internet of Things Gateway menggunakan Sistem PubSub Berbasis ZigBee
Author: Ariz Buditiono; | Call Number: SK-1707 (Softcopy SK-1189) Source code SK-686 | Edition: Bob Hardian | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Matching of Ontologies with XML Schemes Using a Generic Metamodel (1081-1098)
Author: Christoph Quix David Kensche Xiang Li; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
An analysis of multiple tag co-existence method for generating multiple reader co-existence proof
Author: Aik Theng Tan; Rahmat Budiarto; Zainal Arifin Hasibuan | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110
Author: Dominique Larchey-Wendling; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) Hal 196-215
Author: Naima BROWN; Dominique MERY; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
4
5
6
7
8
9
10
11
12
13
Next