Results
|
121.
|
|
|
122.
|
|
|
123.
|
|
|
124.
|
|
|
125.
|
|
|
126.
|
|
|
127.
|
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / by Series: Theoretical Computer Science and General Issues ; 7388
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.
|
|
128.
|
|
|
129.
|
|
|
130.
|
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5977
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.
|
|
131.
|
|
|
132.
|
|
|
133.
|
|
|
134.
|
|
|
135.
|
|
|
136.
|
|
|
137.
|
|
|
138.
|
|
|
139.
|
|
|
140.
|
|