Results
|
121.
|
|
|
122.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13182
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
123.
|
Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers / by Series: Programming and Software Engineering ; 13124
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
124.
|
|
|
125.
|
|
|
126.
|
|
|
127.
|
|
|
128.
|
|
|
129.
|
|
|
130.
|
|
|
131.
|
|
|
132.
|
|
|
133.
|
|
|
134.
|
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.
|
|
135.
|
|
|
136.
|
|
|
137.
|
|
|
138.
|
|
|
139.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, UK, September 2007 Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4870
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
140.
|
|