Results
|
|
1421.
|
|
|
|
1422.
|
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. by Series: Lecture Notes in Computer Science ; 6617
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1423.
|
|
|
|
1424.
|
|
|
|
1425.
|
|
|
|
1426.
|
|
|
|
1427.
|
|
|
|
1428.
|
|
|
|
1429.
|
|
|
|
1430.
|
Advanced Research on Computer Education, Simulation and Modeling [electronic resource] : International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II / edited by Song Lin, Xiong Huang. by Series: Communications in Computer and Information Science ; 176
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1431.
|
Universal Access in Human-Computer Interaction. Context Diversity [electronic resource] : 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III / edited by Constantine Stephanidis. by Series: Lecture Notes in Computer Science ; 6767
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1432.
|
|
|
|
1433.
|
The Semantic Web – ISWC 2011 [electronic resource] : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I / edited by Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist. by Series: Lecture Notes in Computer Science ; 7031
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1434.
|
|
|
|
1435.
|
|
|
|
1436.
|
|
|
|
1437.
|
|
|
|
1438.
|
|
|
|
1439.
|
|
|
|
1440.
|
|