|
|
theory
Related entries include:
abstract interpretation;
abstract machine;
Actors;
algebraic;
Algebra of Communicating Processes;
alpha conversion;
Array Theory;
autoprojector;
axiomatic semantics;
axiomatic set theory;
backward analysis;
beta conversion;
Bird-Meertens Formalism;
bottom;
bounded;
Busy Beaver;
CA;
canonicity;
category;
chain;
closed term;
closure;
closure conversion;
coalesced sum;
combinator;
complete metric space;
complete partial ordering;
decision problem;
delta reduction;
denotational semantics;
deterministic automaton;
directed set;
discriminated union;
distributive lattice;
domain theory;
effective computable;
embedding;
entropy;
eta conversion;
evaluator;
Finite State Machine;
FSM;
Gottlob Frege;
greatest lower bound;
Head Normal Form;
head-strict;
ideal;
inclusive;
Isabelle;
join;
lattice;
least upper bound;
lifted domain;
linear argument;
linear logic;
linear type;
Liskov substitution principle;
minimal automaton;
model checking;
monad;
monadic;
nondeterministic automaton;
open/closed principle;
operational semantics;
pi-calculus;
pointed domain;
polymorphism;
powerdomain;
predomain;
pre-order;
projection;
recursion theory;
reduction strategy;
reflexive;
relational algebra;
semantics;
set complement;
state;
static analysis;
sticky analysis;
sum;
syntax tree;
transparent;
type;
type assignment;
typed lambda-calculus;
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
iPod 6-Foot 3.5mm Male to Female Cable (White)iPod 6-Foot 3.5mm Male to Female Cable (White) ** iPod 6-Foot 3.5 mm Male to Female Stereo Cable **Add extra length from your iPod to your headphones or speakers with these 6-foot male to female Stereo Cables. Get yours today!General Features:- White cable- 6-foot- 3.5 mm male stereo male jack- 3.5 mm female plugNotes:- Cable Only Compatibility/Requirements/Disclosures: ** Requirements *** The need for this cable More ...
Motorola 56K V.92 PCI Data/Fax ModemMotorola 56K V.92 PCI Data/Fax Modem ** Motorola 56K V.92 Modem **Connect to the Internet at lightning fast 56K! This modemfeatures the Motorola 62802-51 chipset and is V.92 ready.General Features:- Motorola 62802-51 softmodem chipset- V.92 software upgradable- 56K data transfer- Hayes AT command compatible- 33.6K transmit speed- Voice function support- Support for video conferencing H.324- V.17, V.29 and V.27ter Group3 fax support- V.42bis/MNP5 data compression- V.42/MNP2-4- Class 1 fax command- Auto diagnostics- PCI interface- Plug and PlayPackage Includes:- Motorola 62802-51 PCI modem- Phone cord- Installation Guide- Driver CDNotes:- Driver CD may vary Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 95/98/NT/2000/ME/XP* Intel Pentium 166 MHz MMX or better* Available PCI slot* CD-ROM drive for driver installation* Available phone line** Disclosures *** Driver CD may vary More ...
Intel PIII Xeon 667 MHz 133MHz 256KB CPUIntel PIII Xeon 667 MHz 133MHz 256KB CPU ** Intel PIII Xeon 667 MHz 133MHz 256KB CPU **General Features: - 633 MHz operation- 133 MHz system bus - 256KB full speed L2 cache - Supports multi-processing - Slot 2 CPU - Streaming SIMD extensions - Attached passive heat sink - Extended server memory architectureCompatibility/Requirements/Disclosures:** Requirements *** Motherboard that suports Xeon 667MHz CPU's* Heatsink & Fan ** Disclosures *** Country of Origin may be China, Taiwan, Korea, USA, Malaysia More ...
BenQ Double Layer 16x4x2.4 DVDRW IDE (Beige)BenQ Double Layer 16x4x2.4 DVDRW IDE (Beige) ** BenQ Double Layer 16x4x2.4 DVD±RW IDE Drive **Pick your media... DVD+R no problem! DVD-R, we can handle that! The new double layer DVD+R DL media - yup, that too!!! CD-R media - bring it on!!! Now you can burn DVD+R/+RW/+R DL/-R/-RW discs, and CD-R/RW discs from one device with this BenQ DW1620 double layer DVD±RW IDE drive! The 2 MB buffer ensures a smooth and erroless writing session!General Features:- Beige Bezel- 2 MB buffer- Seek time: 120ms (DVD) / 120ms (CD)- UDMA/66- E-IDE interfaceWriting Speed:- DVD+R DL (Double Layer): 2.4x- DVD+R (Single Layer): 16x- DVD-R: 16x- CD-R: 48x- DVD+RW: 4x- DVD-RW: 4x- CD-RW: 24xReading Speed:- DVD-ROM: 16x- CD-ROM: 40xWriting Mode:- DVD Data and Video- Track-at-once- Multi-session- Packet writing- CD Digital Audio- Direct Over write on CDRW- Simulated WritingFront Panel Features:- Busy LED- Emergency Eject Hole- Eject buttonRear Panel Features:- Digital audio connector- Analog audio connector- Device jumpers- IDE interface- 4-pin power connectorRegulatory Approvals:- FCC- UL- C-Tick- CEPlain Box includes:- BenQ DW1620 DVD±RW IDE Drive- Software with Sonic RecordNow, InterVideo WinCinema,- BenQ QVideo 2.0, Book Type Management, User's Manual- Quick Installation GuideNotes:- Model: DW1620 Compatibility/Requirements/Disclosures: ** Requirements *** Microsoft Windows 98/ME/2000/XP* IBM PC compatible Pentium III 550MHz CPU or above* 128MB DRAM* 100MB free HDD space for CD/DVD recording related software installation* 1GB free HDD space for CD Image recording More ...
McAfee Internet Security Suite 7.0 OEMMcAfee Internet Security Suite 7.0 OEM ** McAfee Internet Security Suite 7.0 OEM **IMPROVED! McAfee VirusScan- Automatically protects your PC, email, attachments, downloads and network from viruses, mass-mailing worms and backdoor Trojans whenever you go online. Fast anti-virus updates ensure your protection stays current. Now with more efficient email scanning of larger files. IMPROVED! McAfee Personal Firewall Plus- Helps block hackers, identity thieves and malicious code from robbing personal data, hijacking your system (often to send spam) or planting malicious code that can compromise your privacy over dial-up, DSL or cable connections. Now with enhanced intrusion detection and fast set-up assistant. IMPROVED! McAfee SpamKiller- Automatically recognizes and helps stop junk email-including credit card phishing scams, virus hoaxes and foreign language spam-from polluting your inbox. Regular anti-spam filter updates ensure the latest protection against spammers. Now with enhanced spam detection technology, Personal Filter Editor and Whitelisting. IMPROVED! McAfee Privacy Service- Helps shield individual family members from offensive content (e.g., websites, newsgroups), online stalkers and inappropriate chat, thanks to age-specific Parental Controls and easy-to-use filtering options. Identity Protection- Helps secure personal identification and financial information (e.g., name, phone, credit card, bank account numbers) from accidental transmission over the Internet without your permission. IMPROVED! Spyware/Adware Detection and Removal- Helps catch and delete potentially unwanted programs (PUPs) hiding on your PC that can steal log-ins and passwords (key-loggers), hijack your dial-up connection (Web dialers) or track your online surfing (adware). Pop-Up Blocking- Helps eliminate annoying Web advertising that not only slows your surfing but also tracks your browsing habits for advertisers. McAfee Shredder- Securely erases confidential files, folders and email for increased privacy and protection from desktop thieves.Notes:- Picture is for represenatational purposes only- OEM CD ONLY More ...
Intel P4 1.5GHz 400MHz 256KB Socket 478 CPUIntel P4 1.5GHz 400MHz 256KB Socket 478 CPU ** Pentium4 1.5GHz PGA 478-pin CPU w/ 256K L2 Cache **- 1.50 GHz Clock Speed- PGA 478-pin Package- 400 MHz system bus- Level 2 Advanced 256 KB Transfer Cache- S-Spec: SL5TJ, SL59V- CPU Only Compatibility/Requirements/Disclosures:* Motherboard that can run a Pentium 4 1.5 GHz CPU(needs 400MHz Bus Support)* Heatsink/Fan - for Pentium 4 478-pin CPU More ...
|
