The following pages link to Monographs in Computer Science (Q2725940):
Displaying 9 items.
- Specification and Development of Interactive Systems (Q2725941) (← links)
- Super-Recursive Algorithms (Q3157968) (← links)
- Numerical Geometry of Non-Rigid Shapes (Q3532866) (← links)
- Abstraction, Refinement and Proof for Probabilistic Systems (Q4650346) (← links)
- Geometric Fundamentals of Robotics (Q4663406) (← links)
- Evolutionary Synthesis of Pattern Recognition Systems (Q4671942) (← links)
- Parsing Techniques (Q5386261) (← links)
- Adapting Proofs-as-Programs (Q5693641) (← links)
- Software Configuration Management Using Vesta (Q5701311) (← links)
