Results
|
|
2381.
|
|
|
|
2382.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7737
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.
|
|
|
2383.
|
|
|
|
2384.
|
|
|
|
2385.
|
|
|
|
2386.
|
|
|
|
2387.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5944
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.
|
|
|
2388.
|
|
|
|
2389.
|
|
|
|
2390.
|
Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5966
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.
|
|
|
2391.
|
|
|
|
2392.
|
|
|
|
2393.
|
|
|
|
2394.
|
|
|
|
2395.
|
|
|
|
2396.
|
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3607
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2397.
|
Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4147
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.
|
|
|
2398.
|
|
|
|
2399.
|
|
|
|
2400.
|
|
