关于R语言学习的经典书籍

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；FUNDAMENTALS OF WIRELESS COMMUNICATION；Course in Modal Logic；模态逻辑讲义

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Computability and Logic 5th Edition；Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions；Handbook of Philosophical Logic Volume 4；A first course in logic；计算理论简明纲要 (v1.1)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Logic in Computer Science Modelling and Reasoning about Systems；A Second Course in Formal Languages and Automata Theory；Real-Time Systems Formal Specification and Automatic Verification；Computability Theory ；Computational Complexity A Modern Approach

实验室师兄强烈推荐的 适合从零开始的同学

写书籍的名人名言.doc

较不错的几本书。 放在一起，以便下载阅读，免去到处搜寻。 Java.Swing,2nd.Edition.rar Suns+Java+Swing+Tutorial.rar swing_hack.rar SwingExtremeTesting.rar

ROS机器人相关书籍大全，包括： Learning robotics using python； Learning ROS for Robotics Programming - Second Edition； Mastering ROS for Robotics Programming； Modeling and Control Robot Arm using Gazebo, Moveit； Probabilistic Robotics (2005); Programming Robots with ROS A Practical Introduction to the Robot Operating System; Raspberry Pi 计算机视觉 Programming; Robot Operating System (ROS) The Complete Reference (Volume 1) ROS完全参考手册第一卷; Robot Operating System (ROS) The Complete Reference (Volume 2) ROS完全参考手册第二卷; Robot Operating System (ROS) The Complete Reference (Volume 3) ROS完全参考手册第三卷; ros by example 1 indigo; ros by example 2 indigo.

零基础学按键精灵.pdf 版书籍高清版本 高清.. 私人珍藏.值得拥有

计算机网络 ， 挺好的资源，欢迎大家观看。。。。。。。。。。。。。。