Results
|
481.
|
|
|
482.
|
|
|
483.
|
|
|
484.
|
|
|
485.
|
|
|
486.
|
|
|
487.
|
Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / by Series: Programming and Software Engineering ; 7211
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.
|
|
488.
|
|
|
489.
|
|
|
490.
|
|
|
491.
|
|
|
492.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6355
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.
|
|
493.
|
|
|
494.
|
|
|
495.
|
|
|
496.
|
|
|
497.
|
|
|
498.
|
|
|
499.
|
|
|
500.
|
|