Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference
69,60 €
Invited Talks. - Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. - Regular Papers. - A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs.
Jetzt bei Ebay: