Results
|
|
1341.
|
|
|
|
1342.
|
|
|
|
1343.
|
|
|
|
1344.
|
|
|
|
1345.
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6329
Edition: 1st ed. 2010.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1346.
|
|
|
|
1347.
|
|
|
|
1348.
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6416
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1349.
|
|
|
|
1350.
|
|
|
|
1351.
|
|
|
|
1352.
|
|
|
|
1353.
|
|
|
|
1354.
|
|
|
|
1355.
|
|
|
|
1356.
|
|
|
|
1357.
|
|
|
|
1358.
|
|
|
|
1359.
|
|
|
|
1360.
|
|
