Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 10.06.2026 / Gültig für gebrauchte Bücher / Mindestbestellwert 20,00 € / Einzelne Artikel können ausgeschlossen sein / Online auf www.bücher.de.de / Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen / Nur einmal pro Einkauf einlösbar / Gutschein wird auf max. 500€ Bestellwert angerechnet / Keine Barauszahlung / Nicht gültig für Versandkosten und Services
  • Produktbild: Computer Science - Theory and Applications
  • Produktbild: Computer Science - Theory and Applications

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.05.2008

Herausgeber

Edward A. Hirsch + weitere

Verlag

Springer Berlin

Seitenzahl

411

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

651 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-79708-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.05.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

411

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

651 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-79708-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Computer Science - Theory and Applications
  • Produktbild: Computer Science - Theory and Applications
  • Opening Lecture.- Randomness – A Computational Complexity Perspective.- Invited Papers.- Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds.- On Formal Equivalence Verification of Hardware.- Twelve Problems in Proof Complexity.- Manifestation and Exploitation of Invariants in Bioinformatics.- Simple Stochastic Games, Mean Payoff Games, Parity Games.- Theory Track.- Topological Semantics of Justification Logic.- A Logspace Algorithm for Partial 2-Tree Canonization.- A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.- Computing Longest Common Substrings Via Suffix Arrays.- Logic and Rational Languages of Words Indexed by Linear Orderings.- Complexity of the Bollobás-Riordan Polynomial.- A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames.- Synchronization of Grammars.- Lower Bounds for Depth-2 and Depth-3 Boolean Circuits with Arbitrary Gates.- A Semantic Proof of Polytime Soundness of Light Affine Logic.- On Subword Complexity of Morphic Sequences.- Comparing Universal Covers in Polynomial Time.- S4LP and Local Realizability.- On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract).- The Most General Conservation Law for a Cellular Automaton.- Lower Bounds on Frequency Estimation of Data Streams (Extended Abstract).- From Invariants to Canonization in Parallel.- Self-referentiality of Justified Knowledge.- On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.- Public Key Encryption and Encryption Emulation Attacks.- A Uniform Lower Bound on Weights of Perceptrons.- Lambek Grammars with One Division Are Decidable in Polynomial Time.- Cryptanalysis of Stickel’s Key Exchange Scheme.- Combinatorial Complexity of Regular Languages.- On Sequences with Non-learnable Subsequences.- Algorithms for Multiterminal Cuts.- Two Sources Are Better Than One for Increasing the Kolmogorov Complexity of Infinite Sequences.- Applications and Technology Track.- Multilayer Neuro-fuzzy Network for Short Term Electric Load Forecasting.- Invariant Generation for P-Solvable Loops with Assignments.- Using Coloured Petri Nets to Model and Verify Telecommunications Systems.- Additive Preconditioning for Matrix Computations.- Network as a Computer: Ranking Paths to Find Flows.- A Unified Categorical Approach for Attributed Graph Rewriting.