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

    Finite and algorithmic model theory

    Udgivet 2011
    Bog

    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

    Udgivet 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 af Gustafsson, Bertil 1930-

    Udgivet 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 af Kaiser, Lukasz

    Udgivet 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 af Aman, Bogdan

    Udgivet 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 af Gallier, Jean H.

    Udgivet 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Discrete mathematics
  7. 67

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

    Udgivet 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

    Udgivet i 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 af Mirkin, Boris (Gregorevich)

    Udgivet 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 af Herde, Christian

    Udgivet 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øgeredskaber: