<![CDATA[Central Library Search for 'au:"Margaria-Steffen, Tiziana,"']]>

<![CDATA[Central Library Search for 'au:"Margaria-Steffen, Tiziana,"']]> https://opac.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Margaria-Steffen%2C%20Tiziana%2C%22&format=rss2 3 0 50 SOFSEM 2015: Theory and Practice of Computer Science ISBN 9783662460788 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54156

. XVI, 616 p. 116 illus. 9783662460788

Place Hold on SOFSEM 2015: Theory and Practice of Computer Science

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=54156 Formal methods for industrial critical systems : ISBN 9780470876183 | 9781118459898 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=59862

. 1 PDF (292 pages). , Includes index. 9780470876183 | 9781118459898

Place Hold on Formal methods for industrial critical systems :

]]> https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=59862 Formal methods for industrial critical systems : ISBN 9780470876183 | 9781118459898 https://opac.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=74281

. 1 PDF (292 pages). , Includes index. 9780470876183 | 9781118459898

Place Hold on Formal methods for industrial critical systems :

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