Results
|
|
5421.
|
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.
|
|
|
5422.
|
|
|
|
5423.
|
|
|
|
5424.
|
|
|
|
5425.
|
|
|
|
5426.
|
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.
|
|
|
5427.
|
|
|
|
5428.
|
|
|
|
5429.
|
|
|
|
5430.
|
|
|
|
5431.
|
|
|
|
5432.
|
|
|
|
5433.
|
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.
|
|
|
5434.
|
Auditory Display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009, Revised Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5954
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.
|
|
|
5435.
|
|
|
|
5436.
|
|
|
|
5437.
|
|
|
|
5438.
|
|
|
|
5439.
|
Image Analysis and Recognition [electronic resource] : Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4141
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.
|
|
|
5440.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6366
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.
|
