BIT

Results: 9420



#Item
761Computing / Software / Cray / Cross compiler / Modular programming / 64-bit computing / Library / Toolchain / GNU toolchain / NetCDF / Environment Modules

Making Scientific Software Installation Reproducible On Cray Systems Using EasyBuild Petar Forai Research Institute of Molecular Pathology

Add to Reading List

Source URL: cug.org

Language: English - Date: 2016-06-13 04:35:45
762

附件3: 宁波市第十八届“高洽会”邀请参会学生名单 学校(盖章): 联系人: 联系固定电话: 联系手机: 序号 学校 姓名

Add to Reading List

Source URL: job.bit.edu.cn

- Date: 2016-07-06 01:53:03
    763Theoretical computer science / Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Solver / Formal equivalence checking / Formal verification / Model checking / Uclid

    Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction

    Add to Reading List

    Source URL: fm.csl.sri.com

    Language: English - Date: 2010-10-30 02:14:08
    764

    PDF Document

    Add to Reading List

    Source URL: xxgk.bit.edu.cn

    Language: Chinese - Date: 2016-04-22 00:28:31
      765

      Ürün Notları ADU-07e 24-Bit Jeofizik EM Ölçüm Sistemi Elektromanyetik kayıt sistemlerindeki teknolojik gelişme sismik yönteminde olduğu gibi, eşzamanlı çokkanallı veri toplama gerekliliğini ortaya koymuş

      Add to Reading List

      Source URL: www.geo-metronix.de

      Language: Turkish - Date: 2013-11-06 02:49:43
        766Digital audio / Digital signal processing / Physics / Signal processing / Noise / Quantization / Theoretical physics / Audio bit depth / Rhythm

        EXPRESSIVE QUANTIZATION OF COMPLEX RHYTHMIC STRUCTURES FOR AUTOMATIC MUSIC TRANSCRIPTION Mauricio Rodriguez Superior Conservatory of Castile and Leon

        Add to Reading List

        Source URL: tenor2015.tenor-conference.org

        Language: English - Date: 2015-05-26 16:38:40
        767Digital audio / Electronics / Digital signal processing / Electromagnetism / Digital media / Electronic circuits / Compact disc / Digital-to-analog converter / CD player / Audio bit depth / 44 / 100 Hz / MOS Technology SID

        Signature DATA CD IV Users Manual RevSignature Data CD IV Specifications Outputs:

        Add to Reading List

        Source URL: www.msbtech.com

        Language: English - Date: 2012-03-03 18:18:48
        768Electrical engineering / Electronic circuits / Electromagnetism / Digital signal processing / Electronics / Digital audio / 44 / 100 Hz / Sampling / Audio bit depth / Amplifier / Signal-to-noise ratio / Digital-to-analog converter

        PCM1793: 24-Bit 192kHz Sampling Advanced Segment Audio Stereo DAC (Rev. A)

        Add to Reading List

        Source URL: www.qlshifi.com

        Language: English - Date: 2009-03-17 10:05:30
        769Digital signal processing / Electrical engineering / Digital audio / Electromagnetism / Electronics / Electronic circuits / Digital-to-analog converter / Consumer electronics / Delta-sigma modulation / Sampling / Audio bit depth / AES3

        Diamond DAC IV SELECT Users Manual Rev

        Add to Reading List

        Source URL: www.msbtech.com

        Language: English - Date: 2014-04-02 22:42:03
        770Copyleft / Intellectual property law / Law / Public sphere / Open content / Computer law / Public copyright licenses / Creative Commons / Copyright law of the United States / Copyright / Open access

        Journal of the Text Encoding Intiative Publication Agreement The language of this publication agreement is based on Stuart Shieber’s model open-access journal publication agreement, version 1.2, available at http://bit

        Add to Reading List

        Source URL: www.tei-c.org

        Language: English - Date: 2014-12-08 12:45:14
        UPDATE