1
Publicat 2011
Taula de continguts: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ... Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems...
Obtenir text complet
Electrònic eBook
4
Publicat 2013
Taula de continguts: ...From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A...
Obtenir text complet
Electrònic eBook
5
Taula de continguts: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Matèries: ...Computational complexity....
Obtenir text complet
Electrònic eBook
7
Taula de continguts: ... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... -- An Integrated Environment For the Development of Parallel Applications -- Debugging MPI Programs on the Grid...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Obtenir text complet
Electrònic eBook
12
Publicat 2012
Taula de continguts: ... and Pragmatics in 2020: Position Paper on Designing Complex Cyber-Physical Systems -- View-Based Development of a...
Obtenir text complet
Electrònic eBook
13
Publicat 2012
Taula de continguts: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
Obtenir text complet
Electrònic eBook
14
Publicat 2008
Taula de continguts: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obtenir text complet
Electrònic eBook
15
Taula de continguts: ...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...
Obtenir text complet
Electrònic eBook
16
Publicat 2006
Taula de continguts: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Matèries: ...Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... Developments in the Scalasca Toolset -- MUST: A Scalable Approach to Runtime Error Detection in MPI Programs...
Obtenir text complet
Electrònic eBook