Results
|
2521.
|
|
|
2522.
|
|
|
2523.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7795
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.
|
|
2524.
|
|
|
2525.
|
|
|
2526.
|
|
|
2527.
|
|
|
2528.
|
|
|
2529.
|
|
|
2530.
|
|
|
2531.
|
|
|
2532.
|
|
|
2533.
|
|
|
2534.
|
|
|
2535.
|
|
|
2536.
|
|
|
2537.
|
|
|
2538.
|
|
|
2539.
|
Learning Classifier Systems [electronic resource] : 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6471
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.
|
|
2540.
|
|