Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Automata for branching and layered temporal structures
پدید آورنده
/ Gabriele Puppis
موضوع
Machine theory
رده
QA267
.
P87
2010
کتابخانه
Central Library, Center of Documentation and Supply of Scientific Resources
محل استقرار
استان:
East Azarbaijan
ـ شهر:
تماس با کتابخانه :
04133443834
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642118814
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-4807
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automata for branching and layered temporal structures
General Material Designation
[Book]
Other Title Information
:an investigation into regularities of infinite transition systems
First Statement of Responsibility
/ Gabriele Puppis
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 206 p., ill.
SERIES
Series Title
(Lecture notes in computer science,0302-9743
Series Title
(LNCS sublibrary
Other Title Information
: SL 7 - Artificial intelligence.)
Volume Designation
; 5955.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information.)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
SERIES
Title
Lecture notes in computer science
Title
Lecture notes in computer science.Lecture notes in artificial intelligence
Title
Lecture notes in computer science.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information
Title
LNCS sublibrary.SL 7,Artificial intelligence
Volume Number
5955
TOPICAL NAME USED AS SUBJECT
Machine theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA267
Book number
.
P87
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Puppis, Gabriele.
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal