1
出版 2005
書本目錄: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...
獲取全文
電子 電子書
5
出版 2006
書本目錄: ... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...
獲取全文
電子 電子書
6
出版 2007
書本目錄: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
獲取全文
電子 電子書