Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Reachability problems6th Internation...
~
(1998 :)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Reachability problemsedited by Alain Finkel, Jerome Leroux, Igor Potapov.
Reminder of title:
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
other author:
Finkel, Alain.
corporate name:
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg :2012.
Description:
ix, 148 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer systemsCongresses.Verification
Online resource:
http://dx.doi.org/10.1007/978-3-642-33512-9
ISBN:
9783642335129 (electronic bk.)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
Reachability problems
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /[electronic resource] :edited by Alain Finkel, Jerome Leroux, Igor Potapov. - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - ix, 148 p. :ill., digital ;24 cm. - Lecture notes in computer science,75500302-9743 ;. - Lecture notes in computer science ;4891..
ISBN: 9783642335129 (electronic bk.)Subjects--Topical Terms:
445015
Computer systems
--Verification--Congresses.
LC Class. No.: QA76.76.V47 / R6 2012
Dewey Class. No.: 004
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
LDR
:00970nmm a2200265 a 4500
001
346562
003
DE-He213
005
20121018115510.0
006
m d
007
cr nn 008maaau
008
121113s2012 gw s 0 eng d
020
$a
9783642335129 (electronic bk.)
020
$a
9783642335112 (paper)
035
$a
978-3-642-33512-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.76.V47
$b
R6 2012
082
0 4
$a
004
$2
23
090
$a
QA76.76.V47
$b
R111 2012
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Reachability problems
$h
[electronic resource] :
$b
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
$c
edited by Alain Finkel, Jerome Leroux, Igor Potapov.
260
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg :
$b
Imprint: Springer,
$c
2012.
300
$a
ix, 148 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
7550
650
0
$a
Computer systems
$x
Verification
$v
Congresses.
$3
445015
650
0
$a
Decidability (Mathematical logic)
$v
Congresses.
$3
453059
650
0
$a
Computer science
$x
Mathematics
$3
253427
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
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
650
2 4
$a
Computation by Abstract Devices.
$3
273703
700
1
$a
Finkel, Alain.
$3
468504
700
1
$a
Leroux, Jerome.
$3
576994
700
1
$a
Potapov, Igor.
$3
376700
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-33512-9
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
000000076715
電子館藏
1圖書
電子書
EB QA76.76.V47 R6 2012 2012
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-33512-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login