Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-7 ل  7 نتائج ل ""Mathematical theory of computation""

فلترة النتائج

Subject : automata theory
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
eBook

Automated Reasoning

  • Authors : Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk

Subjects: artificial intelligence; automata theory; computer hardware

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Computer Aided Verification

  • Authors : Silva, Alexandra; Leino, K. Rustan M.

Subjects: architecture verification; artificial intelligence; automata theory

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Automated Deduction – CADE 28

  • Authors : Platzer, André; Sutcliffe, Geoff

Subjects: Artificial Intelligence; Mathematical Logic and Formal Languages; Logics and Meanings of Programs

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Foundations of Software Science and Computation Structures

  • Authors : Kiefer, Stefan; Tasson, Christine

Subjects: Mathematical Logic and Formal Languages; Theory of Computation; Natural Language Processing (NLP)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Tools and Algorithms for the Construction and Analysis of Systems

  • Authors : Groote, Jan Friso; Larsen, Kim Guldstrand

Subjects: Theory of Computation; Computer Systems Organization and Communication Networks; Control Structures and Microprogramming

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Computer Aided Verification

  • Authors : Lahiri, Shuvendu K.; Wang, Chao

Subjects: Software Engineering; Theory of Computation; Artificial Intelligence

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Tools and Algorithms for the Construction and Analysis of Systems

  • Authors : Biere, Armin; Parker, David

Subjects: Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems; Computer System Implementation

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-7 ل  7 نتائج ل ""Mathematical theory of computation""