Results
|
|
1181.
|
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.
|
|
|
1182.
|
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.
|
|
|
1183.
|
|
|
|
1184.
|
|
|
|
1185.
|
|
|
|
1186.
|
|
|
|
1187.
|
|
|
|
1188.
|
|
|
|
1189.
|
|
|
|
1190.
|
|
|
|
1191.
|
Intelligent Agents IV: Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1365
Edition: 1st ed. 1998.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1192.
|
|
|
|
1193.
|
|
|
|
1194.
|
|
|
|
1195.
|
|
|
|
1196.
|
|
|
|
1197.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1384
Edition: 1st ed. 1998.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1198.
|
|
|
|
1199.
|
|
|
|
1200.
|
Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1680
Edition: 1st ed. 1999.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
In:
Springer Nature eBook
Availability: No items available.
|
