Showing 61 - 70 results of 266 for search '"Computer science Mathematics."', query time: 0.02s Refine Results
  1. 61

    Finite and algorithmic model theory

    Published 2011
    Book

    Finite and algorithmic model theory
  2. 62

    Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday
  3. 63

    Fundamentals of scientific computing by Gustafsson, Bertil 1930-

    Published 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Fundamentals of scientific computing
  4. 64

    Logic and games on automatic structures playing with quantifiers and decompositions by Kaiser, Lukasz

    Published 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
  5. 65

    Mobility in process calculi and natural computing by Aman, Bogdan

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mobility in process calculi and natural computing
  6. 66

    Discrete mathematics by Gallier, Jean H.

    Published 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Discrete mathematics
  7. 67

    Analysis for Computer Scientists Foundations, Methods, and Algorithms by Oberguggenberger, Michael, Oberguggenberger, Michael, Ostermann, Alexander

    Published 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. 68

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

    Published in 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. 69

    Core concepts in data analysis summarization, correlation and visualization by Mirkin, Boris (Gregorevich)

    Published 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. 70

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

    Published 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

Search Tools: