Gavrilova, Marina L. <br/><br/>
Transactions on Computational Science XV  Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / 
edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642285257 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer Communication Networks.; Software engineering.; Computer software.; Logic design.; Artificial intelligence.; Engineering mathematics.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Artificial Intelligence (incl. Robotics).; Appl.Mathematics/Computational Methods of Engineering.; Computer Communication Networks.