檢索結果 - ((function computation) or (functions conditional)) programming computation methods tools*

搜索替代詞:
programming computation » programming formulation , programming comparison , programming formulations
functions conditional » functions functional , functional conditioning , functions computational
function computation » function computing , function decomposition , section computational
computation methods » computation method , computational methods , competition methods

Computational Methods

出版 2006

書本目錄: “... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...”
獲取全文

電子電子書

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”
獲取全文

電子電子書

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I /

出版 2010

書本目錄: “... Robust Method for Nose Detection under Various Conditions -- Segmentation of Moving Cells in Bright Field...”
獲取全文

電子電子書

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

出版 2008

書本目錄: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
獲取全文

電子電子書

Exercises in Computational Mathematics with MATLAB

由 Lyche, Tom., Lyche, Tom., Merrien, Jean-Louis.
出版 2014

書本目錄: “... and Eigenvectors -- 4 Matrices, Norms and Conditioning -- 5 Iterative Methods -- 6 Polynomial Interpolation -- 7...”
獲取全文

電子電子書

Twofold Integer Programming Model for Improving Rough Set Classification Accuracy in Data Mining.

由 Saeed, Walid
出版 2005

主題: “...Programming language(Electronic computer)...”
獲取全文

Thesis

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
獲取全文

電子電子書

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

出版 2007

書本目錄: “... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...”
獲取全文

電子電子書

Java Methods for Financial Engineering Applications in Finance and Investment /

由 Barker, Philip., Barker, Philip.
出版 2007

書本目錄: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
獲取全文

電子電子書

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

出版 2013

書本目錄: “... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...”
獲取全文

電子電子書

Computational Experiment Approach to Advanced Secondary Mathematics Curriculum

由 Abramovich, Sergei., Abramovich, Sergei.
出版 2014

書本目錄: “... demonstration -- 3. Computationally supported study of quadratic functions depending on parameters -- 4...”
獲取全文

電子電子書

Adaptive Dynamic Programming for Control Algorithms and Stability /

由 Zhang, Huaguang., Zhang, Huaguang., Liu, Derong., Luo, Yanhong., Wang, Ding.
出版 2013

主題: “...Computational intelligence....”
獲取全文

電子電子書

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

出版 2012

書本目錄: “... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”
獲取全文

電子電子書

MATLAB Optimization Techniques

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

主題: “...Programming languages (Electronic computers)....”
獲取全文

電子電子書

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

出版 2008

書本目錄: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
獲取全文

電子電子書

Optimization—Theory and Practice

由 Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
出版 2010

書本目錄: “... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
獲取全文

電子電子書

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

出版 2014

書本目錄: “... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

出版 2006

書本目錄: “... of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops...”
獲取全文

電子電子書

縮小搜索