• [Visual C++] NuSMV-2.4.3.tar.gzNuSMV-2.4.3 a model checking tool
    Upload User: edwardyu72 Upload Date: 2017-10-09 File Size: 3244k Downloads: 21
  • [Visual C++] lbt-1.2.2.tar.gzThis piece of software provides a C++ implementation for an algorithm that conve ...
    Upload User: tarphj Upload Date: 2017-10-09 File Size: 20k Downloads: 12
  • [Visual C++] mops-0.9.1.tar.gzmodel checking c programs
    Upload User: wangli2969 Upload Date: 2017-10-09 File Size: 599k Downloads: 10
  • [Matlab] fcm.rarFCM
    Upload User: jm_zfg Upload Date: 2017-05-03 File Size: 1k Downloads: 230
  • [TEXT] NewFolder.rarsource code for rsa encryption
    Upload User: weixianghu Upload Date: 2017-04-15 File Size: 11k Downloads: 3
  • [PDF] virtual_networking_concepts.zipVirtual Networking Concepts a must read for all Network Gurus!
    Upload User: lyc086 Upload Date: 2016-07-17 File Size: 426k Downloads: 4
  • [Asm] SafeGuard.zip加壳a software source code, for the study and design of software security encryp ...
    Upload User: lfh1996 Upload Date: 2016-07-09 File Size: 46k Downloads: 52
  • [Visual C++] book.rarLibrary management system
    Upload User: jswxljjjx Upload Date: 2016-06-22 File Size: 271k Downloads: 3
  • [C++ Builder] InternetSecurity_SSLConnection.zipAn C++ Builder example to program a SSL connection. Use nice!
    Upload User: tm8518 Upload Date: 2016-02-19 File Size: 1041k Downloads: 19
  • [Unix_Linux] stroke-1.0.tar.gzThe program can quickly capture the IP packet network, and to do analytical proc ...
    Upload User: gaolvci Upload Date: 2016-01-13 File Size: 65k Downloads: 5
  • [Visual Basic] hdtime.rarDate Time boot the computer display.
    Upload User: hawkcdm Upload Date: 2015-12-10 File Size: 141k Downloads: 1
  • [Visual C++] ReadTest.rarMIT DARPA s week1 code data read from the file
    Upload User: lwz520613 Upload Date: 2015-11-15 File Size: 4k Downloads: 9
  • [Visual C++] network.rarMIT DARPA s data-processing neural network classification of C++ Code
    Upload User: seppec Upload Date: 2015-11-15 File Size: 18k Downloads: 20
  • [Visual C++] ReadTcpdumpTest.rarMIT DARPA read tcpdump source code
    Upload User: xm_huitong Upload Date: 2015-11-15 File Size: 3k Downloads: 12
  • [Matlab] thursday.rarMIT DARPA s data-processing week1 Thursday
    Upload User: fanyulai Upload Date: 2015-11-15 File Size: 18k Downloads: 11