Results
|
|
1241.
|
|
|
|
1242.
|
|
|
|
1243.
|
|
|
|
1244.
|
|
|
|
1245.
|
|
|
|
1246.
|
|
|
|
1247.
|
|
|
|
1248.
|
|
|
|
1249.
|
|
|
|
1250.
|
|
|
|
1251.
|
|
|
|
1252.
|
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.
|
|
|
1253.
|
|
|
|
1254.
|
|
|
|
1255.
|
|
|
|
1256.
|
|
|
|
1257.
|
|
|
|
1258.
|
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.
|
|
|
1259.
|
|
|
|
1260.
|
Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7758
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.
|
