Gösterilen 1 - 10 sonuçlar arası kayıtlar. 12 sonuç. Aranan kelime '(No Abstract)', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1

    Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
  2. 2

    Recent trends in data type specification 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992...

    Baskı/Yayın Bilgisi 1994
    Kitap

    Recent trends in data type specification 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
  3. 3

    Recent trends in data type specification 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992...

    Baskı/Yayın Bilgisi 1994
    Kitap

    Recent trends in data type specification 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
  4. 4

    Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected p...

    Baskı/Yayın Bilgisi 1993
    Kitap

    Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
  5. 5

    Hybrid rice proceedings of the International Symposium on Hybrid Rice, 6-10 October 1986, Changsha, Hunan, China.

    Baskı/Yayın Bilgisi 1988
    Kitap

    Hybrid rice proceedings of the International Symposium on Hybrid Rice, 6-10 October 1986, Changsha, Hunan, China.
  6. 6

    Historical statistics of the United States, colonial times to 1957 a statistical abstract supplement.

    Baskı/Yayın Bilgisi 1965
    Kitap

    Historical statistics of the United States, colonial times to 1957 a statistical abstract supplement.
  7. 7

    U.S. deskbook of facts & statistics.

    Baskı/Yayın Bilgisi 1964
    Kitap

    U.S. deskbook of facts & statistics.
  8. 8

    Historical statistics of the United States, colonial times to 1857 a Statistical abstract supplement

    Baskı/Yayın Bilgisi 1960
    Kitap

    Historical statistics of the United States, colonial times to 1857 a Statistical abstract supplement
  9. 9

    The world of abstract art.

    Baskı/Yayın Bilgisi 1957
    Kitap

    The world of abstract art.
  10. 10

    Historical statistics of the United States, 1789-1945 a supplement to the Statistical abstract of the United States

    Baskı/Yayın Bilgisi 1949
    Kitap

    Historical statistics of the United States, 1789-1945 a supplement to the Statistical abstract of the United States

Arama Araçları: