Choffrut (18 Ergebnisse)

Paperback. Zustand: Very Good. No Dust Jacket. Lecture Notes in Computer Science 415; Ex-Library. Ink stamp and previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on colophon. Bumped spine head and corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.…

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Format groß 8°,LEINEN, der Einband ist durch eine zusätzliche feste Transparentschutzfolie geschützt, 125 nachgedunkelte Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem sehr guten Zustand --- Lib.Ex.,LINEN BINDING, no marks, cover in foil, 125 a bit darkened pages, very good condition. Shipping to abroad insured with tracking number.…

Zustand: new. Livraison rapide, bien emballé, service client soigné.Pour tout renseignement complémentaire, n'hésitez pas à nous contacter.

Zustand: New.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This proceedings volume contains two invited papers and 24 contributions on theoretical aspects of computer science.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 14th Spring School of the LITP (Laboratoire d`Informatique Théorique et de Programmation, Université Paris VI-VII, CNRS) held May 12-16, 1986 in Argelès-Village on the French Catalan coast. This meeting was organized by C. Choffrut, M. Nivat, F. Robert, P. Sallé and gathered a hundred participants. The proceedings of the last two Spring Schools have already been published in this series and deal with 'Automata on Infinite Words' (LNCS 192) and 'Combinators and Functional Programming Languages' (LNCS 242). The purpose of this yearly meeting is to present the state of the art in a specific topic which has gained considerable maturity. The field chosen this year was the theory of automata networks. Though the content of this book is essentially restricted to computer science aspects of the topic, illustrations were given at the meeting on how the model of cellular automata could be used to solve problems in statistical, fluid and solid state mechanics. Applications to biology with growth models also exist.…

Taschenbuch. Zustand: Neu. Automata Networks | LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings | C. Choffrut | Taschenbuch | vii | Englisch | 1988 | Springer | EAN 9783540194446 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Polymorphism, parameterization and typing: An algebraic specification perspective.- Executable higher-order algebraic specifications.- Efficient memory access in large-scale computation.- l-occurrences of avoidable patterns.- Rational relations with bounded delay.- On the power of several queues.- On aperiodic trace languages.- Recognizable and rational languages of finite and infinite traces.- On the concatenation of infinite traces.- Tight RNC approximations to Max Flow.- A natural metric for curves - Computing the distance for polygonal chains and approximation algorithms.- The worst case complexity of MC Diarmid and Reed's variant of BOTTOM-UP-HEAT SORT is less than n log n+1.1n.- Decision problems for term rewriting systems and recognizable tree languages.- Decidable sentences for context-free groups.- The owner concept for PRAMs.- Actors as a parallel programming model.- Average case analysis of unification algorithms.- Methodology for proving the termination of logic programs.- Polynomial size constant depth circuits with a limited number of negations.- Randomized polynomials, threshold circuits, and the polynomial hierarchy.- Computationally convincing proofs of knowledge.- Interactive proof systems and alternating time-space complexity.- Optimal tradeoffs between time and bit complexity in distributed synchronous rings.- Unconditional Byzantine Agreement with good majority.- A new compacting garbage-collection algorithm with a good average-case performance.- Bisimulation and action refinement.- Testing for unboundedness of Fifo channels.- Detection of deadlocks in an infinite family of nets.- Nondeterminism within P.- Structure and importance of logspace-MOD-classes.- Complexity classification of Truth Maintenance systems.- Reachability in reversible FreeChoice systems.- Compositional generation of home states in free choice systems.- Bounded reductions.- Functional oracle queries as a measure of parallel time.- Optimal parallel recognition of bracket languages on hypercubes.- Constant queue routing on a mesh.- The complexity of the max word problem.- The expressive power of second order Horn logic.- Tight bounds on the path length of binary trees.- The random testability of the n-input AND gate.- An observational subset of first-order logic cannot specify the behaviour of a counter (extended abstract).- Unfolding, procedural and fixpoint semantics of logic programs.- A modal semantics for the negation as failure and the closed world assumption rules.- The relview-system.- Geometry models design system POM.- The prospectra system.- Prototype of a verification tool.- IPG - An interactive parser generator.- A placement system for constrained blocks with flexible shapes.- Algebraic programm interpreter APREX2.…

Taschenbuch. Zustand: Neu. STACS 91 | 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings | Christian Choffrut (u. a.) | Taschenbuch | xiii | Englisch | 1991 | Springer | EAN 9783540537090 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: As New. Unread book in perfect condition.

Zustand: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.

Zustand: As New. Unread book in perfect condition.

Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.

Zustand: Très bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.