Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
developing microcomputer » developing microsoft, modelling microcomputers, including microcomputer
computing conditional » computation conditional, creating conditional, computing coalitions
conditional programs » conditioning programs, conventional programs, combinational programs
developing computer » development computer, developing competent, developing complex
developing microcomputer » developing microsoft, modelling microcomputers, including microcomputer
computing conditional » computation conditional, creating conditional, computing coalitions
conditional programs » conditioning programs, conventional programs, combinational programs
developing computer » development computer, developing competent, developing complex
1
Publicado em 2013
Sumário:
“... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2007
Sumário:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Sumário:
“... Programming Feasibility Problem -- 11 Condition and Linear Programming Optimization -- 12 Average Analysis...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Sumário:
“...Inverse problems and subjective computing -- Basic problem of statistical inference -- The praise...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2006
Sumário:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2006
Sumário:
“... -- Development of Early Tunnel Fire Detection Algorithm Using the Image Processing -- Simulation of Artificial...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2007
Sumário:
“... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2010
Sumário:
“... in Teaching Visual Computing -- Multi-institutional Collaboration in Delivery of Team-Project-Based Computer...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2015
Sumário:
“...Recent Developments on Reaction Automata Theory; A Survey -- Comparison of Two Interval Models...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2010
Sumário:
“... Evolutionary Programming -- Merging the Ranking and Selection into ITO Algorithm for Simulation Optimization...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2006
Sumário:
“... Field -- Self-healing Tile Sets -- Compact Error-Resilient Computational DNA Tilings -- Forbidding...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2008
Sumário:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2010
Sumário:
“... Variants of Very Smooth Hash -- Matrix Representation of Conditions for the Collision Attack of SHA-1...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2011
Sumário:
“... Conditions; Andreas Blass and Yuri Gurevich -- 8. Recent Developments of Feedback Coding and its Relations...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2005
Sumário:
“... Computing -- Energy Conservation by Peer-to-Peer Relaying in Quasi-Ad Hoc Networks -- Developing Energy...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2013
Sumário:
“... Normality, and the X Chromosome (A. Belshaw and P. Borwein) -- 4. Optimality Conditions for Semivectorial...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2007
Sumário:
“... for SVC Video Transport over IP Networks -- Developing Value Framework of Ubiquitous Computing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
por Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicado em 2011
Sumário:
“.... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...”Publicado em 2011
Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2014
Sumário:
“...Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene Algebra...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2005
Sumário:
“... for DNA Copy Number Data Analysis -- Keynote -- A Regulatory Network Controlling Drosophila Development...”Obter o texto integral
Recurso Eletrônico
livro eletrônico