Results
|
2541.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7610
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.
|
|
2542.
|
|
|
2543.
|
|
|
2544.
|
|
|
2545.
|
|
|
2546.
|
|
|
2547.
|
|
|
2548.
|
|
|
2549.
|
Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6581
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.
|
|
2550.
|
|
|
2551.
|
|
|
2552.
|
|
|
2553.
|
Advances in Neural Networks - ISNN 2017 [electronic resource] : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10262
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
2554.
|
|
|
2555.
|
Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4736
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
2556.
|
|
|
2557.
|
|
|
2558.
|
|
|
2559.
|
|
|
2560.
|
Computer Vision – ACCV 2016 Workshops [electronic resource] : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10117
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|