Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 04.08.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: SOFSEM 2017: Theory and Practice of Computer Science
  • Produktbild: SOFSEM 2017: Theory and Practice of Computer Science
Band 10139

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.01.2017

Abbildungen

XVIII, 109 illus., schwarz-weiss Illustrationen

Herausgeber

Bernhard Steffen + weitere

Verlag

Springer

Seitenzahl

526

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

8132 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-51962-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.01.2017

Abbildungen

XVIII, 109 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

526

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

8132 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-51962-3

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 2017: Theory and Practice of Computer Science
  • Produktbild: SOFSEM 2017: Theory and Practice of Computer Science

  • Dependable and Optimal Cyber-Physical Systems.- Verifying Parametric Thread Creation.- Network Constructors: A Model for Programmable Matter.- Logical characterisations and compositionality of input-output conformance simulation.- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories.- Symbolic semantics for multiparty interactions in the link-calculus.- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs.- Deciding structural liveness of Petri nets.- Distributed Network Generation based on Preferential Attachment in ABS.- Completeness of Hoare Logic Relative to the Standard Model.- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.- Hardness of deriving invertible sequences from finite state machines.- A Graph-theoretical Characterisation of State Separation.- Selfish Transportation Games.- Decomposable Relaxation for Concurrent Data Structures.- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path.- Enumerating Minimal Tropical Connected Sets.- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors).- Exact quantum query complexity of EXACT_{k,l}^n.- Adjacent vertices can be hard to find by quantum walks.- Matrix semigroup freeness problems in SL(2,Z).- Order-preserving 1-string representations of planar graphs.- How to Draw a Planarization.- Finding Largest Common Substructures of Molecules in Quadratic Time.- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints.- Parameterized and Exact Algorithms for Class Domination Coloring.- The Approximability of Partial Vertex Covers in Trees.- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings.- Computing longest single-arm-gapped palindromes in a string.- Edit-Distance between Visibly Pushdown Languages.- Trends and Challenges in Predictive Analytics.- Model-driven Development in Practice: From Requirements to Code.- Webpage Menu Detection Based on DOM.- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks.- Eco Data Warehouse Design Through Logical Variability.- On Featured Transition Systems.- Domain-Specific Languages: A Systematic Mapping Study.- Characterising Malicious Software with High-Level Behavioural Patterns.- AErlang at work.- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors.- Using n-grams for the Automated Clustering of Structural Models.