المؤلفون: Hýsek, Jiří

Thesis Advisors: Jaroš, Jiří, Bidlo, Michal

مصطلحات موضوعية: Development, Genetický algoritmus, Sorting network., Evoluční návrh, Genethic algorithm, Rewriting system, Přepisovací systém, Evolutionary design, Řadicí síť.

الاتاحة: http://www.nusl.cz/ntk/nusl-236806

المؤلفون: Hýsek, Jiří, Češka, Milan, Janoušek, Vladimír

المصدر: Computer Aided Systems Theory - EUROCAST 2009 ; Lecture Notes in Computer Science ; page 865-872 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642047718 9783642047725

الاتاحة: http://dx.doi.org/10.1007/978-3-642-04772-5_111
http://link.springer.com/content/pdf/10.1007/978-3-642-04772-5_111

المؤلفون: Hysek, Jiri

مصطلحات موضوعية: design, passive, standard, energy, efficient, Civil Engineering, Samhällsbyggnadsteknik

وصف الملف: application/pdf

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-116800

المؤلفون: Hýsek, Jiří

المساهمون: Bidlo, Michal, Jaroš, Jiří

مصطلحات موضوعية: Evoluční návrh, Genetický algoritmus, Development, Přepisovací systém, Řadicí síť, Evolutionary design, Genethic algorithm, Rewriting system, Sorting network

وصف الملف: application/pdf; text/html

Relation: HÝSEK, J. Evoluční návrh s využitím přepisovacích systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .; 15290; http://hdl.handle.net/11012/53949

الاتاحة: http://hdl.handle.net/11012/53949

المؤلفون: Hysek Jiří

المساهمون: Staněk Kamil

Relation: 427242140805; http://hdl.handle.net/10467/14475

الاتاحة: http://hdl.handle.net/10467/14475

المؤلفون: Hysek Jiří

المساهمون: Pošmourný Jiří

Relation: 281842466205; http://hdl.handle.net/10467/6675

الاتاحة: http://hdl.handle.net/10467/6675

المؤلفون: Křena, Bohuslav, Hýsek, Jiří, Vyvial, Pavel

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Bidlo, Michal, Jaroš, Jiří, Hýsek, Jiří

مصطلحات الفهرس: Evoluční návrh, Genetický algoritmus, Development, Přepisovací systém, Řadicí síť., Evolutionary design, Genethic algorithm, Rewriting system, Sorting network., Text

URL: http://hdl.handle.net/11012/53949

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Bidlo, Michal, Jaroš, Jiří, Hýsek, Jiří

مصطلحات الفهرس: Evoluční návrh, Genetický algoritmus, Development, Přepisovací systém, Řadicí síť., Evolutionary design, Genethic algorithm, Rewriting system, Sorting network., Text

URL: http://hdl.handle.net/11012/53949

المؤلفون: Křena, Bohuslav, Hýsek, Jiří, Vyvial, Pavel

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Hýsek, Jiří

المساهمون: Bidlo, Michal, Jaroš, Jiří

المصدر: HÝSEK, J. Evoluční návrh s využitím přepisovacích systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .

مصطلحات موضوعية: Evoluční návrh, Genetický algoritmus, Development, Přepisovací systém, Řadicí síť, Evolutionary design, Genethic algorithm, Rewriting system, Sorting network

وصف الملف: text/html

Relation: http://hdl.handle.net/11012/53949

الاتاحة: http://hdl.handle.net/11012/53949

المؤلفون: Vyvial, Pavel

المساهمون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات موضوعية: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis

وصف الملف: application/pdf; text/html

Relation: VYVIAL, P. Statická analýza Java programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2008.; 25259; http://hdl.handle.net/11012/55529

الاتاحة: http://hdl.handle.net/11012/55529

المؤلفون: Vyvial, Pavel

المساهمون: Křena, Bohuslav, Hýsek, Jiří

المصدر: VYVIAL, P. Statická analýza Java programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2008.

مصطلحات موضوعية: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis

وصف الملف: text/html

Relation: http://hdl.handle.net/11012/55529

الاتاحة: http://hdl.handle.net/11012/55529