عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 W67 2012eb
QA76
.
9
.
M35
W67
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642327842 (electronic bk.)
(Number (ISBN
9783642327841 (electronic bk.)
Erroneous ISBN
9783642327834
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434784
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Coalgebraic methods in computer science
General Material Designation
[Book]
Other Title Information
11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers /
First Statement of Responsibility
Dirk Pattinson, Lutz Schröder (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 (258 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS Sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7399
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Coalgebraic methods in computer science.
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
CMSC 2012
Parallel Title
ETAPS 2012
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics, Congresses
Computer software-- Mathematics, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Class number
QA76
.
9
.
M35
Book number
W67
2012eb
Book number
W67
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Pattinson, Dirk,1970-
Schröder, Lutz
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Workshop on Coalgebraic Methods in Computer Science(11th :2012 :, Tallinn, Estonia)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
ETAPS (Conference)(2012 :, Tallinn, Estonia)
ORIGINATING SOURCE
Date of Transaction
20130304114535.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
