Wyniki wyszukiwania dla: R. Ramakrishnan
Lecture Notes in Computer Science > SOFSEM 2004: Theory and Practice of Computer Science > Regular Papers > 289-300
Lecture Notes in Computer Science > Computer Vision – ACCV 2010 > Posters on Day 3 of ACCV 2010 > 228-242
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Modules and Compositional Verification > 315-330
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State and Parametric Systems > 236-250
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 133-150
Lecture Notes in Computer Science > Computer Vision, Graphics and Image Processing > Recognition (Face/Gesture/Object) > 631-640
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies II > Verification > 148-165
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametrization and Slicing > 42-57
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Systems > 326-340