Seznam knih nakladatele

Vysoké učení technické v Brně, Fakulta informačních technologií

Zadejte název knížky, jméno autora, název nakladatele, ISBN kód nebo kombinaci těchto údajů.

Knihy můžete vyhledávat i pomocí mobilního telefonu naskenováním čárového kódu.

Seřadit:
Celkem 29 knih, strana 1 / 2
Rok vydání Kniha
2005
MEMICS ... : doctoral workshop on mathematical and engineering methods in computer science : Znojmo, Czech Republic, ...
rok vydání: 2005, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií
2007
Cut-offs and automata in formal verification of infinite-state systems
rok vydání: 2007, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435476
2007
Verification of programs with complex data structures
rok vydání: 2007, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435483
2007
Active transactions in collaborative virtual environments, Jan Pečiva
rok vydání: 2007, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435490
2007
Formal models: regulation and reduction, Tomáš Masopust
rok vydání: 2007, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435506
2007
Podpora návrhu pro snadnou testovatelnost číslicových obvodů popsaných na úrovni meziregistrových přenosů, Richard Růžička
rok vydání: 2007, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435513
2008
Evolutionary design of collective communication based on prediction of conflicts in interconnection networks, Miloš Ohlídal
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435971
2008
Analýza a zlepšení testovatelnosti číslicového obvodu na úrovni meziregistrových přenosů, Josef Strnadel
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021435995
2008
Prostředky a metody pro automatické generování testovacích obvodů, Tomáš Pečenka
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021436039
2008
Modelování objektů Petriho sítěmi
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021437494
2008
Conditional grammars and their reduction, Alexander Meduna, Tomáš Kopeček
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021437500
2008
Rewriting systems with restricted configurations
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021437227
2008
Systém pro souběžný návrh technického a programového vybavení počítačů, Karel Masařík
rok vydání: 2008, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021438637
2010
Evolutionary design of collective communications on wormhole networks
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442085
2010
Evolutionary design of generic structures using instruction-based development
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442108
2010
Clustering techniques for protein fragments analysis, Jaroslav Zendulka, Ivana Burgetová
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442078
2010
Modelling of component-based systems with mobile architecture, Jaroslav Zendulka, Marek Rychlý
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442115
2010
Simulations and antichains for efficient handling of finite automata, Lukáš Holík, Tomáš Vojnar
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442177
2010
Verification of asynchronous and parametrized hardware designs, Tomáš Vojnar, Aleš Smrčka
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442146
2010
Regulated grammars and their transformations, Alexander Meduna, Petr Zemek
rok vydání: 2010, nakladatel: Vysoké učení technické v Brně, Fakulta informačních technologií, ISBN: 9788021442030
Zdroj informací o knížkách: Obálky knih