Jump to main content

yr 〜
yr

Search results 26

2008 formal methods in computer aided design, Portland, Oregon, USA, 17-20 November 2008

2008 formal methods in computer aided design, Portland, Oregon, USA, 17-20 November 2008
Paper図書
edited by Alessandro Cimatti, Robert B. JonesIEEEc2008
Other Libraries in Japan
  • Author HeadingFMCAD (Conference) Cimatti, Alessandro Jones, Robert B.

Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Paper図書
Thomas Ball, Robert B. Jones (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingCAV (Conference) Ball, Thomas Jones, Robert B.

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)
Paper図書
Springerc2006.<M17-07-171>
National Diet Library
  • Author HeadingBall, Thomas, 1965- Jones, Robert B. (Robert Brent) , 1969- CAV (...

Jean Toomer : selected essays and literary criticism

Jean Toomer : selected essays and literary criticism
Paper図書
edited, with an introduction, by Robert B. JonesUniversity of Tennessee Pressc1996
Other Libraries in Japan
  • Author HeadingToomer, Jean Jones, Robert B.

Jean Toomer and the prison-house of thought : a phenomenology of the spirit

Jean Toomer and the prison-house of thought : a phenomenology of the spirit
Paper図書
Robert B. JonesUniversity of Massachusetts Pressc1993
Other Libraries in Japan
  • Author HeadingJones, Robert B.

The collected poems of Jean Toomer : cloth : pbk

The collected poems of Jean Toomer : cloth : pbk
Paper図書
edited by Robert B. Jones and Margery Toomer Latimer ; with an introduction and textual notes by Robert B. JonesUniversity of North Carolina Pressc1988
Other Libraries in Japan
  • Author HeadingToomer, Jean Jones, Robert B. Latimer, Margery Toomer

Symbolic simulation methods for industrial formal verification

Symbolic simulation methods for industrial formal verification
Paper図書
Robert B. JonesKluwer Academic Publishersc2002
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Brent)

Tennessee at the crossroads : the State debt controversy, 1870-1883

Tennessee at the crossroads : the State debt controversy, 1870-1883
Paper図書
Robert B. JonesUniversity of Tennessee Pressc1977
Other Libraries in Japan
  • Author HeadingJones, Robert B.

Critical phenomena : Sitges International School on Statistical Mechanics, June 1976, Sitges, Barcelona/Spain, director: L. Garrido : Berlin : New York

Critical phenomena : Sitges International School on Statistical Mechanics, June 1976, Sitges, Barcelona/Spain, director: L. Garrido : Berlin : New York
Paper図書
edited by J. Brey and R.B. JonesSpringer-Verlag1976
Other Libraries in Japan
  • Author HeadingSitges International School on Statistical Mechanics Brey, Javier Jones, Robert B.

Mind over markets : power trading with market generated information

Mind over markets : power trading with market generated information
Paper図書
James F. Dalton, Eric T. Jones, Robert B. DaltonTraders Pressc1999
Other Libraries in Japan

Mind over markets : power trading with market generated information

Mind over markets : power trading with market generated information
Paper図書
James F. Dalton, Eric T. Jones, Robert B. DaltonProbusc1990
Other Libraries in Japan

Thai titles and ranks; including a translation of Traditions of royal lineage in Siam by King Chulalongkorn, by Robert B. Jones. (Cornell University. Southeast Asia Program. Data paper, no. 81)

Thai titles and ranks; including a translation of Traditions of royal lineage in Siam by King Chulalongkorn, by Robert B. Jones. (Cornell University. Southeast Asia Program. Data paper, no. 81)
Paper図書
Southeast Asia Program, Dept. of Asian Studies, Cornell University1971.<GE561-14>
National Diet Library
  • Author HeadingJones, Robert B., 1920- Chulalongkorn, King o...

Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｓｐｏｋｅｎ　Ｖｉｅｔｎａｍｅｓｅ． Ｒｅｖｉｓｅｄ　ｅｄｉｔｉｏｎ (Ａｍｅｒｉｃａｎ　Ｃｏｕｎｃｉｌ　ｏｆ　Ｌｅａｎｅｄ　Ｓｏｃｉｅｔｉｅｓ　Ｐｒｏｇｒａｍ　ｉｎ　Ｏｒｉｅｎｔａｌ　Ｌａｎｇｕａｇｅｓ　Ｐｕｂｌｉｃａｔｉｏｎｓ　Ｓｅｒｉｅｓ　Ｂ－Ａｉｄｓ)

Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｓｐｏｋｅｎ　Ｖｉｅｔｎａｍｅｓｅ． Ｒｅｖｉｓｅｄ　ｅｄｉｔｉｏｎ (Ａｍｅｒｉｃａｎ　Ｃｏｕｎｃｉｌ　ｏｆ　Ｌｅａｎｅｄ　Ｓｏｃｉｅｔｉｅｓ　Ｐｒｏｇｒａｍ　ｉｎ　Ｏｒｉｅｎｔａｌ　Ｌａｎｇｕａｇｅｓ　Ｐｕｂｌｉｃａｔｉｏｎｓ　Ｓｅｒｉｅｓ　Ｂ－Ａｉｄｓ)
Paper図書
ＲｏｂｅｒｔＢ．Ｊｏｎｅｓ，Ｊｒ．ａｎｄＨｕｙｎｈＳａｎｈＴｈｏｎｇ ;Ａｍｅｒｉｃａｎ　Ｃｏｕｎｃｉｌ　ｏｆ１９６０．
Other Libraries in Japan
  • Author HeadingＪｏｎｅｓ, Ｒｏｂｅｒｔ, Ｂ． Ｈｕｙｎｈ, Ｓａｎｈ, Ｔｈｏｎｇ．

Spoken Vietnamese

Spoken Vietnamese
Paper図書
Robert B. Jones, Jr., Huyn Sanh ThongSpoken Language Servicesc1979
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Burton) Huỳnh, Sanh ...

Karen linguistic studies: description, comparison, and texts. (University of California publications in linguistics, v. 25)

Karen linguistic studies: description, comparison, and texts. (University of California publications in linguistics, v. 25)
Paper図書
University of California Press1961.<495-J78k>
National Diet LibraryOther Libraries in Japan
  • Author HeadingJones, Robert B 1920-

Thai cultural reader 2nd rev. ed

Thai cultural reader 2nd rev. ed
Paper図書
by Robert B. Jones with Ruchira C. Mendiones and Craig J. ReynoldsCornell University1976
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Burton) Mendiones, R...

Thai titles and ranks : including a translation of Traditions of royal lineage in Siam by King Chulalongkorn

Thai titles and ranks : including a translation of Traditions of royal lineage in Siam by King Chulalongkorn
Paper図書
by Robert B. JonesSoutheast Asia Program, Dept. of Asian Studies, Cornell University1971
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Burton) Chulalongkor...

Thai titles and ranks : including a translation of Traditions of royal lineage in Siam by King Chulalongkorn

Thai titles and ranks : including a translation of Traditions of royal lineage in Siam by King Chulalongkorn
Paper図書
by Robert B. JonesUniversity Microfilms Internationalc1971
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Burton) Chulalongkor...

Introduction to Thai literature

Introduction to Thai literature
Paper図書
Robert B. Jones, Ruchira C. MendionesCornell Universityc1970
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Burton) Mendiones, R...

Thai cultural reader

Thai cultural reader
Paper図書
Robert B. Jones, Ruchira C. MendionesCornell University, Southeast Asia Programc1969
Other Libraries in Japan
  • Author HeadingJones, Robert B. (Robert Burton) Mendiones, R...
RSS