Search Result Save to File Save as CSV
Your search for 2178 returns 681 document(s)
Benefits Analysis of IT Investment in Business Support System (BSS) Projects Using Ranti's Generic IS/IT Business Values: Case Studies of the Indonesian Telecommunication Company (331-336)
Author: Dimas Agung Saputra Widijanto Satyo Nugroho Benny Ranti; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Variational inequalities and complementarity problems: theory and applications
Call Number: 515.64 Var | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Introduction to lineal algebra
Author: Strang, Gilbert; | Call Number: 512.5 Str i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Operational methods in applied mathematics
Author: Carslaw, H.S.; | Call Number: 515.3 Car o | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Practical applications of symbolic computation
Author: Howard, james C.; | Call Number: 511.8 Now p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Translation with optimization from relational calculus to relational algebra having aggregate functions, page 518
Author: Ryohei N. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid systems and relaxed optimal control: the para metric calculus of variations on finsher manifolds Cartan connections and extracting control autumata, Hal. 7-14
Author: World Kohn; Anil Neorde; J.B. Remmel; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315
Author: Xu Qiwen; | Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471
Author: Armin Biere; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23
Author: Abelardo Pardo; Gary D. Hachtel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   11 12 13 14 15 16 17 18 19 20  Next