Paperback: 400 pages Publisher: Morgan Kaufmann; 2 edition (June 23, 2009) Language: English ISBN-10: 1558606238 ISBN-13: 978-1558606234

Nessus.Network.Auditing.Second.Edition

信号处理 第二版 英文原版 Nasser Kehtarnavaz

含有数字语音处理的各种常见现象和应该注意的问题

Robotics, Vision and Control. First Edition 2011 的第二版，昆士兰理工Peter Corke教授2017年最新力作，机器人算法基础入门必读书籍。此部分为Part 1，Part 2，Part 3已上传。

[GUN.Linux.编程指南.(第二版)].Linux.Programming.Unleashed.Second.Edition.[美].Kurt.Wall.源代码.zip

I will first introduce the necessary concepts and tools of verification, then I'll describe a process for planning and carrying out an effective functional verification of a design. I will also introduce the concept of coverage models that can be used in a coveragedriven verification process. It will be necessary to cover some VHDL and Verilog language semantics that are often overlooked or oversimplified in textbooks intent on describing the synthesizeable subset. These unfamiliar semantics become important in understanding what makes a wellimplemented and robust testbench and in providing the necessary control and monitor features. Once these new semantics are understood in a familiar language, the same semantics are presented in new verification-oriented languages. I will also present techniques for applying stimulus and monitoring the response of a design, by abstracting the physical-level transac-tions into high-level procedures using bus-functional models. The architecture of testbenches built around these bus-functional models is important to create a layer of abstraction relevant to the function being verified and to minimize development and maintenance effort. I also show some strategies for making testbenches selfchecking. Creating random testbenches involves more than calling the random() function in whatever language is used to implement them. I will show how random stimulus generators, built on top of busfunctional models, can be architected and designed to be able to produce the desired stimulus patterns. Random generators must be easily externally constrained to increase the likelihood that a set of interesting patterns will be generated. Behavioral modeling is another important concept presented in this book. It is used to parallelize the implementation and verification of a design and to perform more efficient simulations. For many, behavioral modeling is synonymous with synthesizeable or RTL modeling. In this book, the term "behavioral" is used to

这是 computational geometry in c 的第二版，计算几何对于学计算机图形学的人来说是非常重要的一门课，enjoy!

一本有关离散数学的书，还讨论了数学推理和逻辑。

Price-prediction-and-recommendation-of-second-hand-housing-in-Shanghai Price prediction and recommendation of second-hand housing in Shanghai（上海地区二手房价格预测及推荐） 先上系统运行的截图： 1、本系统为本人读研数据课课程project。 2、本系统主要功能：爬取链家上海地区二手房信息，使用postgresql的机器学习库MADlib，采用KNN算法对用户输入的需求信息预测房价及推荐五个相似房源。 3、开发环境：centos7 64位、PostgreSQL9.5、MadLib1.13、pgAdmin4.2、Python2.7（web部分）、python3.6（数据爬取及处理部分） 本系统web显示界面在好友蒋雯协助下完成，其他工作由我完成。 da