نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Mining software specifications :
پدید آورنده
[edited by] David Lo ... [et al.]
موضوع
Data mining,Data mining-- Mathematical models,Machine learning
رده
QA76
.
9
.
D343
M558
2011
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
1439806268 (hardcover : alk. paper)
شابک
9781439806265 (hardcover : alk. paper)
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Mining software specifications :
نام عام مواد
[Book]
ساير اطلاعات عنواني
methodologies and applications /
نام نخستين پديدآور
[edited by] David Lo ... [et al.]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boca Raton, FL :
نام ناشر، پخش کننده و غيره
CRC Press,
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 442 p. :
ساير جزييات
ill. ;
ابعاد
25 cm
فروست
عنوان فروست
Chapman & Hall/CRC data mining and knowledge discovery series
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Computer scientists explain methods for determining specifications for existing and heritage software when no or inadequate documentation is available. Among their topics are mining finite-state automata with annotations, adaptive grammar inference techniques for mining state machines, static specification mining using automata-based abstractions, automatic inference and the effective application of temporal specifications, path-aware static program analyses for specifications, and the lightweight mining of object usage. Annotation ©2011 Book News, Inc., Portland, OR (booknews.com)
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Data mining
موضوع مستند نشده
Data mining-- Mathematical models
موضوع مستند نشده
Machine learning
رده بندی ديویی
شماره
006
.
3/12
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
D343
نشانه اثر
M558
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Lo, David
مبدا اصلی
تاريخ عمليات
20110711114820.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد