(例 5.1 (2)) ∀x (F(x,y) → ∃yG(x,y,z)) ⇔ ∀x F(x,y,z) → ∃t G(x,y,z)

—— 《离散数学》

3。[20]（为了提高效率）修改算法E，使其避免出现m←n之类的平凡替换操作。按照算法E的风格写出这个新算法，将其称为算法F。

—— 《计算机程序设计艺术（第1卷）》

3。[20]（为了提高效率）修改算法E，使其避免出现m←n之类的平凡替换操作。按照算法E的风格写出这个新算法，将其称为算法F。

—— 《The Art of Computer Programming, Vol. 1》

3。[20]（为了提高效率）修改算法E，使其避免出现m←n之类的平凡替换操作。按照算法E的风格写出这个新算法，将其称为算法F。

—— 《计算机程序设计艺术（第1卷 英文版・第3版）》

3。[20]（为了提高效率）修改算法E，使其避免出现m←n之类的平凡替换操作。按照算法E的风格写出这个新算法，将其称为算法F。

—— 《The Art of Computer Programming, Volumes 1-3 Boxed Set》

信息的湍流不仅意识着我们要接受更多的信息，还意味着我们必须屏蔽更多的信息。

—— 《超负荷的大脑》

第一章 引言 第二章 背景知识 第三章 规划可用性研究 第四章 绩效测量 第五章 基于问题的度量 第六章 自我报告式的度量 第七章 行为和生理度量 第八章 合并和比较度量 第九章 专题 第十章 案例研究 第十一章 推进 参考文献

—— 《用户体验度量：收集、分析与呈现（第2版）（全彩）》

QString("%1 %2 %3").arg(x).arg(y).arg(z)

—— 《Qt高级编程》

AQP::accelerateMenu( menuBar() );

—— 《Qt高级编程》

Today, most engineers accept that SQL products have limited type systems--no questions asked.

—— 《Java Persistence with Hibernate》

The ARP reply is thus sent directly to the requesting host; it is not ordinarilly broadcast (see Section 4.8 for some cases where this rule is altered).

—— 《TCP/IP详解 卷1：协议（原书第2版）》

对称密码（ symmetric cryptography）是指在加密和解密时使用同一密钥的方式。 公钥密码（ public- key cryptography）则是指在加密和解密时使用不同密钥的方式。因此公钥密码又称为非对称密码（ asymmetric cryptography） 对称密码中：加密用的密钥和 解密用的密钥是相同的

—— 《图解密码技术（第3版）》

finalize() gives the ability to performance some important cleanup at the time of garbage collection. It is only about the memory.

—— 《Thinking in Java》

finalize() gives the ability to performance some important cleanup at the time of garbage collection. It is only about the memory.

—— 《Java编程思想(第2版)》

finalize() gives the ability to performance some important cleanup at the time of garbage collection. It is only about the memory.

—— 《Java编程思想》