Natarajan Shankar - Böcker

Visar alla böcker från författaren Natarajan Shankar.

3 produkter

Kategorier

3 produkter

Del 38

Del 38 - Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines and Gödel's Proof

Av N. Shankar, USA) Shankar, N. (SRI International m. fl

Häftad, Engelska, 1997

769 kr

Skickas inom 10-15 vardagar

Automated Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Av Ulrich Furbach, Natarajan Shankar

Häftad, Engelska, 2006

1 429 kr

Skickas inom 10-15 vardagar

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Av Natarajan Shankar, Jim Woodcock

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar