Monographs in Computer Science,

Titles

[1 - 20] from 6 results found (0.72 sec)

Pages: [ 1 ]

geometric fundamentals of robotics

adapting proofs-as-programs

abstraction, refinement and proof fo...

abstraction, refinement and proof for probabilistic systems

evolutionary synthesis of pattern re...

evolutionary synthesis of pattern recognition systems

reverse engineering of object orient...

reverse engineering of object oriented code

super-recursive algorithms