Kết quả tìm kiếm

Tinh chỉnh kết quả
  1. 1

    Discrete structures, logic, and computability Bằng Hein, James L.

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


    Ảnh bìa
  2. 2

    Three views of logic mathematics, philosophy, and computer science Bằng Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

    Được phát hành 2014
    Table of contents only
    Sách


    Ảnh bìa
  3. 3

    Proofs and computations Bằng Schwichtenberg, Helmut 1942-

    Được phát hành 2012
    Table of contents only
    Sách


    Ảnh bìa
  4. 4

    Theory of computation Bằng Tourlakis, George J.

    Được phát hành 2012
    Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
    Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy
    Electronic Resource


    Ảnh bìa
  5. 5

    Introduction to languages and the theory of computation Bằng Martin, John C.

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


    Ảnh bìa
  6. 6

    Introduction to languages and the theory of computation Bằng Martin, John C.

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


    Ảnh bìa
  7. 7

    Computability and complexity theory Bằng Homer, Steven

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Ảnh bìa
  8. 8

    Concise guide to computation theory Bằng Maruoka, Akira

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Ảnh bìa
  9. 9

    Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Ảnh bìa
  10. 10

    Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Ảnh bìa

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