clement timothy (8 Ergebnisse)

Paperback. Zustand: Brand New. 288 pages. 9.26x6.11x0.65 inches. In Stock.

PB, 210 x 168 mm, 64 pagina's NL edition. ISBN 9789085868330. In oktober 1711 opende het Theater van het Tapissierspand zijn deuren. Het was de eerste grote schouwburg van Antwerpen. Meer dan een eeuw lang konden de Antwerpenaren er terecht voor bals, concerten, theater en bovenal opera. Tal van fascinerende acteurs, actrices en musici traden er ooit op. En het theater was het decor voor belangrijke ontvangsten. Tot het Theater van het Tapissierspand in 1829 moest plaatsmaken voor de Bourlaschouwburg. Dit cahier neemt de lezer mee naar de verdwenen opera van Antwerpen. 200 g.

Paperback. Zustand: Brand New. 348 pages. 9.61x6.69x0.79 inches. In Stock.

Broché. Zustand: Bon état. in-8 Description :194 pp. Langue : Français/Anglais Nb de volumes : 1.

Zustand: New. In.

Zustand: New. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are .

Taschenbuch. Zustand: Neu. Neuware - Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.

Zustand: Very good. First Edition. First edition of this moralizing chapbook about the merits to be earned with good behavior ? a remarkably scarce title. THE HAPPY FAMILY is a rather amusing example of the economy with which many early US American chapbooks were produced. From the rather off-center front wrapper printing to a change in the size of type midway through the text to an unfortunate typo on page 23 (poor Jizzle indeed), it is clear that the publisher cut a number of production corners ? giving the modern historian an interesting peek into the process of printing a chapbook. This is quite a rare title ? it does not appear in Rosenbach or Osborne, and OCLC locates only one holding. A real charmer. 4.75'' x 4''. Original pink pictorial wrapper. Black-and-white woodcut frontispiece with eight woodcut illustrations. 31 pages, first and last pages pasted to wrappers; pages 15-29 misnumbered 17-31, as usual. Early owner name to frontispiece twice, "Ellen A. Whitcomb." Some illustrations with a bit of contemporary coloring by a naive hand. Wrapper with some soil and spotting; some toning to rear. Leaves with light edgewear, trace damp staining to upper half of book. Shallow crease to center of wrapper and leaves. Sound.