Search Result Save to File Save as CSV
Your search for 52211 returns 9 document(s)
J-ReCover: Java Reducer Commutativity Verifier (357-366)
Author: Yu-Fang Chen Chang-Yi Chiang Lukas Holik Wei-Tsung Kao Hsin-Hung Lin Tomas Vojnar Yean-Fu Wen Wei-Cheng Wu; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Identifying Relevant Sources in Query Reformulation (357-366)
Author: Sharifullah Khan, Franck morvan; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Teaching Signal Analysis Using Scientific Notebook (357-366)
Author: Walter R Bloom; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Towards a Unified Visual Database Access (357-366)
Author: K. Vadaparty Y.A. Aslandongan G. Ozsoyoglu; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Parallelizing the mur verifier, (LNCS-Lecture Notes in Computer Science 1254) Hal 256-267
Author: Ulrich Stern; David L. Dill; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Placing, routing, and editing virtual FPGAs, (LNCS-Lecture Notes in Computer Science 2147) Hal 357-366
Author: Loic Lagadec; Dominique Lavenier; Erwan Fabiani; Bernard Pottier; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the parallel implementation of the fast wavelet packet transform on MIMD distributed memory environments, (LNCS-Lecture Notes in Computer Science 1557) Hal 357-366
Author: Stefania Corsaro; Luisa D' Amore; Almerico Murli; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window