عنوان
پدید آورنده
موضوع
رده
QA76.27 .T73 2012eb
QA76
.
27
.
T73
2012eb
کتابخانه
محل استقرار
3642285252 (electronic bk.)
9783642285257 (electronic bk.)
3642285244
9783642285240
b434474
Transactions on computational science XV
[Book]
special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems /
Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan (eds.)
New York :
Springer,
c2012
1 online resource (x, 216 p.) :
ill. (some col.)
Lecture notes in computer science,
7050
0302-9743 ;
Includes bibliographical references and index
Transactions on Computational Science XV.
9783642285240
OhioLINK electronic book center (Online)
SpringerLink
Transactions on computational science 15
Computer science-- Research
Formal methods (Computer science)
Natural computation
004
.
072
23
QA76
.
27
QA76
.
27
.
T73
2012eb
.
T73
2012eb
Gavrilova, Marina L
Phan, Cong-Vinh
Tan, C. J. Kenneth, (Chih Jeng Kenneth)
20120705120542.0
مطالعه متن کتاب [Book]
Y
