Search Result Save to File Save as CSV
Your search for 38267 returns 3290 document(s)
Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Timing attack against implementation of a parallel algorithm for modular exponentiation, (LNCS-Lecture Notes in Computer Science 2576) Hal 319-330
Author: Yasuyuki Sakai; Kouichi Sakurai; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Parsha-256 - a new parallelizable hash function and a multihreaded implementation, (LNCS-Lecture Notes in Computer Science 2887) Hal 347-361
Author: Pinakpani Pal; Palash Sarkar; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
High performance implementation of MPI for myrinet, (LNCS-Lecture Notes in Computer Science 1557) Hal 510-521
Author: Maciej Golebiewski; Markus Baum; Rolf Hempel; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Towards an implementation-oriented specification of TP protocol in LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 93-109
Author: Ing Widya; Gert-Jan van der Heijden; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An optimised semantic web query language implementation in prolog, (LNCS-Lecture Notes in Computer Science 3668) Hal 128-142
Author: Jan Wielemaker; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The finite element method: a first approach
Author: Davies, A.J.; | Call Number: 515.353 Dav f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The finite element method : a basic introduction
Author: Rockey, K.C.; | Call Number: 515.62 Roc f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The finite element method 3rd ed.
Author: Zienkiewicz, Olgierd Cecil; | Call Number: 515.62 Zie f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next