Search Results - programming modeling programming recursion arrays via

Search alternatives:
programming recursion » programming decision , programming session , programming decisions
programming modeling » programming model , programming models , programming building
modeling programming » modular programming , computing programming , using programming
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 /

Published 2005

Table of Contents: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...”
View full text

Electronic eBook

Narrow Search