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
Tekijä Brooks, David R., Brooks, David R.
Julkaistu 2011
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
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
Elektroninen E-kirja
10
Tekijä Lee, Kent D., Lee, Kent D.
Julkaistu 2014
Sisällysluettelo: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
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
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)....
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
Elektroninen E-kirja
20
Julkaistu 2007
Sisällysluettelo: ... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...
Hae kokoteksti
Elektroninen E-kirja