Results
|
4161.
|
|
|
4162.
|
|
|
4163.
|
|
|
4164.
|
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7316
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.
|
|
4165.
|
|
|
4166.
|
|
|
4167.
|
|
|
4168.
|
|
|
4169.
|
|
|
4170.
|
|
|
4171.
|
|
|
4172.
|
|
|
4173.
|
|
|
4174.
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3779
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
4175.
|
|
|
4176.
|
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 8803
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
4177.
|
|
|
4178.
|
|
|
4179.
|
|
|
4180.
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8081
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.
|