Transformer

Results: 3241



#Item
461Power cables / Assistive technology / Remote control / Electrical wiring / Transformer / Lego Technic / Electromagnetism / Technology / Electrical engineering

Updating remotely controlled Powerlouvre Windows to be controlled by Apptivate Control Units Breezway Technical Bulletin 14 AugustPage 1 of 3

Add to Reading List

Source URL: www.breezway.com.au

Language: English - Date: 2014-08-31 18:08:11
462Computer programming / Logic in computer science / Predicate transformer semantics / Frama-C / Hoare logic / Pointer / Precondition / Assertion / Theoretical computer science / Program logic / Software engineering

WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2014-03-12 13:10:18
463

Créer ou transformer une école en une école du 3ème type. Un parcours du combattant ? A coup sûr une aventure ! Ce texte résulte de ma propre expérience de transformation de ma classe unique en école du 3ème typ

Add to Reading List

Source URL: p5.storage.canalblog.com

Language: French - Date: 2015-03-16 04:34:44
    464Electrical components / Electrical engineering / Electric power distribution / Dielectrics / Circuit breaker / Switchgear / Partial discharge / Transformer / Insulator / Electromagnetism / Electricity / Electrical safety

    Hitachi Review Vol), NoNumerical Simulation of Electric Power Transmission and Distribution Equipment

    Add to Reading List

    Source URL: www.hitachi.com

    Language: English - Date: 2015-03-31 01:09:11
    465Electrical wiring / Electric power / Power cables / Electrical components / Surge protector / Surge / Fuse / Diode / Transformer / Electromagnetism / Electrical engineering / Technology

    C:uments and Settingsn.ois MartzloffDocumentsA Anthology Finalt 3n&Ind surges&Ind surges Title.wpd

    Add to Reading List

    Source URL: pml.nist.gov

    Language: English - Date: 2006-05-25 13:21:00
    466Electronic design / Filter theory / Linear filters / Radio electronics / Impedance matching / Quarter-wave impedance transformer / Electrical impedance / Z0 / Attenuator / Electronic engineering / Electronics / Electromagnetism

    12.7. Problems 613 ˆ 12.3 Derive the transition matrix e−jMz of weakly coupled lines described by Eq).

    Add to Reading List

    Source URL: www.ece.rutgers.edu

    Language: English - Date: 2014-07-02 11:15:08
    467Electrical wiring / Electrical components / Electric power distribution / Switchgear / Electrical substation / Circuit breaker / Transformer / Fuse / Switch / Electromagnetism / Electrical engineering / Electric power

    6055 Sabre (8) Broch #C7C4.fh11

    Add to Reading List

    Source URL: www.zest.co.za

    Language: English - Date: 2013-09-26 05:49:28
    468Logic in computer science / Formal methods / Mathematical logic / Predicate logic / Rules of inference / Resolution / Horn clause / Predicate transformer semantics / Constraint logic programming / Theoretical computer science / Mathematics / Logic

    Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too

    Add to Reading List

    Source URL: research.microsoft.com

    Language: English - Date: 2015-04-11 16:07:03
    469Zhu / Feng / WP / Formal methods / Predicate transformer semantics / Program logic

    Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved

    Add to Reading List

    Source URL: arc.gov.au

    Language: English - Date: 2010-11-08 23:01:00
    470Predicate transformer semantics / Software / Logic in computer science / Hoare logic / Frama-C / Precondition / Lambert W function / Program logic / Theoretical computer science / Formal methods

    WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye

    Add to Reading List

    Source URL: frama-c.com

    Language: English - Date: 2013-09-24 04:53:56
    UPDATE