Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Bushman dictionary
None
Algebraic Methodology and Software Technology
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.
A Dictionary of the Hawaiian Language
Reprint of the original, first published in 1865. To which is appended an English Hawaiian Vocabulary and a chronological table of remarkable events.
The World Factbook
None
The Intertextuality of Terry Pratchett’s Discworld as a Major Challenge for the Translator
For the translator, intertexts are among chief problems posed by the source text. Often unmarked typographically, direct or altered, not necessarily well-known and sometimes intersemiotic, quotations and references to other writings and culture texts call for erudition and careful handling, so that readers of the translation stand a chance of spotting them, too. For the reader, the rich intertextuality of Terry Pratchett’s Discworld series is among its trademark features. Consequently, it should not be missed in translations whose success thus depends significantly on the quality of translation of the intertexts which, as is highlighted here, cover a vast and varied range of types of original texts. The book focuses on how to deal with Pratchett’s intertexts: how to track them down, analyse their role, predict obstacles to their effective translation, and suggest translation solutions – complete with a discussion of the translation of selected intertextual fragments in the Polish version, Świat Dysku, a concise overview of intertextual theories, and an assessment of the translator’s work.
Semirings
This book provides an introduction to the algebraic theory of semirings, including a detailed treatment of some applications in theoretical computer science. The focus is on the general concepts and statements of the algebraic theory of semirings and those aspects of the theory which are needed for the aforementioned applications. The book also deals with a concept of semirings that includes commutativity of addition, as is usually done for rings.
