Visas 61 - 70 av 266 resultat för sökning '"Computer science Mathematics"', Sökningstid: 0,03s Förfina resultatet
  1. 61

    Finite and algorithmic model theory

    Publicerad 2011
    Bok

    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

    Publicerad 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 av Gustafsson, Bertil 1930-

    Publicerad 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 av Kaiser, Lukasz

    Publicerad 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 av Aman, Bogdan

    Publicerad 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 av Gallier, Jean H.

    Publicerad 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Discrete mathematics
  7. 67

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

    Publicerad 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

    I publikationen 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 av Mirkin, Boris (Gregorevich)

    Publicerad 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 av Herde, Christian

    Publicerad 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

Sökverktyg: