Results
2021.
2022.
2023.
2024.
2025.
2026.
2027.
2028.
2029.
2030.
2031.
Theory of quantum computation, communication, and cryptography [electronic resource] : 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, revised selected papers / edited by Andrew Childs, Michele Mosca. by Series: Lecture Notes in Computer Science ; 5906
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, c2009
In:
Springer e-books
Availability: No items available.
2032.
2033.
2034.
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 .
2035.
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.
2036.
2037.
2038.
2039.
2040.