大葉大學圖書館 |

登入

回上页

Coalgebraic methods in computer scie...

Bonsangue, Marcello M.

Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /

纪录类型:	书目-语言数据,印刷品 : Monograph/item
[NT 15000414] null:	004.0151
[NT 47271] Title/Author:	Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers // edited by Marcello M. Bonsangue.
[NT 51403] remainder title:	CMCS 2014
[NT 51406] other author:	Bonsangue, Marcello M.
[NT 51402] corporate name:	Clark Conference
出版者:	Berlin, Heidelberg : : Springer Berlin Heidelberg :, 2014.
面页册数:	x, 245 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
标题:	Computer science - Periodicals. - Mathematics
标题:	Computer software - Congresses. - Mathematics
标题:	Computer Science.
标题:	Mathematical Logic and Formal Languages.
标题:	Computation by Abstract Devices.
标题:	Logics and Meanings of Programs.
标题:	Probability and Statistics in Computer Science.
ISBN:	9783662441244 (electronic bk.)
ISBN:	9783662441237 (paper)
电子资源:	http://dx.doi.org/10.1007/978-3-662-44124-4

Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
Coalgebraic methods in computer science12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /[electronic resource] :CMCS 2014edited by Marcello M. Bonsangue. - Berlin, Heidelberg :Springer Berlin Heidelberg :2014. - x, 245 p. :ill., digital ;24 cm. - Lecture notes in computer science,84460302-9743 ;. - Lecture notes in computer science ;7103..

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

345167
Computer science
--Mathematics--Periodicals.

Dewey Class. No.: 004.0151

Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
LDR:01008nam a2200265 a 4500 001 417085
003 DE-He213
005 20141204111659.0
006 m d
007 cr nn 008maaau
008 150210s2014 gw s 0 eng d
020 $a 9783662441244 (electronic bk.)
020 $a 9783662441237 (paper)
035 $a 978-3-662-44124-4
040 $a GP $c GP
041 0 $a eng
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b W926 2014
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Coalgebraic methods in computer science $h [electronic resource] : $b 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers / $c edited by Marcello M. Bonsangue.
246 3 $a CMCS 2014
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2014.
300 $a x, 245 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 8446
650 0 $a Computer science $x Mathematics $v Periodicals. $3 345167
650 0 $a Computer software $x Mathematics $v Congresses. $3 589870
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Computation by Abstract Devices. $3 463641
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Probability and Statistics in Computer Science. $3 468089
700 1 $a Bonsangue, Marcello M. $3 589869
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-44124-4
950 $a Computer Science (Springer-11645)

读者评论 0 笔

多媒体

多媒体档案
http://dx.doi.org/10.1007/978-3-662-44124-4

新增评论分享你的心得

Export

[NT 5501410] pickup library