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