a b cremers (9 Ergebnisse)

Softcover/Paperback. Zustand: Sehr gut. 441 Seiten gutes Exemplar Sprache: Deutsch Gewicht in Gramm: 550.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Partial functions in comstructive formal theories.- A Monte Carlo factoring algorithm with finite storage.- Theory of concurrency control.- Interprocedural data flow systems.- On the crossing-free, rectangular embedding of weighted graphs in the plane.- Discreteness, K-density and D-continuity of occurrence nets.- Controlled relativizations of P and NP.- The computational complexity of certain graph grammars.- Inconsistencies of pure LISP.- FIFO nets: A new model of parallel computation.- Une extension aux mots infinis de la notion de transduction rationnelle.- Algebraic and operational semantics of exceptions and errors.- The expected number of nodes and leaves at level k in ordered trees.- Complexity theory on real numbers and functions.- A multifit algorithm for uniform multiprocessor scheduling.- Analysis of polynomial approximation algorithms for constraint expressions.- Heuristics for minimum edge length rectangular partitions of rectilinear figures.- An axiomatic approach to semantics of specification languages.- Efficiency of universal parallel computers.- Coroutines and processes in block structured languages.- A general scheme for some deterministically parsable grammars and their strong equivalents.- A decidability result about sufficient-completeness of axiomatically specified abstract data types.- Two remarks on the power of counting.- Some operations and transductions that preserve rationality.- On algebras of computation sequences and proofs of equivalence of operational and denotational semantics.- Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits.- The equivalence problem for N.T.S. languages is deoidable.- Weakest expressible preconditions: A new tool for proving completeness results about Hoare calculi.- A hierarchy of sets of infinite trees.- Maintaining order in a generalized linked list.- Periodic versus arbitrary tessellations of the plane using polyominos of a single type.

Taschenbuch. Zustand: Neu. Theoretical Computer Science | 6th GI-Conference Dortmund, January 5-7, 1983 | A. B. Cremers (u. a.) | Taschenbuch | xii | Englisch | 1982 | Springer | EAN 9783540119739 | 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. KI-99: Advances in Artificial Intelligence | 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 Proceedings | Wolfram Burgard (u. a.) | Taschenbuch | xi | Englisch | 1999 | Springer | EAN 9783540664956 | 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. Security and Privacy in Social Networks | Yaniv Altshuler (u. a.) | Taschenbuch | vi | Englisch | 2014 | Springer | EAN 9781493901227 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 2692 | Sprache: Niederländisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Hardcover. Zustand: gut. 2024. 2023-2024 (SDU Commentaar) In deutscher Sprache. pages.

Taschenbuch. Zustand: Neu. Deduktive Datenbanken | Eine Einführung aus der Sicht der logischen Programmierung | Armin B. Cremers (u. a.) | Taschenbuch | xii | Deutsch | 1993 | Vieweg & Teubner | EAN 9783528047009 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.