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

نتائج البحث

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

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

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

Formal Methods

  • Authors : Platzer, Andre; Rozier, Kristin Yvonne; Pradella, Matteo

Subjects: architecture verification and validation; artificial intelligence; design and analysis of algorithms

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

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

Computer Aided Verification

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

Subjects: architecture verification; artificial intelligence; computer programming

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

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

Automated Deduction – CADE 28

  • Authors : Platzer, André; Sutcliffe, Geoff

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

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
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

Fundamental Approaches to Software Engineering

  • Authors : Guerra, Esther; Stoelinga, Mariëlle

Subjects: Software Engineering/Programming and Operating Systems; Data Structures and Information Theory; Natural Language Processing (NLP)

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
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

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

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

Programming Languages and Systems

  • Authors : Müller, Peter

Subjects: Programming Languages, Compilers, Interpreters; Computer Systems Organization and Communication Networks; Control Structures and Microprogramming

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

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