<![CDATA[Central Library Search for 'au:"Liu, Zhiming."']]>

<![CDATA[Central Library Search for 'au:"Liu, Zhiming."']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Liu%2C%20Zhiming.%22&format=rss2 6 0 50 Unifying Theories of Programming and Formal Engineering Methods ISBN 9783642397219 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=51474

. XII, 283 p. 50 illus. 9783642397219

Place Hold on Unifying Theories of Programming and Formal Engineering Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=51474 Engineering Trustworthy Software Systems ISBN 9783319296289 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54360

. XI, 325 p. 141 illus. in color. 9783319296289

Place Hold on Engineering Trustworthy Software Systems

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54360 Theoretical Aspects of Computing - ICTAC 2013 ISBN 9783642397189 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54295

. XII, 445 p. 100 illus. 9783642397189

Place Hold on Theoretical Aspects of Computing - ICTAC 2013

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54295 Dependable Software Engineering: Theories, Tools, and Applications ISBN 9783319259420 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55251

. XIX, 317 p. 86 illus. 9783319259420

Place Hold on Dependable Software Engineering: Theories, Tools, and Applications

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55251 Formal Aspects of Component Software ISBN 9783319076027 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54887

. X, 385 p. 132 illus. 9783319076027

Place Hold on Formal Aspects of Component Software

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54887 Theories of Programming and Formal Methods ISBN 9783642396984 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55381

. XII, 413 p. 86 illus. 9783642396984

Place Hold on Theories of Programming and Formal Methods

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=55381