نتائج البحث

Mathematics of the information of letters

• Authors : Ciocioc, Ion Valentin

Subjects: Media and communications; Digital humanities; Educational sciences

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

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

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

Chapter Bibliography

Subjects: authored support system; contextual machine translation; controlled document authoring

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

Chapter 1 Introduction

Subjects: authored support system; contextual machine translation; controlled document authoring

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

Computer Aided Verification

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

Subjects: Software Engineering; Theory of Computation; Artificial Intelligence

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

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

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

Programming Languages and Systems

• Authors : Müller, Peter

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

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

Chapter preface

Subjects: authored support system; contextual machine translation; controlled document authoring

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

Controlled Document Authoring in a Machine Translation Age

• Authors : Miyata, Rei

Subjects: authored support system; contextual machine translation; controlled document authoring

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