Search Result Save to File Save as CSV
Your search for 53040 returns 2167 document(s)
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 
Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Balancing Performance and Flexibilty with Hardware Support for Network Architectures
Author: I. Hadzic | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Run-Time Support for Distributed Sharing in Safe Languages
Author: Y. C. Hu, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Decision support systems in the 21st century 2nd ed.
Author: Marakas George M.; | Call Number: 658.403 8 Mar d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
ITIL service support version 2.1/STO (The Stationery Office)
Call Number: 658.403 8 ITI | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
SP97-V series mainboard support CD. Rev. 2.00
Call Number: 004.7 Asu | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Deficiencies in LDAP When Used to Support PKI
Author: David Chadwick | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   9 10 11 12 13 14 15 16 17 18  Next