عنوان
پدید آورنده
موضوع
رده
QA155.7.E4
QA155
.
7
.
E4
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642214932
(Number (ISBN
9783642214936
Erroneous ISBN
3642214924
Erroneous ISBN
9783642214929
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434135
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Algebraic informatics :
General Material Designation
[Book]
Other Title Information
4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings /
First Statement of Responsibility
Franz Winkler (edition)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 260 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
6742
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011. The 12 revised full papers presented together with 4 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, et cetera decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, and algebraic aspects of cryptography
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-3-642-21492-9
OTHER EDITION IN ANOTHER MEDIUM
Title
Algebraic Informatics.
International Standard Book Number
9783642214929
PARALLEL TITLE PROPER
Parallel Title
CAI 2011
TOPICAL NAME USED AS SUBJECT
Algebra-- Data processing, Congresses
Computer science, Congresses
Graph theory, Congresses
Algebra-- Data processing, Congresses
Computer science, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
512
.
00285
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA155
.
7
.
E4
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Winkler, Franz,1955-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
CAI 2011(2011 :, Linz, Austria)
ORIGINATING SOURCE
Date of Transaction
20170726082122.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
