Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Relational Methods in Computer Scien...
~
(1998 :)
Relational Methods in Computer Science8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Relational Methods in Computer Scienceedited by Wendy MacCaull, Michael Winter, Ivo Duntsch.
Reminder of title:
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
other author:
Duntsch, Ivo.
corporate name:
Published:
Berlin Heidelberg :Springer-Verlag GmbH.,2006
Description:
viii, 262 p. :ill., digital ;24 cm.
Series:
Lecture Notes in Computer Science,
Contained By:
Springer e-books
Subject:
Computer science
Online resource:
http://dx.doi.org/10.1007/11734673
ISBN:
9783540333395 (paper)
Relational Methods in Computer Science8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
Relational Methods in Computer Science
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /[electronic resource] :edited by Wendy MacCaull, Michael Winter, Ivo Duntsch. - Berlin Heidelberg :Springer-Verlag GmbH.,2006 - viii, 262 p. :ill., digital ;24 cm. - Lecture Notes in Computer Science,39290302-9743 ;.
ISBN: 9783540333395 (paper)Subjects--Topical Terms:
252805
Computer science
LC Class. No.: QA76 / .R437 2005
Dewey Class. No.: 004
Relational Methods in Computer Science8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
LDR
:01155nmm _22002415a_450
001
186618
003
Springer
005
20071114143651.0
006
m d
007
cr nn 008mamaa
008
090528s2006 gw j eng d
020
$a
9783540333395 (paper)
020
$a
9783540333401 (electronic bk.)
035
$a
00333978
050
0 0
$a
QA76
$b
.R437 2005
082
0 4
$2
22
$a
004
090
$a
QA76
$b
.R382 2005
111
0
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Relational Methods in Computer Science
$b
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
$c
edited by Wendy MacCaull, Michael Winter, Ivo Duntsch.
$h
[electronic resource] :
260
#
$a
Berlin Heidelberg :
$c
2006
$b
Springer-Verlag GmbH.,
300
$a
viii, 262 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture Notes in Computer Science,
$v
3929
$x
0302-9743 ;
650
# 0
$a
Computer science
$3
252805
650
# 0
$a
Relationism
$v
Congresses.
$3
446545
650
# 0
$a
Algebra
$x
Computer programs
$v
Congresses.
$3
446546
650
# 0
$a
Relation algebras
$v
Congresses.
$3
384460
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
# 0
$a
Discrete Mathematics in Computer Science.
$3
274791
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Mathematical Logic and Formal Languages.
$3
275383
650
# 0
$a
Software Engineering.
$3
274511
650
# 0
$a
Symbolic and Algebraic Manipulation.
$3
273720
700
0 #
$a
Duntsch, Ivo.
$3
279201
700
0 #
$a
Winter, Michael.
$3
279202
700
0 #
$a
MacCaull, Wendy.
$3
279200
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11734673
$z
http://dx.doi.org/10.1007/11734673
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
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
000000011992
電子館藏
1圖書
電子書
EB QA76 R382 2005
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11734673
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login