Результаты поиска - generation ((computation programming) or (computing programming)) semantics arrays via~

Альтернативы поиска:
computation programming » communication programming , computation programmatic , simulation programming
computing programming » computer programming , computers programming
semantics arrays » semantics essays , semantics across , semantics arrow
arrays via » arrays a

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

Опубликовано 2005

Оглавление: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
Полный текст

Электронный ресурс eКнига

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...”
Полный текст

Электронный ресурс eКнига

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
Полный текст

Электронный ресурс eКнига

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Опубликовано 2010

Оглавление: “... Factorization via Augmented Lagrange Multipliers -- Piecewise Quadratic Reconstruction of Non-Rigid Surfaces...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2014

Оглавление: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2015

Оглавление: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Полный текст

Электронный ресурс eКнига

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Опубликовано 2010

Оглавление: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Полный текст

Электронный ресурс eКнига

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Опубликовано 2005

Оглавление: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Полный текст

Электронный ресурс eКнига

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... -- Automatic Generation of Semantic Fields for Resource Discovery in the Semantic Web -- JeromeDL – Adding...”
Полный текст

Электронный ресурс eКнига

Intelligent Technologies and Engineering Systems

Опубликовано 2013

Оглавление: “...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска