THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN：9783540727873
THEORY OF STOCHASTIC DIFFERENTIAL EQUATIONS WITH JUMPS AND APPLICATIONS MATHEMATICAL AND ANALYTICAL
2005 年出版434 页ISBN：0387250832
Automorphisms of manifolds and algebraic K-theory： Part III volume 231
Michael S. Weiss ; Bruce E. Williams2014 年出版114 页ISBN：1470409814
Modular Representation Theory of Finite and P-Adic Groups Volume 30
Wee Teck Gan ; Kai Meng Tan2015 年出版266 页ISBN：9814651806
（美）克里夫·弗林特（Clif Flynt）著；门佳译2018 年出版388 页ISBN：9787115477385
本书结合丰富的实际案例介绍了如何利用shell命令实现与Linux操作系统的高效沟通，具体内容包括：各类日常任务以及如何利用shell命令更快速地解决问题；编写脚本从Web中挖掘数据并进行处理；在脚本中与简单的Web AP...
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
CONFERENCE RECORD OF 1970 ELEVENTH ANNUAL SYMPOSIUM ON SWITCHING AND AUTOMATA THEORY
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1970 年出版239 页ISBN：
Complexity Theory and Language Development: In celebration of Diane Larsen-Freeman
Lourdes Ortega2017 年出版234 页ISBN：9027213389
