Results
|
|
101.
|
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
|
|
|
105.
|
Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6604
Edition: 1st ed. 2011.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
|
106.
|
|
|
|
107.
|
|
|
|
108.
|
|
|
|
109.
|
|
|
|
110.
|
|
|
|
111.
|
|
|
|
112.
|
|
|
|
113.
|
|
|
|
114.
|
|
|
|
115.
|
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
|
|
|
119.
|
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9034
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
|
120.
|
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.
|
