AC module

Results: 798



#Item
1Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:09
2STEIEC10250 Universal IEC Power Module CERTIFIED TO MEET ALL REGULATORY DIRECTIVES! ✔ The universal and globally certified solution for your AC power input requirements

STEIEC10250 Universal IEC Power Module CERTIFIED TO MEET ALL REGULATORY DIRECTIVES! ✔ The universal and globally certified solution for your AC power input requirements

Add to Reading List

Source URL: ramseyelectronics.com

Language: English - Date: 2017-02-21 09:04:35
    3Cryptography module, Exercises 2 (unassessed) You can’t get credit for these exercises, but you can still submit them on Canvas and you will get feedback. You must type your answers in a word processing system, and cr

    Cryptography module, Exercises 2 (unassessed) You can’t get credit for these exercises, but you can still submit them on Canvas and you will get feedback. You must type your answers in a word processing system, and cr

    Add to Reading List

    Source URL: www.cs.bham.ac.uk.

    Language: English - Date: 2017-10-24 13:35:44
      4Title Complex Costume Making Techniques Module code

      Title Complex Costume Making Techniques Module code

      Add to Reading List

      Source URL: www.bruford.ac.uk

      Language: English - Date: 2017-08-15 09:11:34
        5or the destkop object of the xContext argument, if supplied Module UNO.CLS (OpenOffice.org) The object-oriented interface support for ooRexx is realized by calling or requiring the ooRexx module UNO.CLS, which defines p

        or the destkop object of the xContext argument, if supplied Module UNO.CLS (OpenOffice.org) The object-oriented interface support for ooRexx is realized by calling or requiring the ooRexx module UNO.CLS, which defines p

        Add to Reading List

        Source URL: wi.wu-wien.ac.at

        Language: English - Date: 2008-09-12 10:59:48
          6Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module

          Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2010-03-26 11:31:43
            7Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2

            Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2010-04-20 09:53:15
              8Sydor Fast CCD X-ray Detector The Sydor Fast CCD X-ray Detector is a complete direct detection, x-ray imaging system that combines a custom, LBNL developed, in vacuum sensor module with a commercial-off-the-shelf data ac

              Sydor Fast CCD X-ray Detector The Sydor Fast CCD X-ray Detector is a complete direct detection, x-ray imaging system that combines a custom, LBNL developed, in vacuum sensor module with a commercial-off-the-shelf data ac

              Add to Reading List

              Source URL: sydortechnologies.com

              Language: English - Date: 2017-11-27 18:47:37
                9Engineering Tripos Part IIA THIRD YEAR Module 3F1 – Signals and Systems Examples Paper 3F1/1 – Discrete Time Systems

                Engineering Tripos Part IIA THIRD YEAR Module 3F1 – Signals and Systems Examples Paper 3F1/1 – Discrete Time Systems

                Add to Reading List

                Source URL: www-control.eng.cam.ac.uk

                Language: English - Date: 2013-10-25 10:48:37
                  10The Effects of Over and Under Sampling on Fault-prone Module Detection

                  The Effects of Over and Under Sampling on Fault-prone Module Detection

                  Add to Reading List

                  Source URL: posl.ait.kyushu-u.ac.jp

                  Language: English - Date: 2014-05-26 21:46:00