Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
AUTONOMOUS SYSTEMS AND INTELLIGENT AGENTS IN POWER SYSTEM CONTROL AND OPERATION

by REHTANZ, C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: NEW YORK Kluwer Academic 2003Availability: Items available for loan: [Call number: 621.3 R345] (1).

Place hold
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.

by Armando, Alessandro [editor.] | Lowe, Gavin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available