Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Dosavadní výsledky řešení otázek podzemního skladování plynu ve středních Čechách
Autor Štěpánek, Petr Vydáno: 1980
Kniha
Betonové konstrukce : Prvky betonových konstrukcí, navrhování podle mezních stavů
Autor Štěpánek, Petr Vydáno: 1998
Kniha
Anatomy of a Prolog compiler : Doctoral dissertation
Autor Svoboda, Tomáš, 1972 duben 9.- Vydáno: 1997
Rukopis
Anatomy of a Prolog compiler : Summary of doctoral dissertation
Autor Svoboda, Tomáš, 1972 duben 9.- Vydáno: 1997
Rukopis
Relational objects : Augmenting oject-oriented paradigm with declarative aspects. Doctoral thesis
Autor Váňa, Pavel Vydáno: 1997
Rukopis
Implementace překladače PROLOGu do kódu Warrenova abstraktního počítače : Disertační práce
Autor Hellriegel, Zdeněk Vydáno: 1997
Rukopis
An implementation of a compiler from PROLOG to WAM code : Summary of doctoral dissertation
Autor Hellriegel, Zdeněk Vydáno: 1997
Rukopis
A prolog implementation of genetic algorithms : Doctoral thesis
Autor Hynek, Josef, 1965- Vydáno: 1998
Rukopis
A prolog implementation of genetic algorithms : Abstract of doctoral thesis
Autor Hynek, Josef, 1965- Vydáno: 1998
Kniha
Automated theorem proving in structured theory specifications : Abstract of doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis
Automated theorem proving in structured theory specifications : Doctoral thesis
Autor Vanoušek, Pavel Vydáno: 1999
Rukopis
Syntéza (1-3)-C-disacharidů Synthesis (1-3)-C-disacharides
Autor Štěpánek, Petr Vydáno: 2004
Rukopis
Expertní systémy založené na omezujících podmínkách : Disertační práce
Autor Barták, Roman, 1970 červenec 3.- Vydáno: 1997
Rukopis
Expert systems based on construction : Summary of Ph.D. dissertation thesis
Autor Barták, Roman, 1970 červenec 3.- Vydáno: 1997
Rukopis