1
出版 2008
書本目錄: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
獲取全文
電子 電子書
3
出版 2011
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
4
出版 2011
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
5
出版 2010
書本目錄: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
獲取全文
電子 電子書
6
出版 2007
書本目錄: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
獲取全文
電子 電子書
7
書本目錄: ... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....
獲取全文
電子 電子書
8
Lopez, Cesar., Lopez, Cesar.
出版 2014
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
9
出版 2007
書本目錄: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
獲取全文
電子 電子書
10
Jalote, Pankaj., Jalote, Pankaj.
出版 2005
書本目錄: ... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....
獲取全文
電子 電子書
11
書本目錄: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
獲取全文
電子 電子書
12
出版 2010
書本目錄: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
獲取全文
電子 電子書
13
出版 2006
書本目錄: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
獲取全文
電子 電子書
14
出版 2007
書本目錄: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
獲取全文
電子 電子書
15
書本目錄: ... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....
獲取全文
電子 電子書
16
出版 2008
書本目錄: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
獲取全文
電子 電子書
17
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
獲取全文
電子 電子書
18
Lee, Kent D., Lee, Kent D.
出版 2008
書本目錄: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
獲取全文
電子 電子書
19
出版 2006
書本目錄: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
獲取全文
電子 電子書
20
出版 2007
書本目錄: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
獲取全文
電子 電子書