عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642297090
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434571
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Perspectives of Systems Informatics
General Material Designation
[Book]
Other Title Information
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
First Statement of Responsibility
edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg :
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg,
Date of Publication, Distribution, etc.
2012
SERIES
Series Title
Lecture Notes in Computer Science,
Volume Designation
7162
ISSN of Series
0302-9743 ;
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642297083
PIECE
Title
Springer eBooks
TOPICAL NAME USED AS SUBJECT
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
PERSONAL NAME - PRIMARY RESPONSIBILITY
Clarke, Edmund
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Virbitskaite, Irina
Voronkov, Andrei
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20120512112758.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
