Søgeresultater - structure computational ((programming recursion) or (programming mathematics)) arrays

Søg alternativer:
structure computational » structures computational , structure composition
programming recursion » programming decision , programming session , programming decisions

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

Udgivet 2005

Indholdsfortegnelse: “... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”
Få fuldtekst

Electronisk eBog

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Highly Flexible Data Structure for Multi-level Visibility of P2P Communities -- Mathematical Performance...”
Få fuldtekst

Electronisk eBog

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning