• 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

National Library and Archives of Islamic Republic of Iran

تماس با کتابخانه : 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

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival