Results
|
101.
|
|
|
102.
|
|
|
103.
|
|
|
104.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5682
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
105.
|
|
|
106.
|
|
|
107.
|
|
|
108.
|
|
|
109.
|
|
|
110.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6198
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.
|
|
111.
|
|
|
112.
|
|
|
113.
|
|
|
114.
|
|
|
115.
|
|
|
116.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10747
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
117.
|
|
|
118.
|
|
|
119.
|
|
|
120.
|
|