欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Microsoft
| 第3行： | 第3行： | ||
*English Query | *English Query | ||
*Meta Data Services | *Meta Data Services | ||
| − | == | + | ==Windows API== |
[[Image:microsoft-platfrom-sdk.gif|right|thumb]] | [[Image:microsoft-platfrom-sdk.gif|right|thumb]] | ||
| − | + | 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== | ==Links== | ||
*http://ftp.ncnu.edu.tw/MsDownload/ | *http://ftp.ncnu.edu.tw/MsDownload/ | ||
2008年5月18日 (日) 17:07的版本
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
