OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: ALC



Results in the term's title:

·  ALC
·  Alcool-90
·  ALCOR
·  arbitrary precision calculator
·  Automatic Sequence Controlled Calculator
·  Calc
·  calculator
·  Calculus of Communicating Systems
·  CCalc
·  CIRcuit CALculus
·  Defense Calculator
·  domain calculus
·  Knights of the Lambda-Calculus
·  Lambada-Calculus
·  lambda-calculus
·  nu-calculus
·  pi-calculus
·  pocket calculator
·  polymorphic lambda-calculus
·  predicate calculus
·  propositional calculus
·  pure lambda-calculus
·  Qualcomm
·  relational calculus
·  Second-Order Lambda-calculus
·  tuple calculus
·  typed lambda-calculus
·  VisiCalc /vi' zi-calk/


Results in the term's text:

·  6.001
·  64-bit
·  abstract interpretation
·  Accounting File
·  accumulator
·  AGM Theory for Belief Revision
·  Agner Krarup Erlang
·  Alcool-90
·  all-elbows
·  Alonzo Church
·  alpha conversion
·  Amdahl' s Law
·  any key
·  AOS
·  arbitrary precision calculator
·  AREXX
·  Arithmetic and Logic Unit
·  ARM710
·  Assembly Language Compiler
·  asset management
·  Atanasoff-Berry Computer
·  Atari
·  BALM
·  Basic Assembly Language
·  beta abstraction
·  beta conversion
·  beta reduction
·  BiCapitalisation
·  bignum
·  binary coded decimal
·  Bird-Meertens Formalism
·  bitty box
·  Burge' s Language
·  Calc
·  Calculus of Communicating Systems
·  call-by-need
·  canonical
·  cationic cocktail
·  CCS
·  Certificate Authority
·  Challenge-Handshake Authentication Protocol
·  chaos
·  CHIP-48
·  CHOCS
·  Church integer
·  CIRCAL
·  Clive Sinclair
·  Codd' s reduction algorithm
·  Code Division Multiple Access
·  Colossus
·  combinator
·  Complex Instruction Set Computer
·  computability theory
·  Computational Adequacy Theorem
·  crippleware
·  CSK Software
·  CUCH
·  cycle
·  cyclic redundancy check
·  Darwin
·  DC
·  De Bruijn notation
·  decision support database
·  delta
·  delta reduction
·  Difference Engine
·  domain calculus
·  domain theory
·  drunk mouse syndrome
·  effective computable
·  Effort Adjustment Factor
·  epsilon
·  eta conversion
·  Euclidean norm
·  Eudora
·  FAC
·  fixed-point
·  FOCAL
·  fractal dimension
·  free variable
·  fudge factor
·  Fuel-can
·  fully lazy lambda lifting
·  Fun
·  functional programming
·  fuzzy logic
·  Global Positioning System
·  GNU DC
·  Google
·  Green' s Theorem
·  head normalisation theorem
·  High Performance Routing
·  HiLog
·  HPL
·  IBM 701
·  integrated circuit
·  Intel 4004
·  interpolation
·  Isabelle
·  ISWIM
·  JOHNNIAC Open Shop System
·  Joy
·  Kid
·  KRC
·  Lambada-Calculus
·  LAMBDA
·  lambda abstraction
·  lambda-calculus
·  lambda expression
·  lexiphage
·  Link State Routing Protocol
·  liquid crystal display
·  Lisp
·  Loglan
·  Mark 1
·  Material Requirements Planning
·  Mean Time Between Failures
·  memo function
·  microprocessor
·  modal logic
·  Modular Prolog
·  modulo operator
·  Monte Carlo
·  MOS Technologies
·  MPEG-21
·  MultiTOS
·  NESL
·  Not-a-Number
·  nu-calculus
·  OMNITAB
·  Online Media
·  OSCAR
·  outline font
·  overflow bit
·  palmtop
·  paraconsistent probability
·  parallelism
·  phase of the moon
·  pocket calculator
·  polymorphic lambda-calculus
·  Ponder
·  postfix notation
·  PPLambda
·  predicate logic
·  processor time
·  Program Evaluation and Review Technique
·  propositional logic
·  PROSE
·  pure lambda-calculus
·  push-button
·  Q
·  QA4
·  Qu-Prolog
·  ray tracing
·  relational algebra
·  relational calculus
·  relational database
·  RPL
·  Russell' s Paradox
·  Second-Order Lambda-calculus
·  simple multicast protocol
·  Sinclair Research
·  SLIPS
·  SML#
·  SOL
·  spamdex
·  spreadsheet
·  Stack Environment Control Dump machine
·  standard deviation
·  strength reduction
·  sum
·  SweetLambda
·  Symbolic Link
·  symbolic logic
·  symbolic mathematics
·  System/360
·  System F
·  TALE
·  temporal logic
·  tick-list features
·  TOS
·  transparent
·  tuple calculus
·  tupling
·  Turbo C
·  typed lambda-calculus
·  Vannevar Bush
·  virtual 86 mode
·  VisiCalc /vi' zi-calk/
·  vocoder
·  Weak Head Normal Form
·  wirewater
·  Year 2000
·  Z3
·  Zilog Z8000


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0697 Seconds, with 15 Database-Queries
Zurück zur Startseite