检索结果 - ((section computational) or (functions computation)) programming modeling methods tools*

搜索替代词:
section computational » prediction computational , design computational , effective computational
functions computation » function computation , functions composition , function composition
programming modeling » programming model , programming models , programming building
modeling methods » modern methods , models methods , counseling methods

Computational Methods

出版 2006

书本目录: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
获取全文

电子电子书

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

出版 2014

书本目录: “...From Habits to Standards: Towards Systematic Design of Emotion Models and Affective Architectures...”
获取全文

电子电子书

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

出版 2006

书本目录: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
获取全文

电子电子书

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

出版 2008

书本目录: “... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”
获取全文

电子电子书

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

出版 2008

书本目录: “... Operations -- WOWA Enhancement of the Preference Modeling in the Reference Point Method -- Uninorms and Non...”
获取全文

电子电子书

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

出版 2006

书本目录: “... and Syllable Information in European Portuguese Grapheme-Phone Conversion -- A Model to Computational Speech...”
获取全文

电子电子书

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

由 Harrell , Jr., Frank E., Harrell , Jr., Frank E.
出版 2015

书本目录: “...Introduction -- General Aspects of Fitting Regression Models -- Missing Data -- Multivariable...”
获取全文

电子电子书

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

出版 2014

书本目录: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
获取全文

电子电子书

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

出版 2014

书本目录: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
获取全文

电子电子书

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

出版 2008

书本目录: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
获取全文

电子电子书

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

出版 2008

书本目录: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
获取全文

电子电子书

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

出版 2008

书本目录: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
获取全文

电子电子书

Modeling of Curves and Surfaces with MATLAB®

由 Rovenski, Vladimir., Rovenski, Vladimir.
出版 2010

书本目录: “...Functions and Transformations -- Functions and Graphs -- Rigid Motions (Isometries) -- Affine...”
获取全文

电子电子书

MATLAB Matrix Algebra

由 Lopez, Cesar., Lopez, Cesar.
出版 2014

主题: “...Programming languages (Electronic computers)....”
获取全文

电子电子书

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

出版 2010

书本目录: “... to Support the Teaching/Learning Process of Software Process Reference Models -- Harnessing ISO/IEC 12207...”
获取全文

电子电子书

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

由 Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
出版 2015

主题: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
获取全文

电子电子书

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

书本目录: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
获取全文

电子电子书

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

出版 2008

书本目录: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
获取全文

电子电子书

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

出版 2008

书本目录: “... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”
获取全文

电子电子书

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

出版 2012

书本目录: “... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”
获取全文

电子电子书

缩小搜索