Addison Wesley Formal Development of Programs and Proofs (The Ut Year of Programming Series) djvu

DjVu, kitap ve dergilerin elektronik ortamda dağıtımı ile son zamanlarda oldukça popüler hale geldi. Ancak, bu uzantı özellikle taranmış belgeleri depolamak için tasarlanmıştır. Bu nedenle, bu format Formal Development of Programs and Proofs (The Ut Year of Programming Series) kitabının orijinal baskısının tam rengini iletir. Kitabın basılı baskısının gerçek renklerini ve dokusunu göreceksiniz. DjVu'nun benzersiz bir özelliği, ağ üzerinden aktarım için yerleşik optimizasyondur; böylece dosya indirme işlemi tamamlanmadan önce sayfa görüntülenebilir. Ayrıca Formal Development of Programs and Proofs (The Ut Year of Programming Series). DjVu kitabında, örneğin içindekiler tablosunda çok uygun olan etkileşimli bağlantıları kullanabilirsiniz. DjVu renkli bir görüntüyü göstermek için birkaç katman kullanır. Bu, Addison Wesley Formal Development of Programs and Proofs (The Ut Year of Programming Series) kitap dosyasının boyutunu önemli ölçüde azaltmaya yardımcı olur. DjVu'yu bilgisayarınızda veya mobil cihazınızda görüntülemek için özel bir uygulama kurmanız gerekir. Bu amaç için uygun DjVu Okuyucu. Programı başlattıktan sonra, DjVu kitabını açıp görüntüleyebilirsiniz. Kurulum gerektirmez, kullanımı kolaydır, ekstra bir şey yoktur. DjVu dosya formatı genellikle .djvu uzantısını kullanır ve Adobe PDF formatına bir alternatif olarak geliştirilmiştir. Söylediğimiz gibi, çoğu durumda DjVu dosyaları karşılaştırılabilir PDF dosyalarından daha küçüktür. Bu, evrensel Deflate sıkıştırma algoritması ile kolaylaştırılmıştır. Ancak bu, bu formatın tek benzersiz algoritması değildir. DjVu bir "talep üzerine" dekompresyon algoritması ve görüntü "maskeleme" algoritması kullanır. Taranan bir görüntüdeki metni arka plandan ayırma algoritması, kitabın metninin Formal Development of Programs and Proofs (The Ut Year of Programming Series) favori kısmını seçmek ve kopyalamak ve ardından tekrar okumak için çok yararlıdır. DjVu, birkaç bilimsel kitap kütüphanesinin temeli oldu. Oldukça popüler ve çok sayıda farklı belge oluşturuyor.