bradfield j c (12 Ergebnisse)

Zustand: Gut. 116 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 338 23,6 x 16,0 x 1,5 cm, Gebundene Ausgabe.

28.0 x 22.0cms 16pp b/w illusts very good stapled paperback & cover Bradfield was the chief engineer for the Sydney Harbour Bridge & Metropolitan Railway Construction. The section headings are: historical; the design; fabrication; construction; asphalt construction on the Sydney Harbour Bridge.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph aims to provide a powerful general-purpose proof tech nique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was introduced by Stirling and Walker: rather than traversing the entire state space of a model, as is done for model-checking in the sense of Emerson, Clarke et ai. (checking whether a (finite) model satisfies a formula), local model-checking asks whether a particular state satisfies a formula, and only explores the nearby states far enough to answer that question. The technique used was a tableau method, constructing a tableau according to the formula and the local structure of the model. This tableau technique is here generalized to the infinite case by considering sets of states, rather than single states; because the logic used, the propositional modal mu-calculus, separates simple modal and boolean connectives from powerful fix-point operators (which make the logic more expressive than many other temporal logics), it is possible to give a rela tively straightforward set of rules for constructing a tableau. Much of the subtlety is removed from the tableau itself, and put into a relation on the state space defined by the tableau-the success of the tableau then depends on the well-foundedness of this relation. The generalized tableau technique is exhibited on Petri nets, and various standard notions from net theory are shown to playa part in the use of the technique on nets-in particular, the invariant calculus has a major role.

Softcover. Zustand: Very Good. Undated but circa 1980. 14pp stapled booklet with black and white illustrations. Printed paper wraps. 4to. A little, gentle edge wear and perhaps a hint of toning to covers else neat, clean, bright and tight throughout. A reproduction of an article by J J C Bradfield, the chief engineer for Sydney Harbour Bridge, which first appeared in the journal, The Commonwealth Engineer, in March 1932 regarding the history of the construction of the bridge and the engineering challenges which had to be overcome, with some technical drawings and construction diagrams.

Hardcover. Zustand: Near Fine. 1st Edition. Vi, 362 P. Green Cloth Spine Lettered In Gilt, Gray Boards. First Printing. Near Fine, No Marks, Gilt Bright.

Zustand: New. In.

Hardcover. Zustand: Brand New. 1st edition. 481 pages. 9.25x6.25x1.00 inches. In Stock.

Softcover. Zustand: Very Good. First Edition. 22cm x 28.5cm. 16 pages, illustrations, one full-page colour. Illustrated saddle-stapled wrappers. John Job Crew Bradfield (1867-1943) was the Australian engineer who helped to conceive of, and then supervise, the design and construction of the Sydney Harbour Bridge. He was involved in constructing other major Australian infrastructure projects including Sydney's Underground Railway and Brisbane's Story Bridge. This 1930s booklet, illustrated with numerous sepia-tone photographic illustrations and one full page colour illustration, The Great Bridge by Moonlight, by John Charles Allcot (1888-1973, tells Bradfield's story of the creating the Bridge from figment to reality. Minor shelf wear and soiling. Shipped Weight: .09 kilos.

Hardcover. Zustand: Fair. No Jacket. 526 pp. ; ill. ; 24 cm ; LCCN: sf 83-3063 ; LC: SB21; Dewey: 630.62774 ; OCLC: 8464264 ; Pages 1-83 have been used as a period scrapbook [!], into which are pasted various poems from the 1870's-90's clipped from newspapers such as The Detroit Commercial, The Detroit Post & Ledger, and The Berrien County Journal (April 10, 1880) ; Included are A pasted illustration, "St. Louis High School", poems include Eventide / Julia C. R. Dore -- Always mine -- Fatherly Advice -- If I Could Know -- In the Old Church Tower / T. B. Aldrich -- At Last / J G Whittier -- Woman Gossip -- Making the Best of It -- Bob of the Golden City / Will S. Hayes -- Beautiful Things / Ella P Allerton -- Growing Old -- The Kaiser and the Little Maid -- Reward of Endeavor / Julia Ward Howe -- We Must All Scratch / Frank S Bondy -- The Countersign / Margaret Eytinge -- Which one? -- The Honest Farmer -- Our Frank / M. S. A. -- The Love of Long Ago / Ella Wheeler -- Fathers Growing Old, John -- Somebody's Mother -- Comparison / Annie E Fisher -- To My Mother -- Falsely Accused -- Dear John -- Taking the End of the Seat -- It May Be Your Turn Next -- Pomp's Defense -- Cliff Roses / F. W. B. -- Little Mabel / Alice Van Orden -- The Printer's Toil / Scott -- A Pintin' To-day? -- Heartless / Medora Clark -- The Dead Child and the Mocking-Bird / Paul H Hayne -- Mother's Way -- Buddha and the Hindoo Mother / Edwin Arnold -- I Have Drunk My Last Glass / Louisa S Upham -- Brevities and Oddities A Temperance Curiosity -- Of All -- Dr. Holland's Last Poem -- The Two Gates, Only! -- The Country Schoolmaster -- Leap Year -- A Nibble -- A Swarm of Bees -- Do Your Best / M. Ella Cornell -- Annie and Willie's Prayer, A Christmas Story / Sophia P. Snow -- How the Conductor Took the Fare -- Laugh and Grow Fat -- I am So Tired of Being Me -- A Laugh is Worth a Hundred Groans / Josephine Pollard -- A happy New Year / Spirit May -- Just Here -- Coming Home / M. T. Shelhamer -- He Loveth When He Chasteneth / Lizzie Fenner Baker -- They Shall Revive As the Corn / Annie Mills -- True Courage -- Better than Gold / Father Ryan -- Lift Up the Temperance Banner / Rev. Charles Garrett -- Little By Little / J. Albert Wilson -- No Time Like the Present / Phoebe Cary ; articles in the report include: Discussions of the Peninsula Farmers' Club--Fungus not the Cause of Disease, the advantages of top grafting -- Insects injurious to strawberries / A J Cook -- Garden and Wild FLowers / Mrs. Jeremiah Brown -- New Varieties of Fruit (Peaches: Hill's Chill, The Barnard, Honest John, Keyport White, Foster; Paw Paw Apple, Romanite Apple) / T T Lyon -- Fruit Growing at South Haven / J E Bidwell -- Fruit Culture at Grand Traverse / Stanford Howard -- Birds / L H Bailey -- The Necessity of a State Entomologist / H A Shaw -- Orchard Drainage / A T Linderman -- Of One Hundred, How Many? / T T Lyon, James D Husted, A J Cook, Edward Bradfield, R F Hathaway, H E Bidwell -- Pear Blight / P J Berckman, Josiah Hoopes -- The State Fair 1873 -- Orchards and Vineyards of Michigan / S Q Lent -- A Grand Traverse Fruit Farm / T T Lyon -- A Kent County Peach Orchard and Grapery / Albert Baxter -- Flowers at the Michigan State Fair / James Vick -- Old Mission Orchards / WHC Lyon -- Early History of Horticulture in Michigan / JC Holmes -- The Importance to the Fruit Culturist of Shelter or Protection / TT Lyon -- Western New York Horticultural Society / PC Reynolds -- Lecture on Entomology / CV Riley -- The Bird Question / Wm. LeBaron -- Agressive Parasitism of Fungi / TJ Burrill -- Peaches of the Michigan Peach Belt / AS Dyckman -- Horticulture for the People / JJ Thomas -- Insects Injurious to House Plants and Shubbery / AJ Cook -- The Apple Tree / WJ Beal -- Grape Culture / Artimus Sigler -- The Honey Locust as a Hedge Plant / JW Helme ; 14 black and white illustrations ; page 203/204 creased ; because of the scrapbooking, condition is FAIR. Book.

Willoughby, N.S.W. : H. Phillips, [1930]. Large oblong octavo (160 x 250 mm), pictorial red wrappers printed in black, stapled; [32] pp, with b/w photographic illustrations and line drawings throughout; a very good copy. Internal references and illustrations indicate this pamphlet was probably published in 1930. One of the illustrations is an artist's impression of how the bridge might be illuminated 'on its opening night in 1931'. The pamphlet describes, both pictorially and in text, the twin engineering feats of the construction of the bridge and the new city railway.

Willoughby, N.S.W. : H. Phillips, [1930]. Large oblong octavo (210 x 260 mm), pictorial grey wrappers printed in blue, stapled; [44] pp, with b/w photographic illustrations and line drawings throughout; a fine copy. Internal references and illustrations indicate this pamphlet was probably published in 1930. One of the illustrations is an artist's impression of how the bridge might be illuminated 'on its opening night in 1931'. The pamphlet describes, both pictorially and in text, the twin engineering feats of the construction of the bridge and the new city railway. Note : there is also a similar publication of the same title, different measurement, of 32 pages.