1
2
Publicat 2014
Taula de continguts: ... On-the-Fly State Space Exploration Using GPUs -- Forward Reachability Computation for Autonomous Max-Plus...
Obtenir text complet
Electrònic eBook
3
per Horstmann, Cay S.
Publicat 2013
Matèries: ...Java (Computer program language)....
Cover image
Llibre
4
per Saeed, Walid
Publicat 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Obtenir text complet
Thesis
5
Taula de continguts: .... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... -- Outlook on Generation IV Nuclear Systems and Related Materials R&D Challenges -- Fundamentals...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
Obtenir text complet
Electrònic eBook
9
Publicat 2014
Taula de continguts: ... -- Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests -- Man-Machine...
Obtenir text complet
Electrònic eBook
10
per Kamal, Md. Rowshon
Publicat 2006
... Headworks (BRH). The discharge variation regression equation was used to compute discharges downstream using...
Obtenir text complet
Thesis
11
per Kamal, Md. Rowshon
Publicat 2006
... variation regression equation was used to compute discharges downstream using known discharge records...
Obtenir text complet
Thesis
12
Publicat 2007
Taula de continguts: ... SIMULATION PROGRAM TO OPTIMIZE THE OPERATING CONDITIONS OF A SOLAR DESALINATION PLANT FOR MAXIMUM PRODUCTION...
Obtenir text complet
Electrònic eBook