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