1994, ISBN: 3540577858
[EAN: 9783540577850], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE ALLGEMEINES BISIMULATION COMPUTER-SCIENCE-LOGIK KOMBINATORIK KOMPLEXITÄT MONOID AUTOMATA COMBINATORICS COMPLEX… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
STACS 94 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24¿26, 1994 Proceedings - neues Buch
1994, ISBN: 3540577858
1994 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Bisimulation; Computer-Science-Logik; Kombinatorik; Ko… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
STACS 94 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24¿26, 1994 Proceedings - neues Buch
1994, ISBN: 3540577858
1994 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Bisimulation; Computer-Science-Logik; Kombinatorik; Ko… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Sans frais d'envoi en Allemagne. (EUR 0.00) Details... |
1994, ISBN: 9783540577850
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes t… Mehr…
booklooker.de |
1994, ISBN: 9783540577850
Taschenbuch
11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24?26, 1994 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1994
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 9.95) Details... |
1994, ISBN: 3540577858
[EAN: 9783540577850], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE ALLGEMEINES BISIMULATION COMPUTER-SCIENCE-LOGIK KOMBINATORIK KOMPLEXITÄT MONOID AUTOMATA COMBINATORICS COMPLEX… Mehr…
Enjalbert, Patrice (Herausgeber); Wagner, Klaus W. (Herausgeber); Mayr, Ernst W. (Herausgeber):
STACS 94 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24¿26, 1994 Proceedings - neues Buch1994, ISBN: 3540577858
1994 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Bisimulation; Computer-Science-Logik; Kombinatorik; Ko… Mehr…
STACS 94 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24¿26, 1994 Proceedings - neues Buch
1994
ISBN: 3540577858
1994 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Bisimulation; Computer-Science-Logik; Kombinatorik; Ko… Mehr…
1994, ISBN: 9783540577850
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes t… Mehr…
1994, ISBN: 9783540577850
Taschenbuch
11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24?26, 1994 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1994
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - STACS 94
EAN (ISBN-13): 9783540577850
ISBN (ISBN-10): 3540577858
Taschenbuch
Erscheinungsjahr: 1994
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2007-06-07T09:56:19+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-12T16:57:13+01:00 (Berlin)
ISBN/EAN: 3540577858
ISBN - alternative Schreibweisen:
3-540-57785-8, 978-3-540-57785-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wagner klaus, ernst wagner, ernst mayr, ernst may, ernst hello, ernst ber, klaus held
Titel des Buches: theoretical computer science, proceedings the symposium, aspects france, annual, february, caen, symposium notes
Daten vom Verlag:
Autor/in: Patrice Enjalbert; Ernst W. Mayr; Klaus W. Wagner
Titel: Lecture Notes in Computer Science; STACS 94 - 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
Verlag: Springer; Springer Berlin
786 Seiten
Erscheinungsjahr: 1994-02-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 786 p. 9 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Bisimulation; Computer-Science-Logik; Kombinatorik; Komplexität; Monoid; automata; combinatorics; complexity; complexity theory; computer science logic; efficient algorithms; effiziente Algorithmen; information theory; logic; parallel algorithms; algorithm analysis and problem complexity; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Algorithmen und Datenstrukturen; Computerprogrammierung und Softwareentwicklung; EA
The nature and meaning of perturbations in geometric computing.- One binary horn clause is enough.- Transforming constraint logic programs.- A hierarchy of temporal logics with past.- The complexity of resource-bounded first-order classical logic.- Two proof procedures for a cardinality based language in propositional calculus.- The alternation hierarchy for machines with sublogarithmic space is infinite.- Quasilinear time complexity theory.- Space-efficient deterministic simulation of probabilistic automata.- Reachability and the power of local ordering.- Are parallel machines always faster than sequential machines?.- Ground reducibility and automata with disequality constraints.- Perpetuality and strong normalization in orthogonal term rewriting systems.- About changing the ordering during Knuth-Bendix completion.- Combination of matching algorithms.- Periodic constant depth sorting networks.- Optimal pattern matching on meshes.- Faster sorting and routing on grids with diagonals.- Deterministic 1 -k routing on meshes with applications to worm-hole routing.- A unifying type-theoretic framework for objects.- Operational specifications with built-ins.- Reactive variables for system specification and design.- A new parallel vector model, with exact characterization of NCk.- On adaptive dlogtime and polylogtime reductions.- NCk(NP)=AC k?1(NP).- Hypertransition systems.- On the star operation and the finite power property in free partially commutative monoids.- Coding with traces.- Monadic second-order logic over pictures and recognizability by tiling systems.- Q-grammars: Results, implementation.- A topology for complete semirings.- The global power of additional queries to random oracles.- Cook versus Karp-Levin: Separating completeness notions if NP is not small.- Onsets bounded truth-table reducible to P-selective sets.- Two refinements of the polynomial hierarchy.- On different reducibility notions for function classes.- Optimal parallelization of Las Vegas algorithms.- Efficient parallel algorithms for geometric k-clustering problems.- A simple optimal parallel algorithm for reporting paths in a tree.- Parallel detection of all palindromes in a string.- On the structure of parameterized problems in NP.- On the approximability of finding maximum feasible subsystems of linear systems.- On the acceptance power of regular languages.- Complexity classes with finite acceptance types.- The complete axiomatization of Cs-congruence.- Transition system specifications in stalk format with bisimulation as a congruence.- Decidability questions for bisimilarity of Petri nets and some related problems.- The variable membership problem: Succinctness versus complexity.- Economy of description for single-valued transducers.- Automaticity: Properties of a measure of descriptional complexity.- Towards a theory of recursive structures.- Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data.- Nondeterminism in patterns.- Upper bounds for the expected length of a longest common subsequence of two binary sequences.- The ambiguity of primitive words.- On codes having no finite completion.- A new approach to information theory.- On Voronoi diagrams in the L p -metric in higher dimensions.- Total protection of analytic invariant information in cross tabulated tables.- Dominating cliques in graphs with hypertree structure.- On vertex ranking for permutation and other graphs.- Finding all minimal separators of a graph.- On the complexity of the maximum cut problem.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540483328 STACS 94 (Patrice Enjalbert; Ernst W. Mayr; Klaus W. Wagner)
- 9783540483328 STACS 94 (Patrice Enjalbert; Ernst W. Mayr; Klaus W. Wagner)
- 9780387537092 Stacs, 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 (Lecture Notes in Computer Science) (C. Choffrut, M. Jantzen)
- 9780387522821 Language Policy and Modernity in Southeast Asia (Lecture Notes in Computer Science) (Antonio L. Rappa, Lionel Wee Hock An)
- [(STACS 2003: v. 2607: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings)] [by: Helmut Alt] (Helmut Alt)
< zum Archiv...