1
Vydáno 2015
Obsah: ... with using Ahybrid Method -- Membrane System for the Decision-making Problem -- The Operational Model...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2010
Obsah: ... -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2015
Obsah: ... -- An Assistant Decision-Supporting Method for Urban Transportation Planning over Big Traffic Data -- An Improved...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2008
Obsah: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2010
Obsah: ... Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler’s Gain Prospects with Coherent...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání