Results
|
3541.
|
|
|
3542.
|
|
|
3543.
|
|
|
3544.
|
|
|
3545.
|
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 I / by Series: Theoretical Computer Science and General Issues ; 6415
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.
|
|
3546.
|
|
|
3547.
|
Intelligence Science and Big Data Engineering [electronic resource] : 4th International Conference, IScIDE 2013, Beijing, China, July 31 -- August 2, 2013, Revised Selected Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8261
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
3548.
|
|
|
3549.
|
|
|
3550.
|
|
|
3551.
|
|
|
3552.
|
|
|
3553.
|
|
|
3554.
|
|
|
3555.
|
|
|
3556.
|
|
|
3557.
|
|
|
3558.
|
|
|
3559.
|
|
|
3560.
|
|