deransart (72 Ergebnisse)

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations.

Couverture rigide. Zustand: Assez bon. Coll. "Mnemos". Droit. 12x18 cm. 499 p. Cartonnage éditeur. Etat correct. Papier jauni. Plats défraîchis. Mors un peu fendus. Charnières un peu abîmées. in-12°.

Softcover. 232 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M04272 3540500561 Sprache: Englisch Gewicht in Gramm: 480.

Zustand: Good. 401 pp., Paperback, ex library, else text clean and binding 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.

Zustand: New. pp. 358.

Taschenbuch. Zustand: Gut. 401 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.

Taschenbuch. Zustand: Gut. 401 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.

Hardcover. Zustand: Used: Good. voir photo.

Ed. Technique et documentation, Paris - 1976, in-8, reliure cartonnée d'éditeur, 339 pages bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.

Zustand: as new. Cambridge, Mass. : MIT Press, 1993. Hardcover. xxxi,454 pp. - Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied. Condition : as new copy. ISBN 9780262041409. Keywords : COMPUTER STUDIES, Logic programming.

Broché. Zustand: Etat moyen. in-8 Description :Pages 257-447. Couverture salie avec des pliures. Langue : français Nb de volumes : 1.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 486 pages. 8.80x6.00x1.20 inches. In Stock.

Couverture souple. Zustand: Moyen. Droit. Répertoire alphabétique des crimes, délits, contraventions Tome II Délits (N à Z) Contraventions Extradition. Tome II (2) seul. 1 seul volume ! Arrêté au 15 avril 1949. Cinquième édition entièrement refondue et mise à jour par F.-P. Savagner. Paginé pp. 597-1194. 15x23,5 cm. 597 p. Broché. Etat moyen. Couverture légèrement défraîchie Petites déchirures marginales. Papier bruni. Non coupé. NB. Dos cassé (l'ouvrage n'est pas en deux parties). Brochage lâche. Vendu en l'état : voir photos ou me demander svp ! Fort in-8°.

Couverture souple. Zustand: Assez bon. Droit. Cinquième édition entièrement refondue et mise à jour par F.-P. Savagner. Tome I seul. 1 seul volume ! 14,5x22 cm. 595 p. Broché. Etat correct. Couverture légèrement défraîchie avec petites déchirures. Papier bruni. Non coupé. Dos un peu cassé ! Brochage un peu lâche. Vendu en l'état. Fort in-12°.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large amount of literature, proving the importance of the area and the broad range of its applications. The aim of the book is to put at the disposal of researchers and students, but also of engineers interested in applications, the most important definitions and results known to date in this youthful domain. This seemed best achieved by a survey including three parts: 1) A state-of-the-art review of the main results and of the most promising research directions: this part aims at being both an aid for the reader in understanding the bibliography, by presenting the results using a unified vocabulary together with numerous pointers to the literature, and also an incitement to go into further results and research areas. 2) A presentation of most of the systems dealing with Attribute Grammars: the main interest in this part lays in the presentation of the implementation choices and of the applications. This part is the 'practical' side of the book, emphasizing the point of view of 'design' which can outline the differences between a theoretical idea and the way it can be implemented. 3) A bibliography including about 600 titles on the domain, together with a thematic index enabling readers to find their way easily in accordance with their own points of interest.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) rst emerged in the mid-eighties as a programming technique with the potential of signi cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o , resulting in a number of popular commercial solutions as well as the creation of several successful European startups.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applications: compiler construction, natural language processing, and interactive program manipulation.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.

Taschenbuch. Zustand: Neu. Attribute Grammars | Definitions, Systems and Bibliography | Pierre Deransart (u. a.) | Taschenbuch | ix | Englisch | 1988 | Springer | EAN 9783540500568 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Programming Languages Implementation and Logic Programming | International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings | Pierre Deransart (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1989 | Springer | EAN 9783540508205 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Programming Language Implementation and Logic Programming | International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings | Pierre Deransart (u. a.) | Taschenbuch | vii | Englisch | 1990 | Springer | EAN 9783540530107 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.