Hoare w e (62 risultati)

Condizione: New.

Condizione: New.

Hardcover. Condizione: Very Good. ORIGINAL 1955 PUBLICATION; HARDCOVER; includes five large folded plates in rear pocket (Complete for this publication); ex-corporate libary; in very good condition. Book.

Condizione: New. In English.

PAPER BACK BLUE. Condizione: GOOD. Cover is yellowing at edges but otherwise clean and in good condition, two visible staples at spine. Inside is also slightly yellowing, very clean, binding is good. DATE PUBLISHED: 1955 EDITION: 18.

Paperback. Condizione: G+. 2nd Edition. A good copy. Light blue card covers slightly worn at corners and with minor soiling. 52pp. Binding cracking in one section. pos on inside front cover. Immediate despatch from the UK. 8vo. Book.

Hardcover. Condizione: Very Good EX-LIBRARY. No Jacket. First Edition. London:: The Chemical Society, 1957. A reasonably tight copy. Inner hinges are perfectly sound. Stamped "WITHDRAWN" on the endpapers. Text pages are crisp and unmarked. No underlining. No highlighting. No margin notes. Illustrated with figures. Graphs. Footnotes/bibliographical references. Bound in the original yellow boards, with a red cloth spine. . First Edition. Hardcover. Very Good EX-LIBRARY./No Jacket. 8vo. (iv), 239pp. …

Hardcover. Condizione: Fine. Condizione sovraccoperta: Very Good. 9th printing ; xv, 364 p. : ill. ; 24 cm. ; ISBN: 013901702X; 9780139017025 LCCN: 75-9728 ; LC: QA76.6; Dewey: 001.6/42; NAL: QA76.6.Y68 ; OCLC: 1288391 ; blue and green cloth in like, nicked dustjacket ; Contents: The characteristics of a good computer program -- Top-down program design -- Modular programming -- Structured programming -- Programming style: simplicity and clarity -- Antibugging -- Program testing concepts -- Debugging concepts and techniques -- Class problems and exercises ; FINE/VG. Book.…

Condizione: New.

Condizione: New. Print on Demand.

Limp, 15.5x24.5cm, 112pp. Good condition. General wear, creases and scuff marks. Owner's stamp at front cover. Foxed edges. Stained at fore edge of title page and Contents. Brittle binding; cracked hinges.

Hardcover. Condizione: Nr. Very Good. No Jacket. First Edition. Includes 'Spy Flier' by W.E.Johns. Prize sticker on front paste down. Pages 75-78 torn out (story by Rolf Madden).

Hardcover. Condizione: Very Good. 4th ed. ; 60 pp. ; reinforced blue paper boards ; marks from page 5 to 24 ; Contents: Introduction -- World production of tinplate -- Manufacture of tinplate -- The tin coating -- The steel base -- Quality grading -- Packing -- Ordering -- Testing of tinplate -- Applications of the various coating grades -- Modified trading units -- Bibliography -- Glossary of tinplate terms : English - French - German - Italian - Portuguese - Spanish -- Revised nomenclature for tinplate, UK, 1964. ; 15 tables ; photographs ; W. E. Hoare was director of the International Tin Research Institute, London, and holder of the Verdienstkreuz 1. Klasse of the Federal Republic of Germany, awarded in 1975 in recognition of his services to the metal industries of Germany. ; VG. Book. …

Soft cover. Condizione: Very Good. 48 pages. Dr Tom Margerison report from Moscow "Russia's New Plan For Scientists" / Dr W E Ripper "Can Weeds Hit Back? The progress of chemical control" / SPECIAL ATOMIC SCIENCE SECTION - J R M Southwood "The Future Development Of Gas-Cooled Reactors" / M F Hoare "Radiation And Oil Cracking" / Sir Lawrence Bragg "An International Survey of Recent Scientific Research" (BT#33).…

Condizione: New. PRINT ON DEMAND.

Paperback. Condizione: Good. 111 pages.

Soft Cover. Condizione: Good. No Jacket. First Edition. From an academic library with minimal stamps and labels. 27 pp stapled booklet. Blue paper wraps somewhat dusty. A00003707.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New. In English.

Hardcover. Condizione: Good. viii, 292p.

Condizione: Good. 478 pp., hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.…