Results
|
|
1721.
|
|
|
|
1722.
|
Fundamental Approaches to Software Engineering [electronic resource] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9633
Edition: 1st ed. 2016.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1723.
|
|
|
|
1724.
|
|
|
|
1725.
|
|
|
|
1726.
|
|
|
|
1727.
|
|
|
|
1728.
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6415
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.
|
|
|
1729.
|
|
|
|
1730.
|
|
|
|
1731.
|
|
|
|
1732.
|
|
|
|
1733.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 8298
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1734.
|
|
|
|
1735.
|
|
|
|
1736.
|
|
|
|
1737.
|
|
|
|
1738.
|
|
|
|
1739.
|
|
|
|
1740.
|
|
