Proff of the NP-Completeness of the 3-SAT problem
資源簡介:Proff of the NP-Completeness of the 3-SAT problem
上傳時間: 2017-04-13
上傳用戶:czl10052678
資源簡介:the third edition of Learning GNU Emacs describes Emacs 21.3 from the ground up, including new user interface features such as an icon-based toolbar and an interactive interface to Emacs customization. A new chapter details how to install a...
上傳時間: 2015-08-29
上傳用戶:caixiaoxu26
資源簡介:This book contains a detailed analysis of the International Standard for the C language,-3.1 excluding the library from a number of perspectives. the organization of the material is unusual in that it is based on the actual text of the pu...
上傳時間: 2015-09-15
上傳用戶:13188549192
資源簡介:這是一個模擬第3類模式地震波的matlab腳本。 This a collection of Matlab scripts that solve the antiplane (mode III) earthquake dynamic problem with slip-weakening friction, on a 1D fault embedded in a 2D homogeneous elastic unbounded med...
上傳時間: 2013-12-26
上傳用戶:遠遠ssad
資源簡介:This the 8th release of PicoBlaze for Spartan-3, Spartan-3E Virtex-II, Virtex-IIPro and Virtex-4 devices by Picoblaze
上傳時間: 2016-02-08
上傳用戶:cccole0605
資源簡介:A comprehensive code to regulate the LCD backlight of a BREW 3.1. mobile. Used to emulate a torchlight from a screen of a Siemens SXG75.
上傳時間: 2014-01-12
上傳用戶:cjl42111
資源簡介:1. Learn the basic constructs of VHDL 2. Learn the modeling structure of VHDL 3. Understand the design environments – Simulation – Synthesis
上傳時間: 2017-02-18
上傳用戶:love_stanford
資源簡介:DRIVER FOR UPDATING the QR DECOMPOSITION OF A 4 BY 3 MATRIX
上傳時間: 2014-11-11
上傳用戶:tb_6877751
資源簡介:This Delphi 4.0 example uses the MapX Ver 4.0 OCX Control. the main goal of this example is to show the use of the new object editing capabilities in MapX Ver 3.51. the program show how to perform functions such as adding a new layer ad...
上傳時間: 2015-04-10
上傳用戶:lhc9102
資源簡介:This packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is written for static channel and AWGN noise. the packet include: 1) Packet Builder (Viterbi Encoding, Interleaver, PN generation) 2) Modula...
上傳時間: 2014-11-09
上傳用戶:hwl453472107
資源簡介:Cracking the Code - Wireless Programming with J2ME This book is based on the unique concept of cracking the code and mastering the technology.the technologies covered are J2ME version 1.0.2 and the applications are also tested on versi...
上傳時間: 2015-08-20
上傳用戶:fhzm5658
資源簡介:his packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is written for static channel and AWGN noise. the packet include: 1) Packet Builder (Viterbi Encoding, Interleaver, PN generation) 2) Modulat...
上傳時間: 2013-12-23
上傳用戶:zhangyigenius
資源簡介:Preparation of a function, even to the importation of n, the function call seeking +1/n 1/2+1/4+ .... When n is odd input, the function call 1/1+1/3+ ... +1/n (using function pointer)
上傳時間: 2014-01-21
上傳用戶:semi1981
資源簡介:HDOJ 1047 One of the first users of BIT s new supercomputer was Chip Diller. He extended his exploration of powers of 3 to go from 0 to 333 and he explored taking various sums of those numbers. ``This supercomputer is great, remarked Chi...
上傳時間: 2013-12-22
上傳用戶:黑漆漆
資源簡介:HDOJ ACM input:the input consists of T test cases. the number of test cases ) (T is given in the first line of the input. Each test case begins with a line containing an integer N , 1<=N<=200 , that represents the number of tables to move....
上傳時間: 2015-10-18
上傳用戶:三人用菜
資源簡介:Input the input contains blocks of 2 lines. the first line contains the number of sticks parts after cutting, there are at most 64 sticks. the second line contains the lengths of those parts separated by the space. the last line of the fil...
上傳時間: 2015-10-27
上傳用戶:lepoke
資源簡介:Input the input consists of two lines. the first line contains two integers n and k which are the lengths of the array and the sliding window. there are n integers in the second line. Output there are two lines in the output. the fi...
上傳時間: 2014-12-21
上傳用戶:hongmo
資源簡介:This packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is written for static channel and AWGN noise. the packet include: 1) Packet Builder (Viterbi Encoding, Interleaver, PN generation) 2) Modula...
上傳時間: 2014-12-20
上傳用戶:ukuk
資源簡介:the combinatorial core of the OVSF code assignment problem that arises in UMTS is to assign some nodes of a complete binary tree of height h (the code tree) to n simultaneous connections, such that no two assigned nodes (codes) are on th...
上傳時間: 2014-01-19
上傳用戶:BIBI
資源簡介:Playfair Cipher 1.not even the large number of keys in a monoalphabetic cipher provides security 2.one approach to improving security was to encrypt multiple letters 3.the Playfair Cipher is an example 4.invented by Charles Wheatstone i...
上傳時間: 2017-05-25
上傳用戶:變形金剛
資源簡介:Its very useful ant java developers Create it at the top level of your project directory (New --> File, create as a simplefile) and name it build.xml. Copy and paste the xml text from Figure 3 into your build.xml file and save it.
上傳時間: 2014-01-26
上傳用戶:lifangyuan12
資源簡介:the second edition of this popular book has been completely updated to add the new features of the Java Servlet API Version 2.2, and new chapters on servlet security and advanced communication. In addition to completely covering the 2.2 spe...
上傳時間: 2017-09-07
上傳用戶:wang5829
資源簡介:the Ten Commandments of Excellent Design - fpga。硬件描述語言注意事項
上傳時間: 2013-08-24
上傳用戶:AbuGe
資源簡介:source code to compute the visibility polygon of a point in a polygon.
上傳時間: 2015-01-09
上傳用戶:wpt
資源簡介:CHM decompiler is a program that converts the internal files of CHM files back into the HHP, HHC, and HHK, etc. used to compile the documentation. CHM decompiler是一個把CHM 文件的內部文件轉換成 HHP, HHC,和HHK等的程序。它用于編譯文件。
上傳時間: 2015-01-10
上傳用戶:myworkpost
資源簡介:Tug of War(A tug of war is to be arranged at the local office picnic. For the tug of war, the picnickers must be divided into two teams. Each person must be on one team or the other the number of people on the two teams must not differ by m...
上傳時間: 2014-01-07
上傳用戶:離殤
資源簡介:the project demonstrates many Windows common controls, including the extensive use of image lists. the project was used in the book "the Revolutionary Guide To MFC 4 Programming With Visual C++", published by Wrox Press.
上傳時間: 2015-01-30
上傳用戶:zhengjian
資源簡介:computes the square root of a 16 bit number in pic16c
上傳時間: 2015-02-07
上傳用戶:wangdean1101
資源簡介:a very simple program that prints "Hello World" to the serial port of the 8051. When you can successfully build and run this program, you have used the entire toolset including:
上傳時間: 2013-11-26
上傳用戶:stampede
資源簡介:enumerates Plug-n-Play RS-232 devices that are compliant with the current revision of Plug and Play External COM Device.
上傳時間: 2015-03-29
上傳用戶:gdgzhym