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