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 formal method in Computing (FOLDOC) dictionary
First
< Previous
1
2
3
4
Next >
Last
replacement algorithm
Amplitude Modulation
Calculus of Communicating Systems
markup
Teamwork
Algorithmic Model
Nuprl
A Language for Attributed Definitions
Pulse Code Modulation
data dictionary file
hack value
Program Evaluation and Review Technique
FLIP
vdiff
Remote Reference Layer
Vienna Definition Language
methodology
Larch
bound variable
Imperial Software Technology
protocol
Cecil
tar and feather
linear argument
radiosity
Request For Comments
infinite
automaton
British Library Method
Electronic Funds Transfer Point of Sale
source code
system
pseudoprime
copying garbage collection
Common LISP Object System
class hierarchy
DNA computing
Distributed Logic Programming
black art
Virtual Storage Access Method
friction feed
ill-behaved
hakspek
POOL2
inline
private-key cryptography
Smart Battery Data
Prograph
Asynchronous Transfer Mode
induction
programming language
ISINDEX
Russell's Attic
diff
brute force attack
green bytes
pumpkin
Java Remote Method Protocol
Axiomatic Architecture Description Language
HyperText Transmission Protocol, Secure
replication
Address Resolution Protocol
sprocket feed
applicative order reduction
Java
Object Oberon
noise shaping
Partial Response Maximum Likelihood
h
object-oriented design
Group Code Recording
Longitudinal Redundancy Check
intuitionistic logic
High Performance Routing
Berkeley Network
character set
dynamic translation
back-propagation
Edward Yourdon
tagged queueing
First
< Previous
1
2
3
4
Next >
Last