Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Decision procedures : an algorithmic point of view
پدید آورنده
/ Daniel Kroening, Ofer Strichman,کرونینگ,Kroening
موضوع
تجزیه و تحلیل ترتیبی,الگوریتمها,تصمیمگیری آماری
رده
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
کتابخانه
National Library and Archives of Islamic Republic of Iran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
88644104
-
021
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
306644
(Number (ISBN
978-3-540-74104-6
NATIONAL BIBLIOGRAPHY NUMBER
Number
۱۷۵۰۴۳۸
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Decision procedures : an algorithmic point of view
First Statement of Responsibility
/ Daniel Kroening, Ofer Strichman
Subsequent Statement of Responsibility
; foreworded by Randal E. Bryant.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
=1387.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 304 ص.
GENERAL NOTES
Text of Note
انگلیسی.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
کتابنامه: [285]-297.
Text of Note
نمایه.
دیسیژن ...
TOPICAL NAME USED AS SUBJECT
Entry Element
تجزیه و تحلیل ترتیبی
Entry Element
الگوریتمها
Entry Element
تصمیمگیری آماری
DEWEY DECIMAL CLASSIFICATION
Number
۵۱۹
/
۵۴۲
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
۲۹۷
/
۷
Book number
/
ک
۴
د
۹ ۱۳۸۷
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
کرونینگ
Entry Element
Kroening
Part of Name Other than Entry Element
، دانیل
Part of Name Other than Entry Element
, Daniel
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
استریچمن
Entry Element
Strichman
Part of Name Other than Entry Element
، آفر
Part of Name Other than Entry Element
, Ofer
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
برایانت
Entry Element
Bryant
Part of Name Other than Entry Element
، رندل
Part of Name Other than Entry Element
, Randal
Dates
، مقدمهنویس
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal