國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Semantics, logics, and calculiessays...

Hankin, Chris.

Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Semantics, logics, and calculiedited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen.
其他題名:	essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
其他作者:	Probst, Christian W.
出版者:	Cham :Springer International Publishing :2016.
面頁冊數:	x, 345 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Calculus.
電子資源:	https://doi.org/10.1007/978-3-319-27810-0
ISBN:	9783319278100$q(electronic bk.)

Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /[electronic resource] :edited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen. - Cham :Springer International Publishing :2016. - x, 345 p. :ill., digital ;24 cm. - Lecture notes in computer science,95600302-9743 ;. - Theoretical computer science and general issues..

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis. The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.

ISBN: 9783319278100$q(electronic bk.)

Standard No.: 10.1007/978-3-319-27810-0doiSubjects--Topical Terms:

183091
Calculus.

LC Class. No.: QA303.2

Dewey Class. No.: 515

Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
LDR:01744nmm a2200349 a 4500 001 548898
003 DE-He213
005 20190724134216.0
006 m d
007 cr nn 008maaau
008 190822s2016 gw s 0 eng d
020 $a 9783319278100$q(electronic bk.)
020 $a 9783319278094$q(paper)
024 7 $a 10.1007/978-3-319-27810-0 $2 doi
035 $a 978-3-319-27810-0
040 $a GP $c GP $e rda
041 0 $a eng
050 4 $a QA303.2
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 515 $2 23
090 $a QA303.2 $b .S471 2016
245 0 0 $a Semantics, logics, and calculi $h [electronic resource] : $b essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays / $c edited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a x, 345 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9560
490 1 $a Theoretical computer science and general issues
520 $a This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis. The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.
650 0 $a Calculus. $3 183091
650 0 $a Semantic computing. $3 384598
650 1 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
700 1 $a Probst, Christian W. $3 489501
700 1 $a Hankin, Chris. $3 285034
700 1 $a Hansen, Rene Rydhof. $3 828469
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Theoretical computer science and general issues. $3 822018
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-319-27810-0
950 $a Computer Science (Springer-11645)