Results
|
|
1461.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6466
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.
|
|
|
1462.
|
|
|
|
1463.
|
|
|
|
1464.
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 9952
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1465.
|
|
|
|
1466.
|
|
|
|
1467.
|
|
|
|
1468.
|
|
|
|
1469.
|
|
|
|
1470.
|
|
|
|
1471.
|
|
|
|
1472.
|
|
|
|
1473.
|
|
|
|
1474.
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / by Series: Programming and Software Engineering ; 8461
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1475.
|
|
|
|
1476.
|
|
|
|
1477.
|
|
|
|
1478.
|
|
|
|
1479.
|
|
|
|
1480.
|
|
