Đang hiển thị 61 - 70 kết quả của 266 cho tìm kiếm '"Computer Science Mathematics."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 61

    Finite and algorithmic model theory

    Được phát hành 2011
    Sách

    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

    Được phát hành 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 Bằng Gustafsson, Bertil 1930-

    Được phát hành 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 Bằng Kaiser, Lukasz

    Được phát hành 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 Bằng Aman, Bogdan

    Được phát hành 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 Bằng Gallier, Jean H.

    Được phát hành 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Discrete mathematics
  7. 67

    Analysis for Computer Scientists Foundations, Methods, and Algorithms Bằng Oberguggenberger, Michael, Oberguggenberger, Michael, Ostermann, Alexander

    Được phát hành 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

    Xuất bản năm 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 Bằng Mirkin, Boris (Gregorevich)

    Được phát hành 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 Bằng Herde, Christian

    Được phát hành 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

Công cụ tìm kiếm: