欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Microsoft
SQL Server 2000
- Analysis Services
- English Query
- Meta Data Services
Windows API
Microsoft的开放平台技术.
The Windows API consists of the following functional categories:
- Base Services
Character-Mode Applications Communications Resources Debug Help Library Debugging Device Input and Output Device Management Dynamic-Link Libraries Error Handling Event Logging Event Tracing File Management Handles and Objects Image Help Library Image Mastering API Mailslots Memory Management Network DDE Performance Data Pipes Power Management Processes and Threads PSAPI Registry Removable Storage Manager Services Storage Structured Exception Handling Synchronization System Information System Monitor Automation Interface System Shutdown Time Time Provider Tool Help Window Stations
- Common Control Library
- Graphics Device Interface
Bitmaps Brushes Clipping Colors Coordinate Spaces and Transformations Device Contexts Filled Shapes Fonts and Text Input Method Editor Lines and Curves Metafiles Multiple Display Monitors National Language Support Painting and Drawing Paths Pens Printing and Print Spooler Rectangles Regions Unicode and Character Sets Uniscribe
- Network Services
Network Management Windows Networking (WNet)
- User Interface
Buttons Carets Clipboard Combo Boxes Common Dialog Box Library Cursors Data Copy Dialog Boxes Dynamic Data Exchange Dynamic Data Exchange Management Library Edit Controls Hooks Icons Keyboard Accelerators Keyboard Input List Boxes Menus Messages and Message Queues Mouse Input Multiple Document Interface Raw Input Resources Rich Edit Controls Scroll Bars Static Controls Strings Text Object Model Timers Version Information Window Classes Window Procedures Window Properties Windowless Rich Edit Controls Windows
- Windows Shell
Links
- http://ftp.ncnu.edu.tw/MsDownload/
- 支持VC6的最近的Platform SDK版本是Microsoft Platform SDK February 2003
http://www.microsoft.com/msdownload/platformsdk/sdkupdate/psdk-full.htm ftp://ftp.seu.edu.cn/Pub/Develope/SDK_DDK_DRV/04.09.03-Windows.Server.2003.Platform.SDK.Feb.2003.Edition-QUANTUM