Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Fields of Logic and Computation II
پدید آورنده
\ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
موضوع
Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده
QA
76
.
9
.
L63
F54
2015
E-Book
,
کتابخانه
Library of Foreign Languages and Islamic Sources
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
37839111
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319235332
NATIONAL BIBLIOGRAPHY NUMBER
Number
13716
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Fields of Logic and Computation II
General Material Designation
[electronic resources]
Other Title Information
: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
First Statement of Responsibility
\ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 319 pages)
Other Physical Details
:ill.
SERIES
Series Title
Lecture notes in computer science
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
; 9300
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Software engineering
Entry Element
نرمافزار
Form Subdivision
-- Congresses
Form Subdivision
-- کنگرهها
Topical Subdivision
-- مهندسی
a04
a04
Computer logic -- Congresses
Computer science -- Mathematics -- Congresses
منطق کامپیوتری -- کنگره ها
علوم کامپیوتر -- ریاضیات -- کنگرهها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
L63
F54
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Gurevich, Yuri, honouree.
Beklemishev, Lev Dmitrievich, 1967- editor.
Blass, Andreas, 1947- editor.
Dershowitz, Nachum, editor.
Finkbeiner, Bernd, editor.
Schulte, Wolfram, editor.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Yurifest (Symposium) (2nd : 2015 : Berlin, Germany)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319235332.pdf
p
BL
279177
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal