Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
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 /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Semantics, logics, and calculiedited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen.
Reminder of title:
essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
other author:
Probst, Christian W.
Published:
Cham :Springer International Publishing :2016.
Description:
x, 345 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Calculus.
Online resource:
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 calculi
essays 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)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000164071
電子館藏
1圖書
電子書
EB QA303.2 S471 2016 2016
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-319-27810-0
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login