Results
|
|
1601.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7610
Edition: 1st ed. 2012.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1602.
|
|
|
|
1603.
|
|
|
|
1604.
|
|
|
|
1605.
|
|
|
|
1606.
|
|
|
|
1607.
|
|
|
|
1608.
|
|
|
|
1609.
|
|
|
|
1610.
|
Advances in Neural Networks - ISNN 2017 [electronic resource] : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10262
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1611.
|
|
|
|
1612.
|
|
|
|
1613.
|
|
|
|
1614.
|
|
|
|
1615.
|
|
|
|
1616.
|
|
|
|
1617.
|
|
|
|
1618.
|
|
|
|
1619.
|
|
|
|
1620.
|
|
