Results
|
1441.
|
|
|
1442.
|
|
|
1443.
|
|
|
1444.
|
|
|
1445.
|
|
|
1446.
|
|
|
1447.
|
|
|
1448.
|
|
|
1449.
|
|
|
1450.
|
|
|
1451.
|
|
|
1452.
|
|
|
1453.
|
|
|
1454.
|
|
|
1455.
|
|
|
1456.
|
Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13466
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.
|
|
1457.
|
|
|
1458.
|
|
|
1459.
|
|
|
1460.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4386
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|