Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Werner Kluge yazarının Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) kitabı da dahil olmak üzere birçok dosya aşağıdaki bölümleri de içerebilir:
- imza dosyası: çeşitli varlıklar için dijital imzalar içerir.
- şifreleme.xml: yayımlama kaynaklarının şifrelenmesiyle ilgili bilgileri içerir. (Yazı tipi gizleme kullanılıyorsa bu dosya gereklidir.)
- meta veriler: kapsayıcı hakkında meta verileri depolamak için kullanılır.
- haklar: Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) kitabının dijital haklarıyla ilgili bilgileri depolamak için kullanılır.
XHTML içerik belgeleri ayrıca zengin meta verilerle Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) kitap işaretlemesine açıklama ekleme olanakları içerir, bu da onları hem işleme hem de erişilebilirlik amaçları için anlamsal olarak daha anlamlı ve kullanışlı hale getirir.
E içerik belgeleri, bir yayının okunabilir içeriğini tanımlayan ve ilgili medya varlıklarına (görüntüler, ses ve video klipler gibi) bağlantı veren XHTML (HTML5 profili tarafından tanımlanır) veya SVG belgeleri vb.'dir.
yazar | Werner Kluge |
---|---|
Tarafından yayınlandı | 18 Şubat 2005 |
18,9 x 0,5 x 24,6 cm Kolektif 3 Ocak 2017 15 x 0,5 x 22 cm ROBERT H BORK Additional Contributors 28 Şubat 2018 28 Ekim 2011 WADE H MCCREE 29 Ekim 2011 18,9 x 0,2 x 24,6 cm Mdpi AG 30 Ekim 2011 18,9 x 0,6 x 24,6 cm 1 Ocak 2017 ERWIN N GRISWOLD 18,9 x 0,3 x 24,6 cm 18,9 x 0,4 x 24,6 cm
okumak okumak kayıt olmadan
yazar | Werner Kluge |
---|---|
isbn 10 | 3540211462 |
isbn 13 | 978-3540211464 |
Yayımcı | Springer-Verlag Berlin and Heidelberg GmbH & Co. K; 2005. basım |
Dilim | İngilizce |
Tarafından yayınlandı Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) | 18 Şubat 2005 |
En son kitaplar
benzer kitaplar
Hands-On Functional Programming with C++: An effective guide to writing accelerated functional code using C++17 and C++20
okumak kayıt olmadan
Quick Intro Guide to Computer Science 2 with C++: A Brief Introduction to Data Structures and Algorithms
okumak kayıt olmadan
Rodrigues-Craig, J: Product Analytics: Applied Data Science Techniques for Actionable Consumer Insights (Addison-wesley Data & Analytics)
okumak kayıt olmadan
Hands-On Functional Programming with C++: An effective guide to writing accelerated functional code using C++17 and C++20
okumak kayıt olmadan
Quick Intro Guide to Computer Science 2 with C++: A Brief Introduction to Data Structures and Algorithms
okumak kayıt olmadan
Rodrigues-Craig, J: Product Analytics: Applied Data Science Techniques for Actionable Consumer Insights (Addison-wesley Data & Analytics)
okumak kayıt olmadan