Results
1661.
Verification, model checking, and abstract interpretation [electronic resource] : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by Series: Lecture notes in computer science ; 5944
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook
1662.
Teaching fundamental concepts of informatics [electronic resource] : 4th International Conference on Informatics in Secondary Schools, Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010 : proceedings / edited by Juraj Hromkovic, Richard Kralovic, Jan Vahrenhold. by Series: Lecture notes in computer science ; 5941
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
1663.
1664.
1665.
1666.
1667.
1668.
1669.
1670.
1671.
1672.
1673.
1674.
Tools and algorithms for the construction and analysis of systems [electronic resource] : 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / edited by Javier Esparza, Rupak Majumdar. by Series: Lecture notes in computer science ; 6015
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
1675.
1676.
1677.
1678.
1679.
1680.
