Results
|
3481.
|
|
|
3482.
|
|
|
3483.
|
|
|
3484.
|
|
|
3485.
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9953
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
3486.
|
|
|
3487.
|
|
|
3488.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7258
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.
|
|
3489.
|
|
|
3490.
|
|
|
3491.
|
|
|
3492.
|
|
|
3493.
|
|
|
3494.
|
|
|
3495.
|
|
|
3496.
|
|
|
3497.
|
|
|
3498.
|
|
|
3499.
|
Availability, Reliability, and Security in Information Systems and HCI [electronic resource] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8127
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.
|
|
3500.
|
|