Kategorien
Bürobedarf
Hardware, Software, Telekommunikation
Werkzeugtechnik
Elektronik, Elektrotechnik
Betriebsausstattung, Lagerausstattung
Arbeitsschutz
Technischer Handel
Medizinbedarf, Therapie, Labor
Haustechnik, Gebäudetechnik
Verpackung, Versand
Hotel, Gastronomie, Essen, Trinken
Reinigung
Weitere Kategorien
Österreich
Deutsch
Deutschland
Deutsch
English
Österreich
Deutsch
English
Nederland
Nederlands
English
Italia
Italiano
English
France
Français
English
España
Español
English
United Kingdom
English
Ireland
English
Polska
Polski
English
Magyarország
Magyar
English
Schweiz
Deutsch
Français
Italiano
English
België
Nederlands
Français
Deutsch
English
Mein Mercateo
Anmelden / Registrieren
Anmelden
Neukunde?
Jetzt registrieren
>
Profil
Bestellarchiv
Einkaufslisten
Bedarfsanforderungen
Warenkorb
Startseite
>
Bücher
>
Bücher nach Sprache
>
englischsprachige Literatur
>
Mathematikbücher - englischsprachig
>
Artikel
CAAP '83
Menge:
Stück
Produktinformationen
Fenster schließen
Artikel-Nr.:
5667A-9783540127277
Hersteller:
Springer Verlag
Herst.-Nr.:
9783540127277
EAN/GTIN:
9783540127277
Suchbegriffe:
Mathematik-Bücher
Mathematikbücher - englischsprachig
mathematikbücher - englischsprachig
Generalized heterogeneous algebras and partial interpretations.- Applicative information systems.- Acyclic database schemes (of various degrees): A painless introduction.- Efficient algorithms for finding maximal matching in graphs.- A survey of NLC grammars.- Prefix and perfect languages.- Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets.- VLSI mesh of trees for data base processing.- Continuite des transducteurs d'etats finis d'arbres.- Completeness results for a polymorphic type system.- A class of program schemes based on tree rewriting systems.- Complete sets of unifiers and matchers in equational theories.- Digital search trees and the generation of an exponentially distributed variate.- Decidable properties of monadic recursive schemas with a depth parameter.- Nivat-processing systems: Decision problems related to protection and synchronization.- Confluent and coherent equational term rewriting systems application to proofs in abstract data types.- An application of maximum bipartite c-matching to subtree isomorphism'.- Characterizing specification languages which admit initial semantics.- Topological bandwidth.- Probabilistic analysis of graph colouring algorithms.- Some further approximation algorithms for the vertex cover problem.- An application of the theory of graphs and hypergraphs to the decomposition of relational database schemes.- Remarks on the pyramidal structure.- Structured theories in LCF.- Alternating tree automata.- Cofinality in reduction graphs.
Weitere Informationen:
Author:
G. Ausiello; M. Protasi
Verlag:
Springer Berlin
Sprache:
eng
... >
Naturwissenschaften, Medizin, Informatik, Technik
>
Mathematik
>
Geometrie
Weitere Suchbegriffe:
Algebra
,
EDV / Theorie / Programmieren / Allgemeines
,
Graph - Graphentheorie
,
Morphism; algorithm; algorithms; automata; equation; Grammars; proof; Semantics
,
Morphism
,
algebra
,
algorithm
,
algorithms
,
automata
,
equation
,
grammars
Die Konditionen im Überblick
1
Lieferzeit
Lagerstand
Preis
€ 49,99*
Konditionen selbst auswählen
Artikel empfehlen
Artikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.
Über uns
Support
Presse
Job & Karriere
AGB
Impressum
Datenschutz
Nachhaltigkeit
Datenschutzeinstellungen