Translation
powered by 
search result for Propositional Linear Temporal Logic in Computing (FOLDOC) dictionary
ALLOYbacktrackingQuantum-dot Cellular AutomataHigh Performance Serial BusInfinite Monkey TheoremOctavetime bombGoffindatabasescreen scraperbombneats vs. scruffiesfree variable32-bit applicationAdvanced RISC MachineALPSMLMilarepaPentiumNPLlambda-calculusIASCellular Neural Networkmagic numberminicomputerCarl Friedrich Gaussartificial neural networkfunctional databaseMotorola 68000gray codeUniversal Serial BusJavaServer PagesC+-curried functionEnterprise JavaBeansmonitordynamic random access memoryintelligent terminalDissociated Pressnatural deductionintegrated circuitback doormicrocodeCycaxiomatic set theoryMIPS Technologies, Inc.demonFinite State Machinedisk drivecachesecond generation computerbroadcast quality videomobycanonicalJoint Test Action GroupmicroprocessorAmiga