Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,79
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 57,91
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Caap '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings. Book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,45
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
EUR 67,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 1981st.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,86
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,82
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,50
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
EUR 69,82
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 1981st.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1981
ISBN 10: 3540108289 ISBN 13: 9783540108283
Librería: moluna, Greven, Alemania
EUR 61,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to c.
Librería: ralfs-buecherkiste, Herzfelde, MOL, Alemania
EUR 13,00
Cantidad disponible: 1 disponibles
Añadir al carritoBroschur. Condición: Gut. 364 S. Computerwissenschaften Mathematik Mathematics Guter Zustand/ Good. Ex-Library. Brownish paper. ha1082115 Sprache: Englisch Gewicht in Gramm: 650.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 109,43
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 1981
ISBN 10: 3540108289 ISBN 13: 9783540108283
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 76,70
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to compute generators for the intersection of subgroups in free groups.- Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG.- Top-down tree-transducers for infinite trees I.- Easy solutions are hard to find.- Une semantique pour les arbres non deterministes.- On the algebraic specification of nondeterministic programming languages.- Applied tree enumerations.- Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines).- On pushdown tree automata.- Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities.- Calcul du rang des -arbres infinis regulers.- A class of tree-like UNION-FIND data structures and the nonlinearity.- Grammars without erasing rules. the OI case.- Proprietes de cloture d'une extension de transducteurs d'arbres deterministes.- Certain algorithms for subgraph isomorphism problems.- A # P-complete problem over arithmetical trees.- Trees in Kripke models and in an intuitionistic refutation system.- Efficient optimization of monotonic functions on trees.- Differents types de derivations infinies dans les grammaires algebriques d'arbres.- Discriminability of infinite sets of terms in the D -models of the -calculus.