1
by Zhang, Yue., Zhang, Yue.
Published 2015
Table of Contents: ...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...
View full text
Electronic eBook
2
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ... of DP Tool -- DP2PN2Solver Tool -- DP2PN Parser and Builder -- The PN2Solver Modules -- Computational...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
6
Table of Contents: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
9
Table of Contents: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
View full text
Electronic eBook
11
Table of Contents: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
View full text
Electronic eBook
17
Table of Contents: ...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
View full text
Electronic eBook