書目識別號
440651
書目型態
西文機讀編目格式-圖書(USMARC Bibliographic Format-Book)
書目參考 URL
http://autorpa.tcu.edu.tw/login?url=http://dx.doi.org/10.1007/978-3-642-17796-5
欄號/指標/分欄資料
035 $a978-3-642-17795-8 003 Springer 005 20110712135004.0 006 m d 007 cr nn 008maaau 020 $a9783642177965 (electronic bk.) 020 $a9783642177958 (paper) 05004$aQA76.758$b.I58 2010 08204$a005.1$222 090 $aQA76.758$b.I61 2010 1112 $aInternational Conference on Algebraic Methodology and Software Technology$n(13th :$d2010 :$cBeauport, Quebec) 24510$aAlgebraic methodology and software technology$h[electronic resource] :$b13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /$cedited by Michael Johnson, Dusko Pavlovic. 2463 $aAMAST 2010 260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2011. 300 $ax, 235 p. :$bill., digital ;$c24 cm. 440 0$aLecture notes in computer science,$x0302-9743 ;$v6486 650 0$aSoftware engineering$vCongresses. 650 0$aAbstract data types (Computer science)$vCongresses. 65014$aComputer Science. 65024$aSoftware Engineering. 65024$aLogics and Meanings of Programs. 65024$aProgramming Languages, Compilers, Interpreters. 65024$aMathematical Logic and Formal Languages. 65024$aArtificial Intelligence (incl. Robotics) 65024$aProgramming Techniques. 7001 $aJohnson, Michael. 7001 $aPavlovic, Dusko. 7102 $aSpringerLink (Online service) 7730 $tSpringer eBooks 950 $aComputer Science (Springer-11645) 095 $pES$dQA76.758
|
系統首頁
|
慈濟志業體圖書館館藏查詢系統(Library Catalog)
|
個人資料查詢(View Your Record)
|
新書通報(New Book Arrival)
|
指定參考書查詢(Course Reserves)
|
讀者意見(Suggestion)
|
|
讀者回覆(Reply)
|
推薦書刊(Purchase Request)
|
分類號查詢(Search By Classification Number)
|