1
Table of Contents: ... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
6
by Hunt, John., Hunt, John.
Published 2006
Table of Contents: ... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
9
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
10
Published 2007
Table of Contents: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
View full text
Electronic eBook
11
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... and Scalability of Automatically Parallelized Programs -- Selector: A Language Construct for Developing Dynamic...
View full text
Electronic eBook
13
Published 2014
Table of Contents: .../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...
View full text
Electronic eBook
14
by Albert, Jim., Albert, Jim.
Published 2007
Table of Contents: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Development -- Early Italian Computing Machines and Their Inventors -- Computing for the Masses? Constructing...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ...The Art of Reaching the Age of Sixty -- Calude as Father of One of the Computer Science Journals...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Job Scheduling Policy for High Throughput Grid Computing -- High Performance Task Scheduling Algorithm...
View full text
Electronic eBook
20
by Ghali, Sherif., Ghali, Sherif.
Published 2008
Table of Contents: ...Euclidean Geometry -- 2D Computational Euclidean Geometry -- Geometric Predicates -- 3D...
View full text
Electronic eBook