Perspectives of system informatics : 8th international Ershov informatics conference, PSI 2011 : Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers : Jun 2011, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 7162)

Perspectives of system informatics : 8th international Ershov informatics conference, PSI 2011 : Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers : Jun 2011, Novosibirsk, Russia.

(Lecture Notes in Computer Science ; 7162)

国立国会図書館請求記号: M17-13-1061
国立国会図書館書誌ID: 024021917

資料種別: 図書

著者: International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia)ほか

出版者: Springer

出版年: c2012.

資料形態: 紙

ページ数・大きさ等: xiii, 410 p. ; 24 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: Revised selected papers and abstracts."Traditionally, PSI offers a program of tutorials, invited lectures, (...) and workshops (...)" -- pref.

形態の詳細：: ill.

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 9783642297090 (e-ISBN)
9783642297083
ISSN: 161133479 (e-ISSN)
ISSN（シリーズ）: 03029743
タイトル: Perspectives of system informatics : 8th international Ershov informatics conference, PSI 2011 : Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers : Jun 2011, Novosibirsk, Russia.
シリーズタイトル: Lecture Notes in Computer Science ; 7162
タイトル標目: Lecture notes in computer science ; 7162.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
著者標目: International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia)
Clarke, E. M., 1945-
Virbitskaite, Irina.
Voronkov, A. (Andreĭ), 1959-
出版事項: Berlin : Springer
New York : Springer
出版年月日等: c2012.
出版年（W3CDTF）: 2012
数量: xiii, 410 p.
形態の詳細: ill.
大きさ: 24 cm.
出版地（国名コード）: DE
US
本文の言語コード: eng
ジャンル・形式用語: Electronic books.
件名標目: Computer science--Congresses.
Software engineering--Congresses.
Systems engineering--Congresses.
Computer science.
Software engineering.
Computer software.
Logic design.
Computer vision.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer Imaging, Vision, Pattern Recognition and Graphics.
LCC: QA75.5
DDC: 004
NDLC: M17
対象利用者: 一般
一般注記: Revised selected papers and abstracts.
"Traditionally, PSI offers a program of tutorials, invited lectures, (...) and workshops (...)" -- pref.
書誌注記: Includes bibliographical references and author index.
一次資料へのリンクURL: SpringerLink
http://dx.doi.org/10.1007/978-3-642-29709-0
所蔵機関: 国立国会図書館
請求記号: M17-13-1061
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 024021917
http://id.ndl.go.jp/bib/024021917
OCLC番号: 793911435
https://www.worldcat.org/oclc/793911435
目録規則: 英米目録規則
整理区分コード: 215