Showing 121 - 130 results of 621 for search '"Science Mathematics."', सवाल का समय: 0.02सेकंड परिणाम को परिष्कृत करें
  1. 121

    Logic and games on automatic structures playing with quantifiers and decompositions द्वारा Kaiser, Lukasz

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic and games on automatic structures playing with quantifiers and decompositions
  2. 122

    Mobility in process calculi and natural computing द्वारा Aman, Bogdan

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mobility in process calculi and natural computing
  3. 123

    Integral methods in science and engineering computational and analytic aspects

    प्रकाशित 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Integral methods in science and engineering computational and analytic aspects
  4. 124

    Mathematical analysis of problems in the natural sciences द्वारा Zorich, V. A. (Vladimir Antonovich)

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mathematical analysis of problems in the natural sciences
  5. 125

    Mathematical geoscience द्वारा Fowler, A. C. (Andrew Cadle) 1953-

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mathematical geoscience
  6. 126

    Discrete mathematics द्वारा Gallier, Jean H.

    प्रकाशित 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Discrete mathematics
  7. 127

    Analysis for Computer Scientists Foundations, Methods, and Algorithms द्वारा Oberguggenberger, Michael, Oberguggenberger, Michael, Ostermann, Alexander

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Analysis for Computer Scientists Foundations, Methods, and Algorithms
  8. 128

    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

    में प्रकाशित Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  9. 129

    Core concepts in data analysis summarization, correlation and visualization द्वारा Mirkin, Boris (Gregorevich)

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Core concepts in data analysis summarization, correlation and visualization
  10. 130

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems द्वारा Herde, Christian

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems

खोज साधन: