maluszynski (49 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.

Zustand: Good. 433 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.

Soft Cover. Zustand: Good. Lecture Notes in Computer Science, 2901. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear and has small scuff on spine. 207 pages. Ex-Library.

Zustand: New. pp. 282 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

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.

inb. Zustand: As New.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780471926252.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

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.

Zustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

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: Gut. Formateinband: Broschierte Ausgabe X, 205 S. (24 cm) Paperback; 1. Aufl.; Papier etwas gebräunt; sonst gut erhalten. Sprache: Deutsch Gewicht in Gramm: 550 [Stichwörter: Programmieren, Programmiersprache].

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

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. 1989 edition. 228 pages. 9.25x6.10x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 269 pages. 9.29x6.06x0.63 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 392 pages. 9.06x6.06x0.87 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

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.

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.

Taschenbuch. Zustand: Neu. Neuware -The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and reasoning, component models for Semantic Web languages, controlled English for reasoning on the Semantic Web, semantic search with GoPubMed, and information integration in bioinformatics with ontologies and standards. Each chapter gives an in-depth coverage of the subject and provides an extensive bibliography with pointers to further literature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 280 | Sprache: Englisch | Produktart: Bücher | and Norbert Eisinger in particular, who helped in several critical phases, and to the organizations that supported this event: the University of Padua, the MOST project, and the N- work of Excellence REWERSE.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Semantic Web is a major endeavor aimed at enriching the existing Web withmetadataandprocessingmethodssoastoprovideWeb-basedsystemswith advanced(so-calledintelligent)capabilities,inparticularwithcontext-awareness and decision support. The advanced capabilities striven for in most Semantic Web application s- narios primarily call for reasoning. Reasoning capabilities are o ered by exi- ing Semantic Web languages, such as BPEL4WS, BPML, ConsVISor, DAML-S, JTP, TRIPLE, and others. These languages, however, were developed mostly from functionality-centered (e.g., ontology reasoning or access validation) or application-centered (e.g., Web service retrieval and composition) perspectives. A perspective centered on the reasoning techniques (e.g., forward or backward chaining, tableau-like methods, constraint reasoning, etc.) complementing the above-mentioned activities appears desirable for Semantic Web systems and - plications. The workshop on Principles and Practice of Semantic Web Reas- ing, which took place on December 8, 2003, in Mumbai, India, was the rst of a series of scienti c meetings devoted to such a perspective. JustasthecurrentWebisinherentlyheterogeneousindataformatsanddata semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms.Indeed,anysingleformof reasoningturnsouttobeirrealin theSemantic Web. For example, ontology reasoning in general relies on monotonic negation (for the metadata often can be fully speci ed), while databases, Web databases, and Web-based information systems call for non-monotonic reasoning (for one would not specify non-existing trains in a railway timetable); constraint reas- ing is needed when dealing with time (for time intervals have to be dealt with), while(forwardand/orbackward)chainingisthereasoningofchoicewhe ncoping with database-like views (for views, i.e., virtual data, can be derived from actual data using operations such as join and projections).

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the 4th International Summer School on the Reasoning Web, held in Venice, Italy, in September 2008. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particular focus on reasoning.The seven tutorial papers presented provide competent coverage of methods and major application areas such as social networks, semantic multimedia indexing and retrieval, bioinformatics, and semantic web services. They highlight which techniques are already being successfully applied for purposes such as improving the performance of information retrieval algorithms, enabling the interoperation of heterogeneous agents, modelling users profiles and social relations, and standardizing and improving the accuracy of very large and dynamic scientific databases.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the tutorial papers of the Summer School 'Reasoning Web,'July25-29,2005. TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE 'Reasoning on the Web with Rules and Semantics' , funded by the EU Commission and by the Swiss Federal O ce for Edu- tion and Science within the 6th Framework Programme under the project ref- ence number 506779. The objective of the school was to provide an introduction into methods and issues of the Semantic Web, a major endeavor in current Web research, where the World Wide Web Consortium W3C plays an important role. The main idea of the Semantic Web is to enrich Web data with meta-data carrying a 'meaning' of the data and allowing Web-based systems to reason about data (and meta-data). The meta-data used in Semantic Web applications is usually linked to a conceptualization of the application domain shared by di erent applications. Such a conceptualization is called an ontology and sp- i es classes of objects and relations between them. Ontologies are de ned by ontology languages, based on logic and supporting formal reasoning. Just as the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. - deed, any single form of reasoning turns out to be insu cient in the Semantic Web.