Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming computing » programming comparing, programming composing, programming computer
solving programming » solving programmed, modeling programming, using programming
interface methods » internal methods, interval methods, interference methods
methods solving » methods sampling
computing http » computing https, computing help, consulting http
programming computing » programming comparing, programming composing, programming computer
solving programming » solving programmed, modeling programming, using programming
interface methods » internal methods, interval methods, interference methods
methods solving » methods sampling
computing http » computing https, computing help, consulting http
1
Julkaistu 2007
Sisällysluettelo:
“... -- Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision -- The Underlying Formal...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2015
Sisällysluettelo:
“...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2012
Sisällysluettelo:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2006
Sisällysluettelo:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2014
Sisällysluettelo:
“... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”Hae kokoteksti
Elektroninen
E-kirja
7
8
Julkaistu 2013
Sisällysluettelo:
“... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”Hae kokoteksti
Elektroninen
E-kirja
9
Sisällysluettelo:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2007
Sisällysluettelo:
“... Descriptors -- Gestix: A Doctor-Computer Sterile Gesture Interface for Dynamic Environments -- Differential...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2008
Sisällysluettelo:
“... PBIL to Solve a Real-World Frequency Assignment Problem in GSM Networks -- Reconstruction of Networks...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2008
Sisällysluettelo:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”Hae kokoteksti
Elektroninen
E-kirja
15
“...A computer program had been developed for aone-dimensional, orthogonal collocation model of a...”
Hae kokoteksti
Hae kokoteksti
Artikkeli
16
Julkaistu 2010
Sisällysluettelo:
“...Collective Intelligence in Web Systems – Web Systems Analysis -- Neuro-Fuzzy Models in Global HTTP...”Hae kokoteksti
Elektroninen
E-kirja
17
Tekijä Horstmann, Cay S.
Julkaistu 2013
Aiheet:
“...Java (Computer program language)....”Julkaistu 2013
Cover image
Kirja
18
Julkaistu 2007
Sisällysluettelo:
“... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...”Hae kokoteksti
Elektroninen
E-kirja
19
Sisällysluettelo:
“...Preface -- List of Problems Solved -- Introduction -- Fundamentals of ANSYS® -- Fundamentals...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2007
Sisällysluettelo:
“... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...”Hae kokoteksti
Elektroninen
E-kirja