Jump to main content

yr 〜
yr

Search results 17

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.

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Paper図書
Thomas Ball, Sriram K. Rajamani (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingSPIN Ball, Thomas Rajamani, Sriram K.

Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012 : Amsterdam, the Netherlands, September 26-28, 2012 : proceedings : Sep 2012, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7604)

Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012 : Amsterdam, the Netherlands, September 26-28, 2012 : proceedings : Sep 2012, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7604)
Paper図書
Springerc2012.<M17-13-833>
National Diet Library
  • Author Heading...eten, J. C. M. Ball, Thomas, 1965- Boer, Frank S. de. IFI...

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. (Robe...

Model checking software : 10th international SPIN workshop : Portland, OR, USA, May 9-10, 2003 : proceedings. : May 2003, Portland, OR. (Lecture Notes in Computer Science ; 2648)

Model checking software : 10th international SPIN workshop : Portland, OR, USA, May 9-10, 2003 : proceedings. : May 2003, Portland, OR. (Lecture Notes in Computer Science ; 2648)
Paper図書
Springerc2003.<M17-04-466>
National Diet Library
  • Author HeadingBall, Thomas (Thomas Jaudon) , 1965- Rajam...

The effects of a carbohydrate-electrolyte replacement drink taken during high intensity exercise on sprint capacity at the end of exercise

The effects of a carbohydrate-electrolyte replacement drink taken during high intensity exercise on sprint capacity at the end of exercise
Microform図書
by Thomas C. Ball[Microform Publications, University of Oregon][1995]
Other Libraries in Japan
  • Author HeadingBall, thomas C.

Consistency in pattern of 60 second, continuous static contractions in three muscle groups of young men tested over four days

Consistency in pattern of 60 second, continuous static contractions in three muscle groups of young men tested over four days
Microform図書
by Thomas Edward Ball[University Microfilms][1986]
Other Libraries in Japan
  • Author HeadingBall, Thomas Edward

Itard, Seguin, and Kephart : sensory education, a learning interpretation

Itard, Seguin, and Kephart : sensory education, a learning interpretation
Paper図書
Thomas S. BallMerrillc1971
Other Libraries in Japan
  • Author HeadingBall, Thomas S.

Gynecologic surgery and urology 2nd ed.

Gynecologic surgery and urology 2nd ed.
Paper図書
Thomas L. Ball ; with foreword by R. Gordon Douglas ; illustrated with 198 full-page plates by Daisy StilwellMosby1963
Other Libraries in Japan
  • Author HeadingBall, Thomas Lyon Douglas, R. Gordon

Gynecologic surgery and urology

Gynecologic surgery and urology
Paper図書
by Thomas L. Ball ; with foreword by R. Gordon DouglasC.V. Mosby1957
Other Libraries in Japan
  • Author HeadingBall, Thomas L.

Verse upon several occasions with some translations out of the Latin and Greek poets / by the same author.|Two books of elegies: in imitation of the first two books of Ovid De tristibus, with part of the third

Verse upon several occasions with some translations out of the Latin and Greek poets / by the same author.|Two books of elegies: in imitation of the first two books of Ovid De tristibus, with part of the third
Digital電子書籍・電子雑誌図書
ProQuest, UMI1697
National Diet Library
  • Author HeadingBall, Thomas

Two books of elegies: in imitation of the first books of Ovid de Tristibus; with part of the third : To which is added, verses upon several occasions, with some translations out of the Latin and Greek poets. By Thomas Ball, M.A. of St. John's Colledge in

Two books of elegies: in imitation of the first books of Ovid de Tristibus; with part of the third : To which is added, verses upon several occasions, with some translations out of the Latin and Greek poets. By Thomas Ball, M.A. of St. John's Colledge in
Digital電子書籍・電子雑誌図書
1697
National Diet Library
  • Author HeadingBall, Thomas

Poimenopurgos. Pastorum propugnaculum. Or, The pulpits patronage against the force of un-ordained usurpation, and invasion. By Thomas Ball, sometimes Fellow of Emmanuel College in Cambridge, now minister of the Gospel in Northampton, at the request, and

Poimenopurgos. Pastorum propugnaculum. Or, The pulpits patronage against the force of un-ordained usurpation, and invasion. By Thomas Ball, sometimes Fellow of Emmanuel College in Cambridge, now minister of the Gospel in Northampton, at the request, and
Digital電子書籍・電子雑誌図書
ProQuest, UMI1656
National Diet Library
  • Author HeadingBall, Thomas

Golden scepter held forth to the humble : With the Churches dignitie by her marriage. And the Churches dutie in her carriage. In three treatises. The first delivered in sundry sermons in Cambridge for the weekely fasts, 1625. The two later in Lincolnes I

Golden scepter held forth to the humble : With the Churches dignitie by her marriage. And the Churches dutie in her carriage. In three treatises. The first delivered in sundry sermons in Cambridge for the weekely fasts, 1625. The two later in Lincolnes I
Digital電子書籍・電子雑誌図書
1638
National Diet Library
  • Author HeadingPreston, John; Ball, Thomas; Glover, George; Goodwin, Tho...

Life eternall or, A treatise of the knowledge of the divine essence and attributes. Delivered in XVIII. sermons by the late faithfull and worthy minister of Iesus Christ, Iohn Preston, Doctor in Divinity, chaplaine in ordinary to his Majesty, master of E

Life eternall or, A treatise of the knowledge of the divine essence and attributes. Delivered in XVIII. sermons by the late faithfull and worthy minister of Iesus Christ, Iohn Preston, Doctor in Divinity, chaplaine in ordinary to his Majesty, master of E
Digital電子書籍・電子雑誌図書
1634
National Diet Library
  • Author HeadingPreston, John; Ball, Thomas; Goodwin, Thomas

Balles, 1631. A new almanacke and prognostication for the yeere of our Lord God and finall redemption 1631. Being the third after the bissextile or leape yeere. / Written according to the rules of lawfull art, for the meridian and latitude of the ancient

Balles, 1631. A new almanacke and prognostication for the yeere of our Lord God and finall redemption 1631. Being the third after the bissextile or leape yeere. / Written according to the rules of lawfull art, for the meridian and latitude of the ancient
Digital電子書籍・電子雑誌図書
ProQuest, UMI1631
National Diet Library

Balles, 1631. A new almanacke and prognostication for the yeere of our Lord God and finall redemption 1631. Being the third after the bissextile or leape yeere. Written according to the rules of lawfull art, for the meridian and latitude of the ancient a

Balles, 1631. A new almanacke and prognostication for the yeere of our Lord God and finall redemption 1631. Being the third after the bissextile or leape yeere. Written according to the rules of lawfull art, for the meridian and latitude of the ancient a
Digital電子書籍・電子雑誌図書
ProQuest, UMI1631
National Diet Library

Reached to the end of result.

RSS