1
出版 2006
書本目錄: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
獲取全文
電子 電子書
2
Liu, G.R., Liu, G.R., Gu, Y.T.
出版 2005
書本目錄: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
獲取全文
電子 電子書
4
出版 2010
主題: ...Computer programming....
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
獲取全文
電子 電子書
6
出版 2012
書本目錄: ...Part I  Computational Statistics -- Part II  Statistical Computing -- Part III  Statistical...
獲取全文
電子 電子書
7
書本目錄: ...-infinite Domains -- Method of Lines for Parabolic Partial Differential Equations -- Method of Lines...
獲取全文
電子 電子書
8
出版 2008
書本目錄: ... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...
獲取全文
電子 電子書
9
出版 2015
書本目錄: ... in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches...
獲取全文
電子 電子書
10
出版 2014
書本目錄: ...Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene Algebra...
獲取全文
電子 電子書
11
出版 2005
書本目錄: ...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...
獲取全文
電子 電子書
12
出版 2007
書本目錄: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
獲取全文
電子 電子書
13
出版 2010
書本目錄: ... Development from ES Cells -- Directed Differentiation of Red Blood Cells from Human Embryonic Stem Cells...
獲取全文
電子 電子書
14
出版 2013
書本目錄: ... Computing -- Architecting Scientific Data Systems in the Cloud -- Social, Dynamic and Custom-Based Clouds...
獲取全文
電子 電子書
15
主題: ...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...
獲取全文
電子 電子書
16
出版 2011
書本目錄: ... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...
獲取全文
電子 電子書
17
出版 2014
書本目錄: ...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...
獲取全文
電子 電子書
18
書本目錄: ... Programming -- Computation of Convex Hulls -- Voronoi Diagrams -- Delone Triangulations -- Algebraic...
獲取全文
電子 電子書
19
出版 2015
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
20
書本目錄: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
獲取全文
電子 電子書