Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
search result for Hennessy-Milner Logic in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
5
Next >
Last
fork bomb
\begin
CORAL
declarative language
race condition
fix
Stephen Kleene
VULCAN
memory leak
Janus
exception
definitional constraint programming
Advanced Micro Devices, Inc.
JK flip-flop
symbolic inference
for loop
Q
Amulet
scan path
ALLOY
backtracking
Quantum-dot Cellular Automata
orthogonal
Infinite Monkey Theorem
time bomb
Goffin
database
screen scraper
bomb
neats vs. scruffies
free variable
Advanced RISC Machine
linear type
ALPS
Milarepa
Pentium
NPL
lambda-calculus
IAS
Cellular Neural Network
minicomputer
gray code
Universal Serial Bus
JavaServer Pages
C+-
curried function
Enterprise JavaBeans
monitor
algebra
dynamic random access memory
intelligent terminal
Dissociated Press
natural deduction
integrated circuit
back door
microcode
Cyc
axiomatic set theory
MIPS Technologies, Inc.
demon
Finite State Machine
disk drive
second generation computer
moby
canonical
Joint Test Action Group
microprocessor
Amiga
First
< Previous
1
2
3
4
5
Next >
Last