Results
|
11041.
|
|
|
11042.
|
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.
|
|
11043.
|
|
|
11044.
|
|
|
11045.
|
|
|
11046.
|
|
|
11047.
|
|
|
11048.
|
|
|
11049.
|
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.
|
|
11050.
|
|
|
11051.
|
|
|
11052.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9067
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
11053.
|
|
|
11054.
|
|
|
11055.
|
|
|
11056.
|
|
|
11057.
|
|
|
11058.
|
|
|
11059.
|
Towards a Service-Based Internet [electronic resource] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5377
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
11060.
|
|