Results
|
|
1921.
|
Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6013
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.
|
|
|
1922.
|
|
|
|
1923.
|
|
|
|
1924.
|
|
|
|
1925.
|
|
|
|
1926.
|
|
|
|
1927.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / by Series: Programming and Software Engineering ; 3965
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1928.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6397
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.
|
|
|
1929.
|
|
|
|
1930.
|
|
|
|
1931.
|
|
|
|
1932.
|
|
|
|
1933.
|
|
|
|
1934.
|
|
|
|
1935.
|
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.
|
|
|
1936.
|
|
|
|
1937.
|
The Nature of Computation: Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7921
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1938.
|
|
|
|
1939.
|
|
|
|
1940.
|
|
