Search

Your search returned 3 results.

Results
		Advances in practical applications of Cyber-Physical Multi-Agent systems: the PAAMS collection : 15th international conference proceedings, PAAMS 2017, Porto, Portugal, June 21-23, 2017 by Demazeau, Yves ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10349Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Critical Systems: Formal methods and automated verification : Joint 22nd international workshop proceedings on formal methods for industrial critical systems and 17th international workshop on automated verification of critical systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017 (e-book) by Petrucci, Laure [Editor] \| Seceleanu, Cristina [Editor] \| Cavalcanti, Ana [Editor]. Series: Lecture Notes in Computer Science ; v.10471Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Towards autonomous robotic systems : 18th annual conference proceedings, TAROS 2017, Guildford, UK, July 19–21, 2017 by Gao, Yang ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10454Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha