pierre deransart (29 Ergebnisse)

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.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.78.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. 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. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. 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. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.

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.

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.

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: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

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.

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.

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

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.

Zustand: New. 1988. Paperback. . . . . . Books ship from the US and Ireland.

Zustand: New. 2000. Paperback. . . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Neuware -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. 392 pp. Englisch.

Zustand: New. 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 a.

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 - 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 - 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 - 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.

Zustand: New. In.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a reference manual on the ISO international standard of the programming language PROLOG. PROLOG was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multumedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. Moreover, it is the kernel language of many emerging logic programming languages which support constraints, functions and concurrency. The book gives a comprehensible full desription of the standardized language together with an executable specification. It enables system developers, application programmers and PROLOG users to work with any standard conforming processor.