Results
|
2321.
|
|
|
2322.
|
|
|
2323.
|
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4275
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.
|
|
2324.
|
Advances in Swarm Intelligence, Part II [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6729
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.
|
|
2325.
|
|
|
2326.
|
|
|
2327.
|
|
|
2328.
|
|
|
2329.
|
|
|
2330.
|
|
|
2331.
|
|
|
2332.
|
|
|
2333.
|
|
|
2334.
|
|
|
2335.
|
|
|
2336.
|
|
|
2337.
|
|
|
2338.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8931
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.
|
|
2339.
|
|
|
2340.
|
|