Descripci�n Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - An algorithmic interface structure for pascal compilers.- Nonuniform complexity classes, decision graphs and homological properties of posets.- On the control of concurrent systems by restrictions of the state behaviour.- From domino tilings to a new model of computation.- Nondeterministic Propositional Dynamic Logic with intersection is decidable.- A note on selection networks.- Correctness of inconsistent theories with notions of feasibility.- On the log-space reducibility among array languages /preliminary version/.- Non-uniformity of dynamic logic.- Model theory of propositional logics of programs, some open problems.- Some results on decision trees with relations to computational trees.- Propositional calculi of term satisfiability and process logics.- On the effectiveness of some operations on algorithms.- Concatenation of program modules an algebraic approach to the semantic and implementation problems.- Regular expressions for infinite trees and a standard form of automata.- Equational -calculus.- A logic of indiscernibility relations.- Rough sets and decision tables.- On learning � a rough set approach.- A methodology for improving parallel programs by adding communications.- Extension of PDL and consequence relations.- Rough-sets based learning systems.- Theories of interacting stacks.- Rough concepts logic.- An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic.- On the recognition of context-free languages.- On multi-valued homomorphisms.- Traces and semiwords.- Deadlock prediction in linear systems.- Propositional dynamic logics with counters and stacks.- Transition graphs semantics and languages.- On the implementation of CSP mechanisms in loglan. N� de ref. del art�culo: 9783540160663

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 59,51

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 32,99

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Imagen del vendedor

Computation Theory

Andrzej Skowron

Publicado por Springer Berlin Heidelberg (1985)

ISBN 10: 3540160663 ISBN 13: 9783540160663

Nuevo Tapa blanda Cantidad disponible: > 20

Impresi�n bajo demanda

Librería:

moluna
(Greven, Alemania)

Valoraci�n

Valoraci�n del vendedor:

Descripci�n Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An algorithmic interface structure for pascal compilers.- Nonuniform complexity classes, decision graphs and homological properties of posets.- On the control of concurrent systems by restrictions of the state behaviour.- From domino tilings to a new model . N� de ref. del art�culo: 4882912

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 48,37

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 48,99

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Imagen de archivo