Results
|
501.
|
|
|
502.
|
|
|
503.
|
|
|
504.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems XII [electronic resource] : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10315
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
505.
|
|
|
506.
|
|
|
507.
|
|
|
508.
|
|
|
509.
|
|
|
510.
|
|
|
511.
|
|
|
512.
|
|
|
513.
|
|
|
514.
|
|
|
515.
|
|
|
516.
|
|
|
517.
|
|
|
518.
|
|
|
519.
|
|
|
520.
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / by Series: Programming and Software Engineering ; 4346
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.
|