Results
1661.
1662.
1663.
1664.
1665.
1666.
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.
1667.
1668.
1669.
1670.
1671.
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.
1672.
1673.
1674.
1675.
1676.
1677.
1678.
1679.
1680.
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.
