Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Reachability problems
پدید آورنده
Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
موضوع
Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده
QA76
.
76
.
V47
R6
2012eb
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642335128 (electronic bk.)
(Number (ISBN
9783642335129 (electronic bk.)
Erroneous ISBN
9783642335112
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434834
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reachability problems
General Material Designation
[Book]
Other Title Information
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
First Statement of Responsibility
Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7550
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
RP 2012
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics, Congresses
Computer systems-- Verification, Congresses
Decidability (Mathematical logic), Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Class number
QA76
.
76
.
V47
Book number
R6
2012eb
Book number
R6
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Finkel, A., (Alain),1958-
Leroux, Jérôme
Potapov, Igor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RP (Workshop)(6th :2012 :, Bordeaux, France)
ORIGINATING SOURCE
Date of Transaction
20130403130958.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal