Suchergebnisse - integration functions programming programming analyses https

Andere Suchmöglichkeiten:
programming programming » programming programmed , programming program
integration functions » integration functional , integrating functions , interactions functions
functions programming » functional programming , foundations programming , functions programmed
programming analyses » programming analysis , programming analysing , programme analyses
analyses https » analysis https , analysis http , catalysis https

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext

Elektronisch E-Book

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Veröffentlicht 2013

Inhaltsangabe: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
Volltext

Elektronisch E-Book

Functional and Phylogenetic Ecology in R

von Swenson, Nathan G., Swenson, Nathan G.
Veröffentlicht 2014

Inhaltsangabe: “... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....”
Volltext

Elektronisch E-Book

The R Software Fundamentals of Programming and Statistical Analysis /

von Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Veröffentlicht 2013

Inhaltsangabe: “... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”
Volltext

Elektronisch E-Book

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”
Volltext

Elektronisch E-Book

Quality of Software Architectures Models and Architectures 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008...

Veröffentlicht 2008

Inhaltsangabe: “... -- Architectural Specification and Static Analyses of Contractual Application Properties -- Integrating Quality...”
Volltext

Elektronisch E-Book

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Volltext

Elektronisch E-Book

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... in Reconfigurable Architectures -- QUAD – A Memory Access Pattern Analyser -- Hierarchical Loop Partitioning...”
Volltext

Elektronisch E-Book

Does the board's human capital, social capital and participation affect co-operative performance? the case of Program Desa Lestari

von Buang, Mokhtaruddin, Abu Samah, Asnarulkhadi, Rosnon, Mohd Roslan, Burhan, Nik Ahmad Sufian
Veröffentlicht 2023

“..., and this effort has been continued with the introduction of Program Desa Lestari. Program Desa Lestari...”
Volltext

Artikel

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”
Volltext

Elektronisch E-Book

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based...”
Volltext

Elektronisch E-Book

Primer to Analysis of Genomic Data Using R

von Gondro, Cedric., Gondro, Cedric.
Veröffentlicht 2015

Inhaltsangabe: “... and genetic architecture -- Gene expression analysis -- Databases and functional information -- Extending R...”
Volltext

Elektronisch E-Book

Vector Generalized Linear and Additive Models With an Implementation in R /

von Yee, Thomas W., Yee, Thomas W.
Veröffentlicht 2015

Inhaltsangabe: “... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...”
Volltext

Elektronisch E-Book

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”
Volltext

Elektronisch E-Book

ENTERprise Information Systems, Part I International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I /

Veröffentlicht 2010

Inhaltsangabe: “... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...”
Volltext

Elektronisch E-Book

Enterprise Information Systems V

Veröffentlicht 2005

Inhaltsangabe: “... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...”
Volltext

Elektronisch E-Book

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open...”
Volltext

Elektronisch E-Book

Suche einschränken