Vor Ort
Merkzettel Warenkorb
Produktbild: SOFSEM 2016: Theory and Practice of Computer Science

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.02.2016

Abbildungen

XV, 150 illus. in color., farbige Illustrationen

Herausgeber

Rūsiņš Mārtiņš Freivalds + weitere

Verlag

Springer Berlin

Seitenzahl

630

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

967 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-662-49191-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.02.2016

Abbildungen

XV, 150 illus. in color., farbige Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

630

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

967 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-662-49191-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: SOFSEM 2016: Theory and Practice of Computer Science

  • Foundations of Computer Science.- Cryptography in a Quantum World.- Relating Sublinear Space Computability among Graph Connectivity and Related Problems.- Learning Automatic Families of Languages.- Software Engineering: Methods, Tools, Applications From ESSENCE to Theory Oriented Software Engineering.- Incremental Queries and Transformations: From Concepts to Industrial Applications.- Data, Information, and Knowledge Engineering Big Sequence Management: A Glimpse on the Past, the Present, and the Future.- Pay-as-you-go Data Integration: Experiences and Recurring Themes.- Foundations of Computer Science.- Robust Recoverable Path Using Backup Nodes.- On Contact Graphs with Cubes and Proportional Boxes.- Orthogonal Layout with Optimal Face Complexity.- L-Drawings of Directed Graphs.- A Combinatorial Model of Two-sided Search.- On the Power of Laconic Advice in Communication Complexity.- Using Attribute Grammars to Model Nested Workflows with Extra Constraints.- A Natural Counting of Lambda Terms.- Online Minimum Spanning Tree with Advice.- Subsequence Automata with Default Transitions.- Run-Time Checking Multi-threaded Java Programs.- Online Graph Coloring with Advice and Randomized Adversary.- Pseudoknot-Generating Operation.- Capabilities of Ultrametric Automata with One, Two, and Three States.- The Complexity of Paging Against a Probabilistic Adversary.- On Parity Game Preorders and the Logic of Matching Plays.- A PTAS for Scheduling Unrelated Machines of Few Different Types.- Compacting a Dynamic Edit Distance Table by RLE Compression.- Walking Automata in Free Inverse Monoids.- Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique.- Grover's Search with Faults on Some Marked Elements.- Reachability problems for PAMs.- On the Effects of Nondeterminism on Ordered Restarting Automata.- Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations.- How to Smooth Entropy?.- Bounded TSO-to-SC Linearizability is Decidable.- Probabilistic Autoreductions.- Software Engineering: Methods, Tools, Applications ABS: A High-Level Modeling Language for Cloud-Aware Programming.- Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems.- Finding Optimal Compatible Set of Software Components Using Integer Linear Programming.- Effective Parallel Multicore-optimized K-mers Counting Algorithm.- Meta-Evolution Style for Software Architecture Evolution.- The Simulation Relation for Formal e-contracts.- Data, Information, and Knowledge Engineering Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules through the Measures Themselves.- Survey On Concern Separation in Service Integration.- Utilizing Vector Models for Automatic Text Lemmatization.- Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties.- Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis.- Summarizing Online User Reviews Using Bicliques.-Post-Processing Association Rules: a Network Based Label Propagation Approach.- Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis.- Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams.- Evaluation of Static/Dynamic Cache for Similarity Search Engines.