Results
2341.
2342.
2343.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 4905
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook
2344.
2345.
2346.
Machine Learning for Multimodal Interaction [electronic resource] : 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers / edited by Andrei Popescu-Belis, Steve Renals, Herve Bourlard. by Series: Lecture Notes in Computer Science ; 4892
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
2347.
2348.
DNA Computing [electronic resource] : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / edited by Max H. Garzon, Hao Yan. by Series: Lecture Notes in Computer Science ; 4848
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
2349.
2350.
2351.
High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / edited by Jesus Labarta, Kazuki Joe, Toshinori Sato. by Series: Lecture Notes in Computer Science ; 4759
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
2352.
2353.
2354.
2355.
2356.
2357.
2358.
2359.
2360.
