1
Publicat 2014
Taula de continguts: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obtenir text complet
Electrònic eBook
2
Publicat 2013
Taula de continguts: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obtenir text complet
Electrònic eBook
3
per Sharan, Kishori., Sharan, Kishori.
Publicat 2014
Matèries: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Obtenir text complet
Electrònic eBook
10
Publicat 2007
Taula de continguts: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
Obtenir text complet
Electrònic eBook
11
Publicat 2012
Taula de continguts: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Obtenir text complet
Electrònic eBook
12
Publicat 2012
Taula de continguts: ...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...
Obtenir text complet
Electrònic eBook