MARC 主機 00000nam a2200457 a 4500 
001    978-3-642-28525-7 
003    Springer 
005    20120625102847.0 
006    m        d         
007    cr nn 008maaau 
008    120220s2012    gw      s         0 eng d 
020    9783642285257 (electronic bk.) 
020    9783642285240 (paper) 
040    GP|cGP 
041 0  eng 
050  4 QA76.27|b.T73 2012 
082 04 004.072|223 
245 00 Transactions on computational science XV|h[electronic 
       resource] :|bspecial issue on advances in autonomic 
       computing : formal engineering methods for nature-inspired
       computing systems /|cedited by Marina L. Gavrilova, C. J. 
       Kenneth Tan, Cong-Vinh Phan 
246 3  Transactions on computational science 15 
260    Berlin, Heidelberg :|bSpringer Berlin Heidelberg,|c2012 
300    x, 216 p. :|bill., digital ;|c24 cm 
490 1  Lecture notes in computer science,|x0302-9743 ;|v7050 
590    Springer 
650  0 Computer science|xResearch 
650  0 Formal methods (Computer science) 
650  0 Biologically-inspired computing 
650 14 Computer Science 
650 24 Software Engineering 
650 24 Logics and Meanings of Programs 
650 24 Algorithm Analysis and Problem Complexity 
650 24 Artificial Intelligence (incl. Robotics) 
650 24 Appl.Mathematics/Computational Methods of Engineering 
650 24 Computer Communication Networks 
700 1  Gavrilova, Marina L 
700 1  Tan, C. J. Kenneth 
700 1  Phan, Cong-Vinh 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
830  0 Lecture notes in computer science ;|v7050 
856 40 |uhttp://dx.doi.org/10.1007/978-3-642-28525-7
       |zeBook(Springer)