Results
|
|
7981.
|
|
|
|
7982.
|
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.
|
|
|
7983.
|
|
|
|
7984.
|
|
|
|
7985.
|
|
|
|
7986.
|
|
|
|
7987.
|
Information Processing in Medical Imaging [electronic resource] : 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6801
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
|
7988.
|
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.
|
|
|
7989.
|
|
|
|
7990.
|
|
|
|
7991.
|
|
|
|
7992.
|
|
|
|
7993.
|
|
|
|
7994.
|
|
|
|
7995.
|
|
|
|
7996.
|
|
|
|
7997.
|
|
|
|
7998.
|
|
|
|
7999.
|
|
|
|
8000.
|
|
