Results
1341.
Verified software: theories, tools, experiments [electronic resource] : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / edited by Natarajan Shankar, Jim Woodcock. by Series: lecture notes in computer science ; 5295
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
1342.
1343.
1344.
1345.
1346.
Spatial cognition. VI, Learning, Reasoning, and Talking about Space [electronic resource] : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings / edited by Christian Freksa ... [et al.]. by Series: Lecture notes in computer science, Lecture notes in artificial intelligence ; 5248. | LNCS sublibrary . SL 7, Artificial intelligence
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
1347.
1348.
1349.
1350.
1351.
1352.
1353.
1354.
1355.
Managing large-scale service deployment [electronic resource] : 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / edited by Filip de Turck, Wolfgang Kellerer, George Kormentzas. by Series: lecture notes in computer science ; 5273 | LNCS sublibrary . SL 5, Computer communication networks and telecommunications
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
1356.
1357.
1358.
Visualization for Computer Security [electronic resource] : 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings / John R. Goodall, Gregory Conti, Kwan-Liu Ma (Eds.). by Series: lecture notes in computer science ; 5210
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 .
1359.
1360.