Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Fields of logic and computationessay...
~
Blass, Andreas.
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Fields of logic and computationedited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
Reminder of title:
essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
other author:
Reisig, Wolfgang.
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010.
Description:
xiii, 626 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer scienceMathematics.
Online resource:
http://dx.doi.org/10.1007/978-3-642-15025-8
ISBN:
9783642150258 (electronic bk.)
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
Fields of logic and computation
essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /[electronic resource] :edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010. - xiii, 626 p. :ill., digital ;24 cm. - Lecture notes in computer science,63000302-9743 ;.
ISBN: 9783642150258 (electronic bk.)Subjects--Topical Terms:
181991
Computer science
--Mathematics.
LC Class. No.: QA76.9.M35 / F54 2010
Dewey Class. No.: 004.0151
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
LDR
:00931nmm 2200241 a 4500
001
277914
003
Springer
005
20110113095938.0
006
m d
007
cr nn 008maaau
008
110201s2010 gw s j eng d
020
$a
9783642150258 (electronic bk.)
020
$a
9783642150241 (paper)
035
$a
978-3-642-15024-1
050
0 4
$a
QA76.9.M35
$b
F54 2010
082
0 4
$a
004.0151
$2
22
090
$a
QA76.9.M35
$b
F461 2010
245
0 0
$a
Fields of logic and computation
$h
[electronic resource] :
$b
essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
$c
edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
260
$a
Berlin, Heidelberg :
$b
Springer-Verlag Berlin Heidelberg,
$c
2010.
300
$a
xiii, 626 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6300
650
0
$a
Computer science
$x
Mathematics.
$3
181991
650
0
$a
Information theory.
$3
183013
650
0
$a
Formal methods (Computer science)
$3
277520
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
650
2 4
$a
Computer Communication Networks.
$3
218087
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
700
1
$a
Reisig, Wolfgang.
$3
467083
700
1
$a
Blass, Andreas.
$3
489408
700
1
$a
Dershowitz, Nachum.
$3
276322
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-15025-8
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
000000051075
電子館藏
1圖書
電子書
EB QA76.9.M35 F461 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-15025-8
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login