検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings / edited by R. Ramanujam, Sandeep Sen T2 Lecture Notes in Computer Science A1 Ramanujam, R. A1 Sen, Sandeep A1 SpringerLink (Online service) YR 2005 FD 2005 K1 Computer Science K1 Logic design K1 Computer software K1 Mathematical Logic and Formal Languages K1 Logics and Meanings of Programs K1 Computer science K1 Algorithm Analysis and Problem Complexity K1 Computation by Abstract Devices K1 Computer science K1 Discrete Mathematics in Computer Science K1 Computational complexity K1 Programming Languages, Compilers, Interpreters K1 Computer science PB Springer-Verlag GmbH. PP Berlin Heidelberg SN 9783540324195 LA English (英語) NO 書誌ID=1002982651; LK [E Book]http://dx.doi.org/10.1007/11590156 OL 30