| Your search for 38586 returns 4145 document(s) |
| Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 291-303 |
|
Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teraflops computing: a challenge to parallel numerics? (LNCS-Lecture Notes in Computer Science 1926) Hal 1-12 |
|
Author: Friedel Hossfeld; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed computer systems: impac on management, design and analysis |
|
Author: Champine, George A.; | Call Number: 004 Cha d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reliability, mindfulness, and information systems, page 211-224 |
|
Author: Brian S. Butler and Peter H. Gray | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Probabililty and statistics with reliability, queuing and computer science applications |
|
Author: Trivedi, Kishor Shridharbhai; | Call Number: 519.2 Tri p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer system reliability/ Roy Longbottom |
|
Author: Longbottom, Roy; | Call Number: 004 Lon c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Geographic information systems and cartographics modelling |
|
Author: Tomlin, C. Dana; | Call Number: 910.285 Tom g | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Conceptual Modelling in Information Systems Engineering |
|
Author: Krogstie, John; | Call Number: 003 Kro C | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Geographic information systems and cartographics modelling |
|
Author: Tomlin, C. Dana; | Call Number: 910.285 Tom g | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result