Results
|
|
941.
|
|
|
|
942.
|
|
|
|
943.
|
|
|
|
944.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9636
Edition: 1st ed. 2016.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
945.
|
|
|
|
946.
|
|
|
|
947.
|
|
|
|
948.
|
|
|
|
949.
|
|
|
|
950.
|
|
|
|
951.
|
|
|
|
952.
|
|
|
|
953.
|
|
|
|
954.
|
|
|
|
955.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4627
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
956.
|
|
|
|
957.
|
|
|
|
958.
|
|
|
|
959.
|
|
|
|
960.
|
|
