Bradfield j c (27 resultados)

Hardcover. Condición: Good. Pages tanned . Minor Margin Marks. Covers slightly scuffed. Name on inside of front cover. Corners bumped and worn o/w Good Reading Copy.

Soft cover. Condición: Very Good. 1st Edition. DAW Collector's Book 603. Light edge and corner wear with a flat uncreased spine; no interior markings. Cover art by Vincente Segrelles. This anthology contains: Introduction by Karl Edward Wagner; Uncle Otto's Truck by Stephen King; Out of Africa by David Drake; Names by Jane Yolen; Just Waiting ;by Ramsey Campbell; The Ventriloquist's Daughter by Juleen Brantingham; Elle Est Trois (La Mort) by Tanith Lee; The Man with Legs by Al Sarrantonio; 3:47 AM by David Langford; Mistral by Jon Wynne-Tyson; The Wall-Painting by Roger Johnson; Keepsake by Vincent McHardy; Echoes by Lawrence C. Connolly; After-Images by Malcolm Edwards; Come to the Party by Frances Garfield; The Attic by Billy Wolfenbarger; One for the Horrors by David J. Schow; Spring-Fingered Jack by Susan Casper; and The Flash! Kid by Scott Bradfield. Vincente Segrelles; (ilustrador). Book.…

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

Softcover. Condición: Very Good. Estado de la sobrecubierta: N/A. 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 detailed technical drawings and construction diagrams.…

Paperback. Condición: New.

Condición: New. In English.

Slim 4to, 14pp. Original white illustratied wrappers, a little marked and very slightly edgeworn at corners. A reprint of an engineering periodical detailing the design and contruction of the Sydney Harbour bridge, comprising numerous b/w photographic illustrations. Final page bears the tipped-in bookplate of historial Biran W. McDonald. A handsom copy in near-fine condition.…

Condición: New. 2012. Paperback. . . . . .

Condición: New. pp. 126.

Condición: New. 2012. Paperback. . . . . . Books ship from the US and Ireland.

Taschenbuch. Condición: 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. Condición: Very Good. "A genuinely scarce souvenir pamphlet documenting the construction of the Sydney Harbour Bridge and the associated City Railway, published by H. Phillips of Willoughby, NSW, whose imprint appears on the covers and captions throughout. Oblong format, profusely illustrated with construction photographs — the joining of the arch's lower chords in August 1930, creeper cranes, cable tunnels, the northern and southern arch sections, aerial harbour views, and a portrait of the late Sir Henry Parkes, whose 1880s electioneering speech is credited with first inspiring the bridge project. Text covers the bridge's history, site selection, world-record construction feats, and technical details of cable tension and arch closure, alongside glimpses of the new City Railway (St James Station). A wonderful piece of contemporary Australiana documenting one of the nation's defining engineering achievements while it was still under construction. Details Author: J.J.C. Bradfield (attributed) Illustrator: Not Stated Publisher: H. Phillips, Willoughby, N.S.W. Publication Year: c.1930 Printed In: Australia ISBN Condition: A well-used but complete copy of a fragile ephemeral pamphlet. The brown paper wrappers show significant wear consistent with age — chipped and torn edges, a small loss at the upper spine corner, and general toning. Internally the pages are clean and the photographic plates reproduce sharply, with the text block sound and all leaves present. This is honest, well-loved wear on a piece that was never built to last, rather than damage affecting completeness or legibility.".…

Condición: New.

Cartoné. Condición: New. Estado de la sobrecubierta: Nuevo. 01. Tu móvil te recuerda que estuviste a punto de comprar esas zapatillas, sabe que cenaste en ese restaurante, que te gustó esa novela (porcierto, te recomienda esta otra), y es capaz de reconocer la cara detus amigos. Desde que nos levantamos y encendemos nuestro teléfono,producimos datos. Y cuantos más datos se recopilen, más precisas serán las predicciones que generen los algoritmos y mejor se nos podrámonetizar: los datos son el nuevo petróleo. Y si esto fuera másallá? . Damian Bradfield, el fundador de WeTransfer,la plataforma más usada del mundo para compartir archivos, y DavidSánchez, una de las voces más personales del cómic español,reflexionan sobre el monopolio de los gigantes de internet, la pérdida de nuestra privacidad y las posibles derivas de una sociedadultraconectada. Juntos, imaginan un mundo distópico y escalofriante en el que los algoritmos se nos fueron de las manos. LIBRO.…

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

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

Hardcover. Condición: Fine. No Jacket. 301 pages illustrations 24 cm OCLC 2578209 black cloth no dustjacket ; General contents: Introduction to coin collecting -- Collecting United States coins -- Background of American coinage -- Large and small cents -- Silver dollars -- Other regular issue copper and silver coins -- Gold coins --Commemoratives -- Mint engravers and dies -- Patterns ; FINE. Book.…

Soft cover. Condición: Very Good+. Second edition revised, 1983. Twin loop wire bound, in card covers. Covers show light handling and has a few smudges. Interior is clean and unmarked. Printed on rectos only. 48 pages of text. 11 x 8.25 inches. Compiled by Julian C. Bradfield, founder of the TolkLang mailing list and co-founder of the Cambridge Tolkien Society. Divided into four sections, the first is a Quenya dictionary, containing an entry for each Quenya word, whether in the corpus and derived from such word [the entry structure is: word (note) (analysis) part of speech, meaning; elucidation of meaning, other forms, further notes, references]. The second part is a similar dictionary of Proto-Eldarin. The third part is a dictionary of Ante-Quenya, an early version of Quenya which appears in the essay ''A Secret Vice.'' The fourth part is an index to the first three, arranged by the English word. Compiled from the following sources: The Lord of the Rings, Nomenclature of 'The Lord of the Rings', The Silmarillion, Pictures by J.R.R. Tolkien, Unfinished Tales, The Letters of J.R.R. Tolkien, and The Monsters and the Critics and Other Essays.…

Hardcover. Condición: 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.…

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 124 pp. Englisch.…

Condición: New. Print on Demand pp. 126 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condición: New. PRINT ON DEMAND pp. 126.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 124 pp. Englisch.…