Results
|
3621.
|
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.
|
|
3622.
|
|
|
3623.
|
|
|
3624.
|
|
|
3625.
|
|
|
3626.
|
|
|
3627.
|
|
|
3628.
|
Resource Discovery [electronic resource] : Second International Workshop, RED 2009, Lyon, France, August 28, 2009, Revised Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6162
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.
|
|
3629.
|
|
|
3630.
|
Smart Graphics [electronic resource] : 10th International Symposium, SG 2009, Salamanca, Spain, Mai 28-30, 2009, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5531
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
3631.
|
|
|
3632.
|
Ubiquitous Intelligence and Computing [electronic resource] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4159
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
3633.
|
|
|
3634.
|
|
|
3635.
|
|
|
3636.
|
|
|
3637.
|
|
|
3638.
|
|
|
3639.
|
Computer Information Systems and Industrial Management [electronic resource] : 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8838
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.
|
|
3640.
|
|