Results
|
341.
|
|
|
342.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
343.
|
|
|
344.
|
|
|
345.
|
|
|
346.
|
|
|
347.
|
|
|
348.
|
|
|
349.
|
|
|
350.
|
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.
|
|
351.
|
|
|
352.
|
|
|
353.
|
|
|
354.
|
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.
|
|
355.
|
|
|
356.
|
|
|
357.
|
|
|
358.
|
|
|
359.
|
|
|
360.
|
|