天依晴

同步多媒体集成语言SMIL教程

同步多媒体集成语言 a) SMIL 可用于创建因特网和内联网程序 b) SMIL 可用于创建幻灯片放映呈现 c) SMIL 已被描述为 PowerPoint 的 Internet 对应物 d) SMIL 呈现可显示多种文件类型（文本、视频、音频...） e) SMIL 可同时显示多个文件 f) SM

computer organization and design textbook

ComputerOrganizationandDesignRevised4thEdition。压缩文件的第一部分，需要下载三部分齐全才能解压缩。

Understanding Concurrent Systems

Thisbookisaimedateveryonewhowantstogetanin-depthunderstandingofconcurrent systems,andwillbeessentialreadingforanyoneinterestedinHoare’sCSP. PartIisdes

Computer Organization and Design Revised4th Edition

ComputerOrganizationandDesignRevised4thEdition.part2.rar

Some Recent Results in Metric Temporal Logics

JoÅNelOuaknineandJamesWorrellAbstract.MetricTemporalLogic(MTL)isawidely-studiedreal-timeextensionofLinearTemporalLogic.Inthispaperwesurveyresultsabout

ComputerOrganizationandDesign FifthEdition epubVersion

DavidA.Patterson著,非亚洲版,完整版，需要epub阅读器。比网上那个缩减的pdf的第5版（17MB）完整得多。保证不会失望。请勿做商业用途。

流媒体技术与创作part1

本书共14章，以RealNetworks的流媒体技术为基础，比较系统全面地介绍了流媒体的基本概念、文件制作、发布以及其他技术。详细讲解了RealText、RealPix和SMIL三种标记语言。本下载需要下载全部三个压缩文件：流媒体技术与创作.part1.rar、流媒体技术与创作.part2.rar、

FormalCorrectnessofSecurityProtocols

This book describes a key technique, the Inductive Method, for proving the correctness of security protocols. It is clearly written, starting with the

gemsoftheoreticalcomputerscience

Table of Contents Fundamental Definitions and Results 1 1 The Priority Method 9 2 Hilbert's Tenth Problem 15 3 The Equivalence Problem for LOOP(1)- an

Realtext教程

realtext简单教程 RealText是一个以rt为扩展名的文本文件，文件以 标记开始，以 标记结束，两个标记之间是要显示的文本。可以使用RealText的标记和属性来定位、定时要显示的文本、设定窗口类型、窗口宽度、高度和时间等参数。