Results
|
|
1601.
|
|
|
|
1602.
|
|
|
|
1603.
|
Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4423
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.
|
|
|
1604.
|
|
|
|
1605.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10729
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.
|
|
|
1606.
|
|
|
|
1607.
|
|
|
|
1608.
|
|
|
|
1609.
|
|
|
|
1610.
|
|
|
|
1611.
|
Web Services, E-Business, and the Semantic Web [electronic resource] : Second International Workshop, WES 2003, Klagenfurt, Austria, June 16-17, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3095
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1612.
|
|
|
|
1613.
|
|
|
|
1614.
|
|
|
|
1615.
|
|
|
|
1616.
|
|
|
|
1617.
|
|
|
|
1618.
|
|
|
|
1619.
|
|
|
|
1620.
|
|
