عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783642297090
b434571
Perspectives of Systems Informatics
[Book]
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012
Lecture Notes in Computer Science,
7162
0302-9743 ;
9783642297083
Springer eBooks
Computer science
Computer software
Computer vision
Logic design
Software engineering
Algorithm Analysis and Problem Complexity
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Clarke, Edmund
Virbitskaite, Irina
Voronkov, Andrei
SpringerLink (Online service)
20120512112758.0
مطالعه متن کتاب [Book]
Y
