Hakutulokset - ((functions conditional) OR (structure computational)) programming recursion arrays via*

Tarkoititko:
structure computational » structures computational , structure composition
functions conditional » functions functional , functional conditioning , functions computational
programming recursion » programming decision , programming session , programming decisions
recursion arrays » recursion versus
arrays via » arrays a

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”
Hae kokoteksti

Elektroninen E-kirja

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Julkaistu 2005

Sisällysluettelo: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Hae kokoteksti

Elektroninen E-kirja

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...

Julkaistu 2007

Sisällysluettelo: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua