Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming mathematical » programming mathematics, processing mathematical, planning mathematical
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
1
Obálka
Vydáno 2005
Obsah: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Autor Hazrat, Roozbeh., Hazrat, Roozbeh.
Vydáno 2015
Obsah: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2007
Obsah: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Autor Hazrat, Roozbeh., Hazrat, Roozbeh.
Vydáno 2010
Obsah: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2005
Obsah: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2015
Obsah: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání