عنوان
پدید آورنده
موضوع
رده
QA75.5 .I52 2011eb
QA75
.
5
.
I52
2011eb
کتابخانه
محل استقرار
3642297099 (electronic bk.)
9783642297090 (electronic bk.)
3642297080
9783642297083
b434572
Perspectives of systems informatics
[Book]
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers /
Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
New York :
Springer,
c2012
1 online resource (xiii, 410 p.) :
ill. (some col.)
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7162
0302-9743 ;
Includes bibliographical references and index
Perspectives of Systems Informatics.
9783642297083
OhioLINK electronic book center (Online)
SpringerLink
PSI 2011
Computer science, Congresses
Software engineering, Congresses
Systems engineering, Congresses
004
23
QA75
.
5
QA75
.
5
.
I52
2011eb
.
I52
2011eb
Clarke, E. M.,1945-
Virbitskaite, Irina
Voronkov, A., (Andreĭ),1959-
International Andrei Ershov Memorial Conference(8th :2011 :, Novosibirsk, Russia)
20120905150706.0
مطالعه متن کتاب [Book]
Y
