Výsledky vyhľadávania
- 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
- 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
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 0 0 0 1 kniha
- 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
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 0 0 0 1 kniha
- DARWIN2K : an Evolutionary Approach to Automated Design for Robotics /aut. Chris Leger
Leger Chris
New York Springer 2000 . - 271 s.
ISBN 978-1-4613-6945-5
robotika navrhovanie počítačových systémov automatizačná technika
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné MTF 0 1 0 0 kniha
- 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čebnicaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 kniha
- 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
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 0 0 0 1 kniha
- 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čebnicaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 kniha
- 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ánokFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 kniha
- 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íkFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 1 kniha
- 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
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 kniha