Results
|
|
2481.
|
|
|
|
2482.
|
|
|
|
2483.
|
|
|
|
2484.
|
|
|
|
2485.
|
|
|
|
2486.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10206
Edition: 1st ed. 2017.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2487.
|
|
|
|
2488.
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6475
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.
|
|
|
2489.
|
|
|
|
2490.
|
|
|
|
2491.
|
|
|
|
2492.
|
|
|
|
2493.
|
|
|
|
2494.
|
|
|
|
2495.
|
|
|
|
2496.
|
Machine Learning Challenges [electronic resource] : Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3944
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.
|
|
|
2497.
|
|
|
|
2498.
|
|
|
|
2499.
|
|
|
|
2500.
|
|
