1
Argitaratua 2012
Gaiak: ...Computer programming....
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2011
Aurkibidea: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2013
Aurkibidea: ... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...
Testu osoa
Baliabide elektronikoa eBook
5
nork Mogavero, Fabio., Mogavero, Fabio.
Argitaratua 2013
Aurkibidea: ...Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies...
Testu osoa
Baliabide elektronikoa eBook
6
Gaiak: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2007
Aurkibidea: ... -- Computerized Bone Age Assessment Using DCT and LDA -- Natural Image Matting Based on Neighbor Embedding...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2011
Aurkibidea: ... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2005
Aurkibidea: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2007
Aurkibidea: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2010
Aurkibidea: ...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2010
Aurkibidea: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2008
Aurkibidea: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2006
Aurkibidea: ... Potential Territory in the Game of Go -- An Improved Safety Solver for Computer Go -- Searching for Compound...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2011
Aurkibidea: ...Algorithmics -- Improved Approximations for Hard Optimization Problems via Problem Instance...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2012
Gaiak: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2013
Aurkibidea: ... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2007
Aurkibidea: ... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2006
Aurkibidea: ... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....
Testu osoa
Baliabide elektronikoa eBook