新生學校財團法人新生醫護管理專科學校圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Intelligent Computer Mathematics = 1...

SpringerLink (Online service)

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /

紀錄類型:	書目-電子資源 : 單行本
正題名/作者:	Intelligent Computer Mathematics/ edited by Johan Jeuring ... [et al.].
其他題名:	11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
其他題名:	AISC 2012
其他作者:	Jeuring, Johan.
團體作者:	Congress on Progress and Controversies in Oncological Urology
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2012.,
面頁冊數:	471 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Logics and Meanings of Programs. -
電子資源:	http://dx.doi.org/10.1007/978-3-642-31374-5
ISBN:	9783642313745 (electronic bk.)

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
Intelligent Computer Mathematics11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /[electronic resource] :AISC 2012edited by Johan Jeuring ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg,2012. - 471 p. :ill., digital ;24 cm. - Lecture notes in computer science,73620302-9743 ;. - Lecture notes in computer science ;4930..

ISBN: 9783642313745 (electronic bk.)Subjects--Topical Terms:

122248
Logics and Meanings of Programs.

LC Class. No.: QA76.9.M35 / A37 2012

Dewey Class. No.: 004.0151

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
LDR:01259nmm a2200325 a 4500 001 184562
003 DE-He213
005 20120810155626.0
006 m d
007 cr nn 008maaau
008 170203s2012 gw s 0 eng d
020 $a 9783642313745 (electronic bk.)
020 $a 9783642313738 (paper)
035 $a 978-3-642-31374-5
040 $a GP $c GP
041 0 # $a eng
050 # 4 $a QA76.9.M35 $b A37 2012
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b A299 2012
111 2 $a Congress on Progress and Controversies in Oncological Urology $n (6th : $d 2000: $c Rotterdam, Netherlands) $3 71642 $3 171735
245 1 0 $a Intelligent Computer Mathematics $h [electronic resource] : $b 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings / $c edited by Johan Jeuring ... [et al.].
246 3 # $a AISC 2012
246 3 # $a Calculemus 2012
246 3 # $a DML 2012
246 3 # $a MKM 2012
246 3 # $a CICM 2012
260 # $a Berlin, Heidelberg : $c 2012. $b Springer Berlin Heidelberg,
300 $a 471 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 7362
650 2 4 $a Logics and Meanings of Programs. $3 122248
650 2 4 $a Information Storage and Retrieval. $3 81546
650 # 0 $a Computer science $x Mathematics $v Congresses. $3 124477 $3 176313
650 # 0 $a Artificial intelligence $x Mathematics $v Congresses. $3 357893
650 1 4 $a Computer Science. $3 120417
650 2 4 $a Symbolic and Algebraic Manipulation. $3 122825
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 120419
650 2 4 $a Math Applications in Computer Science. $3 120926
650 2 4 $a Mathematical Logic and Formal Languages. $3 122272
700 1 # $a Jeuring, Johan. $3 357892
710 2 # $a SpringerLink (Online service) $3 120363
773 0 # $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4930. $3 124499 $3 176319
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-31374-5
950 $a Computer Science (Springer-11645)

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別