Wilfried brauer (81 Ergebnisse)

Taschenbuch. Zustand: Gut. 115 Seiten. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. Sprache: Deutsch Gewicht in Gramm: 130.

Taschenbuch. Zustand: Gut. 177 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Deutsch Gewicht in Gramm: 100.

Taschenbuch. Zustand: Gut. 3., völlig neubearb. Aufl. 388 S. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Deutsch Gewicht in Gramm: 370.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Softcover/Paperback. Zustand: Gut. XII, 268 S.; graph. Darst.; 24 cm Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 450.

Softcover. Zustand: Fine. Leichte Gebrauchsspuren; Leichte Verschmutzung / Farbtonveranderung. This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic ,From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.…

Softcover. Zustand: Fine. Leichte Kratzer / Abnutzungen / Druckstellen; Leichte Verformung / umgeknickte Seiten; Leichte Verschmutzung / Farbtonveränderung. General literature -- general.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Zustand: Gut. XXXVI, 429 S. Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). B10-01-04B|[X2650] Sprache: Englisch Gewicht in Gramm: 664. …

Broschiert, Format groß 8°, Abriebstelle auf Einband von entfernter Rückensignatur, 537 leicht nachgedunkelte Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anstreichungen im Text, das Buch befindet sich in einem guten Zustand --- Softcover, 537 slightly darkened pages,robbed dot on cover from removed back signature, Lib.Ex., no marks / underlines, the book is in a good condition. Shipping to abroad insured with tracking number.…

Gr.-8°, kart. Zustand: Gut. 544 S., graf. Darst. Gebraucht; vorderer Einbanddeckel leicht berieben, ansonsten guter und sauberer Zustand. Zum Buch: Zeil der Reihe ist die möglichest schnelle und weite Verbreitung. - neuer Forschungs- und Entwicklungsergebnisse - zusammenfassender Übersichtsberichte über den Stand eines Gebietes - von Materialien und Texten zur Weiterbildung. Ind iesem Rahmen werden Themen aus Theorie und Praxis der Infromatik einschließlich der Datenverarbeitung in verschiedenen Anwendungsgebieten behandelt. . Sprache: Deutsch.…

Paperback. Zustand: Gut. 1. Auflage. 115 p. [BI HOCHSCHUL TB ; 817]. Buch.

Softcover. Zustand: Good. 1st Edition. xiii + 537 p; many Ill. [LECTURE NOTES IN COMPUTER SCIENCE ; 84]. Buch.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:3540179054.

Gr.-8°, kart. Zustand: Gut. XIV, 432 S. : graph. Darst. Gebraucht; Einbanb leicht berieben, innen guter und sauberer Zustand. Zum Buch. Zeil der Reihe ist die möglichst schnelle und weite Verbreitung. - neuer Forschungs- und Entwicklungsergebnisse - zusammenfassender Übersichtsberichte über den Stand eines Gebietes - von Materialien und Texten zur Weiterbildung. In diesem Rahmen werden Themen aus Theorie und Praxis der Infromatik einschließlich der Datenverarbeitung in verschiedenen Anwendungsgebieten behandelt. Sprache: Deutsch Gewicht in Gramm: 745.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Hardcover. Zustand: Very Good. 1st Edition. pp.ii, 20p, plus 150 plates, a very good large hardback (Folio: 42 cm x 30 cm x 5.5 cm), publisher's original hessian cloth binding with red lettering to the spine and front cover. Minimal evidence that it is from a uk university.

Paperback. Zustand: Brand New. 1st edition. 420 pages. 9.25x6.25x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 1987 edition. 496 pages. 9.25x6.10x1.00 inches. In Stock.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Vertex packing algorithms.- Linear and branching structures in the semantics and logics of reactive systems.- About rational sets of factors of a bi-infinite word.- A fair protocol for signing contracts.- The influence of key length on the area-time complexity of sorting.- Repeated synchronous snapshots and their implementation in CSP.- On total regulators generated by derivation relations.- Optimal solutions for a class of point retrieval problems.- Fractional cascading: A data structuring technique with geometric applications.- Hierarchies of one-way multihead automata languages.- Partitioning point sets in 4 dimensions.- A completeness theorem for recursively defined types.- Categorical combinatory logic.- Towards a uniform topological treatment of streams and functions on streams.- Infinite streams and finite observations in the semantics of uniform concurrency.- Imposed-functional dependencies inducing horizontal decompositions.- Characterization of high level tree transducers.- Ambiguity and transcendence.- A fast algorithm for polygon containment by translation.- Deterministic and Las Vegas primality testing algorithms.- Efficient algorithms for graphic matroid intersection and parity.- Operational semantics for order-sorted algebra.- A universal domain technique for profinite posets.- A simple proof of the Skolem-Mahler-Lech theorem.- On complete problems for NP CoNP.- An algebraic theory of fair asynchronous communicating processes.- Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem.- Powerdomains as algebraic lattices preliminary report.- Random generation of combinatiorial structures from a uniform distribution.- Do rational equivalence relations have regular cross-sections .- On probabilistic time and space.- Thenearest neighbor problem on bounded domains.- Routing through a generalized switchbox.- On k-repetition free words generated by length uniform morphisms over a binary alphabet.- Every commutative quasirational language is regular.- A probabilistic distributed algorithm for set intersection and its analysis.- Distributed algorithms in synchronous broadcasting networks.- A context dependent equivalence between processes.- Lower bounds by kolmogorov-complexity.- A bidirectional shortest-path algorithm with good average-case behavior (preliminary version).- Applications of an infinite squarefree CO-CFL.- Special relations in automated deduction.- Dynamic interpolation search.- Polynomial levelability and maximal complexity cores.- Finite group topology and p-adic topology for free monoids.- On the use of relational expressions in the design of efficient algorithms.- The complementation problem for Büchi automata with applications to temporal logic.- A complete compositional modal proof system for a subset of CCS.- On matrix multiplication using array processors.- Optimal parallel pattern matching in strings.- Compositionality and concurrent networks: Soundness and completeness of a proofsystem.…