1
2
nork Saeed, Walid
Argitaratua 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Testu osoa
Thesis
3
Argitaratua 2014
Aurkibidea: ... Tool for C (Competition Contribution) -- MU-CSeq: Sequentialization of C Programs by Shared Memory...
Testu osoa
Baliabide elektronikoa eBook
4
nork Horstmann, Cay S.
Argitaratua 2013
Gaiak: ...Java (Computer program language)....
Cover image
Liburua
5
Aurkibidea: .... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2008
Aurkibidea: ... -- Outlook on Generation IV Nuclear Systems and Related Materials R&D Challenges -- Fundamentals...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2014
Aurkibidea: ... -- Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests -- Man-Machine...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2006
Aurkibidea: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Testu osoa
Baliabide elektronikoa eBook