Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Decision ProceduresAn Algorithmic Po...
~
Kroening, Daniel.
Decision ProceduresAn Algorithmic Point of View /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Decision Proceduresby Daniel Kroening, Ofer Strichman.
Reminder of title:
An Algorithmic Point of View /
Author:
Kroening, Daniel.
other author:
Strichman, Ofer.
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
Description:
304 p. :ill., digital.
Series:
Texts in Theoretical Computer Science, An Eatcs Series,
Contained By:
Springer eBooks
Subject:
Theory of Computation.
Online resource:
http://dx.doi.org/10.1007/978-3-540-74105-3
ISBN:
9783540741046 (paper)
Decision ProceduresAn Algorithmic Point of View /
Kroening, Daniel.
Decision Procedures
An Algorithmic Point of View /[electronic resource] :by Daniel Kroening, Ofer Strichman. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - 304 p. :ill., digital. - Texts in Theoretical Computer Science, An Eatcs Series,1862-4499.
ISBN: 9783540741046 (paper)Subjects--Topical Terms:
274475
Theory of Computation.
Dewey Class. No.: 511.3
Decision ProceduresAn Algorithmic Point of View /
LDR
:00882nmm _22002295a_450
001
185935
003
Springer
005
20080604131038.0
006
m d
007
cr nn 008maaau
008
090528s2008 gw j eng d
020
$a
9783540741046 (paper)
020
$a
9783540741053 (electronic bk.)
035
$a
00331583
082
0 4
$2
22
$a
511.3
090
$a
QA9.65
$b
.K93 2008
100
0
$a
Kroening, Daniel.
$3
277571
245
1 0
$a
Decision Procedures
$b
An Algorithmic Point of View /
$c
by Daniel Kroening, Ofer Strichman.
$h
[electronic resource] :
260
#
$a
Berlin, Heidelberg :
$c
2008.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
304 p. :
$b
ill., digital.
440
0
$a
Texts in Theoretical Computer Science, An Eatcs Series,
$x
1862-4499
650
# 0
$a
Theory of Computation.
$3
274475
650
# 0
$a
Turing machines.
$3
277572
650
# 0
$a
Computational complexity.
$3
185313
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Artificial Intelligence (incl. Robotics)
$3
252959
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
700
0 #
$a
Strichman, Ofer.
$3
277570
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer eBooks
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-3-540-74105-3
$z
http://dx.doi.org/10.1007/978-3-540-74105-3
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
000000011309
電子館藏
1圖書
電子書
EB QA9.65 .K93 2008
一般使用(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/978-3-540-74105-3
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login