Výsledky vyhledávání - programming exploring programming recursion arrays via

Alternativní vyhledávání:
programming exploring » programming exploits , programme exploring , programming developing
exploring programming » evaluating programming , planning programming
programming recursion » programming decision , programming session , programming decisions
recursion arrays » recursion versus
arrays via » arrays a

1

Obálka

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Vydáno 2007

Obsah: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Získat plný text

Elektronický zdroj E-kniha

2

Obálka

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Vydáno 2005

Obsah: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Získat plný text

Elektronický zdroj E-kniha