1
nork Rahmat, Hazwani
Argitaratua 2020
Gaiak: ...Mobile computing...
Testu osoa
Thesis
2
Argitaratua 2007
Aurkibidea: ... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ... -- Simulation of Multi-Robot Teams with Flexible Level of Detail -- MM-ulator: Towards a Common Evaluation...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2012
Aurkibidea: ... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2010
Aurkibidea: ... Experimentation Platform V-REP: A Versatile 3D Robot Simulator -- Evaluation and Enhancement of Common Simulation...
Testu osoa
Baliabide elektronikoa eBook
6
nork Hansen, Michael R.,, Rischel, Hans,
Argitaratua 2013
Aurkibidea: ... trees; 7. Modules; 8. Imperative features; 9. Efficiency; 10. Text processing programs; 11. Sequences...
Liburua
7
Argitaratua 2007
Aurkibidea: ..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2008
Aurkibidea: ... -- A Framework for Proving Correctness of Adjoint Message-Passing Programs -- A Compact Computing...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2005
Aurkibidea: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2006
Aurkibidea: ... and OpenMP Parallel Programming -- Outstanding Papers -- Issues in Developing a Thread-Safe MPI...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2014
Aurkibidea: ... Management -- THESEUS: A Successful First Step. -Part II – Core Technologies -- Core Technologies...
Testu osoa
Baliabide elektronikoa eBook
12
Aurkibidea: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2005
Aurkibidea: ... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2010
Aurkibidea: ...Large Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2011
Aurkibidea: ... and locality in genetic programming -- Evolution of an Effective Brain-Computer Interface Mouse via Genetic...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2005
Aurkibidea: ... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2007
Aurkibidea: ...Generating User Interfaces from Conceptual Models: A Model-Transformation Based Approach -- Towards...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2010
Aurkibidea: ... and Release Planning Practices for Extreme Programming -- Experience Reports -- Launchpad’s Quest for a Better...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2008
Aurkibidea: ... -- An Approximate Model of the WCDMA Interface Servicing a Mixture of Multi-rate Traffic Streams with Priorities...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2014
Aurkibidea: ... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...
Testu osoa
Baliabide elektronikoa eBook