Výsledky vyhľadávania

  1. Design by Evolution : Advances in Evolutionary Design / Ed.: Higston, P.F. a i.
    Hingston Philip F. (ed.)  Barone Luigi C. (ed.) Michalewicz Zbigniew (ed.)
    Berlin : Springer Verlag London, 2008 . - 350 s
    ISBN 978-3-540-74109-1
    evolúcia navrhovanie počítačových systémov výpočet algoritmov
    monografia
    kniha

    kniha

  2. Principles of Model checking
    Baier Christel  Katoen Joost-Pieter
    Cambridge : MIT Press, 2008 . - 975 s
    ISBN 978-0-262-02649-9
    navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  3. SPECC : Specification language and methodology
    Gajski Daniel D 
    Boston : Kluwer Academic Publishers, 2000 . - 313 s
    ISBN 0-7923-7822-9
    navrhovanie počítačových systémov architektúra počítačov programovacie jazyky
    učebnica
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  4. DARWIN2K. An Evolutionary Approach to Automated Design for Robotics
    Leger Chris 
    Boston : Kluwer Academic Publishers, 2000 . - 271 s
    ISBN 0-7923-7929-2
    robotika navrhovanie počítačových systémov automatizačná technika
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  5. Model checking
    Clarke Edmund M.  Grumberg Orna Peled Doron A.
    1.vyd.
    Cambridge : MIT Press, 1999 . - 314 s
    ISBN 0-262-03270-8
    navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  6. System level hardware/software co-design : An industrial approach
    Hurk Joris van den  Jess Jochen
    Boston : Kluwer Academic Publishers, 1998 . - 223 s
    ISBN 0-7923-8084-3
    navrhovanie počítačových systémov integrované obvody architektúra počítačov systémový softvér
    učebnica
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  7. European design & test conference : Konf. ED&TC 97, Paris, France, 27.- 30. March 1997
    Washington : Institute of Electrical and Electronics Engineers, 1997 . - 634 s
    ISBN 0-8186-7786-4
    navrhovanie počítačových systémov mikroprocesory ADAC ETC AUROASIC
    zborník (príspevkov)
    (1) - článok
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  8. European design & test conference : Konf. ED&TC 96, Paris, France, 11.- 14. March 1996 : Obs. Proceedings, 623 s.. User forum, 299 s
    Washington : Institute of Electrical and Electronics Engineers, 1996 . - 2.časti
    ISBN 0-8186-7423-7
    navrhovanie počítačových systémov mikroprocesory ADAC ETC AUROASIC
    zborník
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1001
    kniha

    kniha

  9. 32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
    1.vyd.
    New York : Association for Computing Machinery, 1995 . - 733 s
    ISBN 0-89791-725-1
    mikroprocesory počítačové systémy architektúra počítačov navrhovanie počítačových systémov konštrukcia počítačových systémov automatizácia projektovania CAD
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  10. Synthesis and optimization of digital circuits / [aut.] Micheli,Giovanni, De
    Micheli Giovanni De 
    1.vyd.
    New York : McGraw-Hill, 1994 . - 579 s
    ISBN 0-07-016333-2
    číslicové integrované obvody CAD navrhovanie počítačových systémov logické obvody Mikroelektronika hardware
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha