1
出版事項 2006
目次: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
全文の入手
電子媒体 eBook
2
出版事項 2007
目次: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
全文の入手
電子媒体 eBook
3
著者: Saeed, Walid
出版事項 2005
主題: ...Programming language(Electronic computer)...
全文の入手
学位論文
4
出版事項 2010
目次: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
全文の入手
電子媒体 eBook
5
出版事項 2015
目次: ... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...
全文の入手
電子媒体 eBook
6
出版事項 2010
目次: ... -- An Adaptive Multibiometric System for Uncertain Audio Condition -- Analysis of Performance Impact due...
全文の入手
電子媒体 eBook
7
出版事項 2013
目次: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
全文の入手
電子媒体 eBook
8
出版事項 2010
目次: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
全文の入手
電子媒体 eBook
9
著者: Saeed, Walid
出版事項 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
全文の入手
学位論文
10
出版事項 2013
目次: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
全文の入手
電子媒体 eBook
11
出版事項 2007
目次: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
全文の入手
電子媒体 eBook
12
出版事項 2013
目次: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
全文の入手
電子媒体 eBook
13
出版事項 2013
目次: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
全文の入手
電子媒体 eBook
15
出版事項 2008
目次: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
全文の入手
電子媒体 eBook
16
出版事項 2015
目次: ... in Dependent Cases -- El hadji Deme, Stéphane Girard, and Armelle Guillou: Reduced-bias Estimator...
全文の入手
電子媒体 eBook
17
出版事項 2008
目次: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
全文の入手
電子媒体 eBook
19
20