Results
|
5401.
|
|
|
5402.
|
|
|
5403.
|
|
|
5404.
|
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.
|
|
5405.
|
|
|
5406.
|
|
|
5407.
|
|
|
5408.
|
|
|
5409.
|
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.
|
|
5410.
|
|
|
5411.
|
|
|
5412.
|
|
|
5413.
|
|
|
5414.
|
|
|
5415.
|
|
|
5416.
|
|
|
5417.
|
|
|
5418.
|
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.
|
|
5419.
|
Algorithmic Applications in Management [electronic resource] : First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3521
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.
|
|
5420.
|
|