《Prolog Programming in Depth》: In this book, we emphasize practical Prolog programming, not just theory. We present several ready-to-run expert system shells, as well as routines for sorting,searching, natural language processing, and even numerical equation solving. We also emphasize interoperability with other software. For example, Chapter 5 presents techniques for reading Lotus spreadsheets and other special file formats from within a Prolog program.
标签: Prolog Programming programming emphasize
上传时间: 2014-01-24
上传用户:JIUSHICHEN
In 1960, R.E. Kalman published his famous paper describing a recursive solution to the discretedata linear filtering problem [Kalman60]. Since that time, due in large part to advances in digital computing, the Kalman filter has been the subject of extensive research and application, particularly in the area of autonomous or assisted navigation. A very “friendly” introduction to the general idea of the Kalman filter can be found in Chapter 1 of [Maybeck79], while a more complete introductory discussion can be found in [Sorenson70], which also contains some interesting historical narrative.
标签: R.E. discretedata describing published
上传时间: 2015-10-22
上传用户:a673761058
Software Testing, Second Edition provides practical insight into the world of software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when software is ready for release. Updated from the previous edition in 2000 to include a Chapter that specifically deals with testing software for security bugs, the processes and techniques used throughout the book are timeless. This book is an excellent investment if you want to better understand what your Software Test team does or you want to write better software.
标签: practical Software provides software
上传时间: 2014-08-01
上传用户:zhaiyanzhong
About: Paco (pacKAGE oRGANIZER) is a simple, yet powerful tool to aid package management when installing programs from source code. It uses the LD_PRELOAD method to track package installations, and provides various options to keep the installed software organized. It s mainly a command line application but it has also an optional GTKMM interface. Release focus: Minor bugfixes Changes: Libpaco-log has been rewritten in C. This prevents a glibc installation failure when building LFS in Chapter 6. The option -x|--expand has been removed. Several bugs have been fixed in paco, gpaco, and rpm2paco. Author: David Rosal
标签: management oRGANIZER powerful pacKAGE
上传时间: 2014-08-25
上传用户:weixiao99
《为Windows Vista编写安全的代码》,2007年出版 Providing developers with first-hand insights into design decisions and practical advice for solving real-world security issues, this authoritative guide urges developers to write more secure code on the Vista platform to support a growing customer base. Table of Contents Writing Secure Code for Windows Vista Foreword Introduction Chapter 1 - Code Quality Chapter 2 - User Account Control, Tokens, and Integrity Levels Chapter 3 - Buffer Overrun Defenses Chapter 4 - Networking Defenses Chapter 5 - Creating Secure and Resilient Chapter 6 - Internet Explorer 7 Defenses Chapter 7 - Cryptographic Enhancements Chapter 8 - Authentication and Authorization Chapter 9 - Miscellaneous Defenses and Security-Related Technologies Index List of Figures List of Tables List of Sidebars
上传时间: 2016-01-07
上传用户:zxc23456789
CHAPT07\CHAPT07.CPP 16-Bit test program for the Fossil class CHAPT07\CHAPT07.EXE 16-Bit executable of the test program. CHAPT07\CHAPT07.MAK A makefile for Borland or Microsoft C++ CHAPT07\BIOSPORT.CPP A copy of the file from Chapter 6 CHAPT07\BIOSPORT.H A copy of the file from Chapter 6
标签: CHAPT 07 executable Bit
上传时间: 2013-12-09
上传用户:ruixue198909
μC/OS-II Goals Probably the most important goal of μC/OS-II was to make it backward compatible with μC/OS (at least from an application’s standpoint). A μC/OS port might need to be modified to work with μC/OS-II but at least, the application code should require only minor changes (if any). Also, because μC/OS-II is based on the same core as μC/OS, it is just as reliable. I added conditional compilation to allow you to further reduce the amount of RAM (i.e. data space) needed by μC/OS-II. This is especially useful when you have resource limited products. I also added the feature described in the previous section and cleaned up the code. Where the book is concerned, I wanted to clarify some of the concepts described in the first edition and provide additional explanations about how μC/OS-II works. I had numerous requests about doing a Chapter on how to port μC/OS and thus, such a Chapter has been included in this book for μC/OS-II.
标签: OS-II compatible important Probably
上传时间: 2013-12-02
上传用户:jkhjkh1982
MATLAB源文件,共有10个Chapter
标签: MATLAB
上传时间: 2016-05-04
上传用户:kelimu
linux under the C programming which complementary with the book of <linux under the C programming>has a total of Chapter 14 proceedings, and "linux .
标签: programming the linux under
上传时间: 2016-08-05
上传用户:semi1981
This book shows you how to write programs that run under Microsoft Windows 98, Microsoft Windows NT 4.0, and Windows NT 5.0. These programs are written in the C programming language and use the native Windows application programming interfaces (APIs). As I ll discuss later in this Chapter, this is not the only way to write programs that run under Windows. However, it is important to understand the Windows APIs regardless of what you eventually use to write your code.
标签: Microsoft Windows programs shows
上传时间: 2013-12-13
上传用户:古谷仁美