| Your search for 52048 returns 2436 document(s) |
| Debugging perl: trobleshooting for programmer's |
|
Author: Brown, Martin; | Call Number: 005.133 Bro d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
|
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The CAD rating guide: a tool for the evaluations of computer aided design systems/W. Bradley Holtz |
|
Author: Holtz, W. Bradley; | Call Number: 620.004 202 85 Hol c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New Methods and Tool for the Development and Verification of Safety Functions during Development of Pedestrian Detection Systems (434-438) |
|
Author: Hadj Hamma Tadjine
Karsten Schulze
Rene Roelling
Herold Daniel; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed Computing: Magic Functions, Conditions of Input Vectors for Consensus Solvability in Asynchronous Distributed Systems |
|
Author: C. Dwork, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software debugging for microcomputers/ Robert C. Bruce |
|
Author: Bruce, Robert C.; | Call Number: 004.16 Bru S | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Debugging visual basic/David G. Jung |
|
Author: Jung, David G.; | Call Number: 005.276 Jun d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cryptology: Eavesdropping Games: A Graph-Theoretic Approach to Privacy in Distributed Systems |
|
Author: M. Franklin, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Query Optimization in Distributed Networks of Autonomous Database Systems, page 537-583 |
|
Author: F. Pentaris, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result