Encoding [Stichwörter]

Introduction to Dependent Types with Idris - Encoding Program Proofs in Types

von Boro Sitnikovski Verlag: Apress

2023 Kartoniert, 176 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng Introduces formal systems and mathematical logical systems and builds up to dependent typesEvery chapter includes practical exercisesCovers the Idris programming language to prove some mathematical properties

---

In den Warenkorb

40,32 EUR

Kostenloser Versand

In den Warenkorb

Caret - Character encoding, Code point, Unicode

Verlag: OmniScriptum

2026 Kartoniert, 56 Seiten, 220mm x 150mm x 4mm, Sprache(n): eng

---

In den Warenkorb

124,92 EUR

Kostenloser Versand

In den Warenkorb

Language and Desire - Encoding Sex, Romance and Intimacy

Verlag: Routledge

1997 Kartoniert, 260 Seiten, 234mm x 156mm x 14mm, Sprache(n): eng

---

In den Warenkorb

108,26 EUR

Kostenloser Versand

In den Warenkorb

Language and Desire - Encoding Sex, Romance and Intimacy

Verlag: Routledge

2016 Gebunden, 260 Seiten, 240mm x 161mm x 19mm, Sprache(n): eng

---

In den Warenkorb

331,34 EUR

Kostenloser Versand

In den Warenkorb

Magnetic Resonance Imaging with Nonlinear Gradient Fields - Signal Encoding and Image Reconstructi…

von Gerrit Schultz Verlag: Springer Gabler

2013 Kartoniert, 352 Seiten, 210mm x 148mm x 20mm, Sprache(n): eng Within the past few decades magnetic resonance imaging has become one of the most important imaging modalities in medicine. For a reliable diagnosis of pathologies further technological improvements are of primary importance. Thi…

---

In den Warenkorb

60,88 EUR

Kostenloser Versand

In den Warenkorb

GSM 03. 38 - Mobile Telephony, Character Encoding, SMS

Verlag: OmniScriptum

2026 Kartoniert, 100 Seiten, 220mm x 150mm x 6mm, Sprache(n): eng

---

In den Warenkorb

146,46 EUR

Kostenloser Versand

In den Warenkorb

Shift JIS - MIME, Character encoding, Japanese language

Verlag: OmniScriptum

2026 Kartoniert, 68 Seiten, 220mm x 150mm x 5mm, Sprache(n): eng

---

In den Warenkorb

124,92 EUR

Kostenloser Versand

In den Warenkorb

Romanization of Malayalam - ASCII, Character encoding, English alphabet

Verlag: OmniScriptum

2026 Kartoniert, 68 Seiten, 220mm x 150mm x 5mm, Sprache(n): eng

---

In den Warenkorb

124,92 EUR

Kostenloser Versand

In den Warenkorb

The Unicode Standard Version 3. 0, w. CD-ROM: Worldwide Character Encoding - Unicode Consortium

Unbekannter Einband Gebrauchtes Exemplar in insgesamt gutem Erhaltungszustand mit Lesespuren und Knicke. Möglicherweise vorhandene Vorbesitzervermerke. Es können Abweichungen in Auflage, Schutzumschlag oder Coverabbildung zum Abbildungsexemplar vorliegen. Bitte rechnen Sie mit möglichen gewisse…

---

In den Warenkorb

19,81 EUR

zzgl. 3,99 EUR Verpackung & Versand

In den Warenkorb

Cultural and Linguistic Encounters: Arab EFL Learners Encoding and Decoding Idioms (Intercultural S…

von Anissa Daoudi Verlag: Peter Lang Ltd. International Academic Publishers,

1 2011. Taschenbuch, Maße: 15.24 cm x 1.22 cm x 22.86 cm 213 S. Dieses englischsprachige Fachbuch untersucht, wie arabische Lernende der englischen Sprache Redewendungen und Idiome verstehen und verwenden. Im Mittelpunkt stehen sprachliche und kulturelle Einflüsse auf den Fremdsprachenerwerb sowie…

---

In den Warenkorb

44,50 EUR

zzgl. 7,50 EUR Verpackung & Versand

In den Warenkorb