Search Result Save to File Save as CSV
Your search for 38158 returns 5059 document(s)
Modeling and scheduling for MPEG-4 based video encoder using a cluster of workstations, (LNCS-Lecture Notes in Computer Science 1557) Hal 306-316
Author: Yong He; Ishfaq Ahmad; Ming L. Liou; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Boolean and 2-adic numbers based techniques for verifying synchronous designs, (LNCS-Lecture Notes in Computer Science 1254) Hal 303
Author: Gerard Berry; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Flexible internet secure transactions based on collaborative domains, (LNCS-Lecture Notes in Computer Science 1361) Hal 37-51
Author: Eduardo Solana; Jurgen Harms; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The industrial success of verification tools based on stalmarck's method, (LNCS-Lecture Notes in Computer Science 1254) Hal 7-10
Author: Arne Boralv; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Lecture Notes in Computer Science 670) Hal 83-92
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Techniques for scalling up analyses based on pre-interpretations, (LNCS-Lecture Notes in Computer Science 3668) Hal 280-296
Author: John P. Gallagher; Kim S. Henriksen; Gourinath Banda; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Prev   6 7 8 9 10 11 12 13 14 15  Next