NUST Institutions Library Catalogue Search for 'se,phr:"Texts in theoretical computer science"'

Software engineering 2/

By Bjorner, Dines. Berlin ; | New York : Springer, 2006 . 777 p. : 24 cm.. 9788181287854 | 3540211500 (v. 2)

By Bjorner, Dines. Berlin ; | New York : Springer, 2006 . 766 p. : 24 cm.. 9788181287861 | 3540211519 (v. 3)

By Bjorner, Dines. Berlin ; | New York : Springer, 2006 . 711 p. : 24 cm.. 3540211497 (v. 1) | 9788181287847

By Hromkovič, Juraj,. Berlin ; | New York : Springer-Verlag, 2003 . xiii, 544 p. : , Includes index. 24 cm.. 3540441344

By Rothe, Jorg.. Berlin ; | New York : Springer, 2005 . xi, 478 p. : 24 cm.. 3540221476 (alk. paper)