- Author: Thomas H. Cormen Charles E. Leiserson Ronald L. Rivest Clifford Stein
- Language: English
- Year: 2001
- Author: Thomas H. Cormen Charles E. Leiserson Ronald L. Rivest Clifford Stein
- Language: English
- Year: 2001
- Author: Thomas H. Cormen Charles E. Leiserson Ronald L. Rivest Clifford Stein
- Language: English
- Year: 2001
- Author: Comon H. et al.
- Language: English
- Year: 2005
Model checking
djvu
- Author: Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
- Language: English
- Year: 1999
- Author: Francky Catthoor Koen Danckart Chidamber Kulkarni
- Language: English
- Year: 2002
- Author: Wai C. Chu
- Language: English
- Year: 2003
- Author: Ulrik Brandes Thomas Erlebach (auth.) Ulrik Brandes Thomas Erlebach (eds.)
- Language: English
- Year: 2005
Algorithmic Geometry
djvu
- Author: Jean-Daniel Boissonnat Mariette Yvinec Herve Bronniman
- Language: English
- Year: 2001