Results
|
1721.
|
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.
|
|
1722.
|
|
|
1723.
|
|
|
1724.
|
|
|
1725.
|
|
|
1726.
|
|
|
1727.
|
|
|
1728.
|
|
|
1729.
|
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.
|
|
1730.
|
|
|
1731.
|
|
|
1732.
|
|
|
1733.
|
|
|
1734.
|
|
|
1735.
|
|
|
1736.
|
|
|
1737.
|
|
|
1738.
|
|
|
1739.
|
|
|
1740.
|
|