CREDIT CHECKING BY COMPUTER

被引：0
|
作者：
COLE, W [1 ]
机构：
[1] CREDIT DATA CORP,LOS ANGELES,CA
来源：
DATAMATION | 1966年 / 12卷 / 10期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：33 / &
相关论文
共 50 条
  • [31] Computer supported determination of bank credit conditions
    Schwarze, S
    Lechner, M
    Jensen, M
    PROCEEDINGS OF THE IEEE/IAFE 1996 CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR FINANCIAL ENGINEERING (CIFER), 1996, : 83 - 89
  • [32] INSTRUCTION CODING AND CHECKING PROBLEM FOR A HORIZONTALLY MICROPROGRAMMED COMPUTER
    BANKOWSK.J
    FIALKOWS.K
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES TECHNIQUES, 1965, 13 (08): : 765 - &
  • [33] Rigorous Evaluation of Computer Processors with Statistical Model Checking
    Mazurek, Filip
    Tschand, Arya
    Wang, Yu
    Pajic, Miroslav
    Sorin, Daniel J.
    56TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, MICRO 2023, 2023, : 1242 - 1254
  • [34] Improving computer security using extended static checking
    Chess, BV
    2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2002, : 160 - 173
  • [35] DOCUMENTATION AND CHECKING OF COMPUTER-AIDED ENGINEERING COMPUTATIONS
    JONES, MV
    COMPUTERS & STRUCTURES, 1979, 10 (1-2) : 81 - 84
  • [36] COMPUTER CHECKING OF SYSTEMS OF CHEMICAL EQUATIONS FOR MASS BALANCE
    SHEPPARD, JG
    RIDLER, GM
    RIDLER, PF
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1977, 173 (MAR20): : 155 - 155
  • [37] Computer representation of building codes for automated compliance checking
    Ilal, Sibel Macit
    Gunaydin, H. Murat
    AUTOMATION IN CONSTRUCTION, 2017, 82 : 43 - 58
  • [38] Computer assisted checking system for radiation therapy database
    Ando, Y
    Kawaguchi, O
    Kitamura, M
    Kunieda, E
    Tsukamoto, N
    Kubo, A
    CAR '98 - COMPUTER ASSISTED RADIOLOGY AND SURGERY, 1998, 1165 : 885 - 885
  • [39] Proactive Detection of Computer Worms Using Model Checking
    Kinder, Johannes
    Katzenbeisser, Stefan
    Schallhart, Christian
    Veith, Helmut
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2010, 7 (04) : 424 - 438
  • [40] Tutorial on model checking: Modelling and verification in computer science
    Biere, Armin
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2008, 5147 : 16 - +
12345