SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margariaen Limba Engleză Paperback – 11 ian 2017
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.
Preț: 330.34 lei
Preț vechi: 412.92 lei
-20%
Puncte Express: 496
Carte tipărită la comandă
Livrare economică 24 iulie-07 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783319519623
ISBN-10: 331951962X
Pagini: 544
Ilustrații: XVIII, 526 p. 109 illus.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.81 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 331951962X
Pagini: 544
Ilustrații: XVIII, 526 p. 109 illus.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.81 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Hybrid Algorithms for Service, Computing and Manufacturing SystemsJairo R. Montoya-Torres-20%Preț: 1083.89 lei1354.87 lei -
Conception Et Analyse Des Programmes Purement FonctionnelsChristian Rinderknecht-20%Preț: 243.76 lei304.70 lei -
Theory and Applications of Models of ComputationT. V. Gopal-20%Preț: 343.86 lei429.81 lei -
-20%Preț: 355.69 lei444.61 lei -
Applications of Evolutionary ComputationPaul Kaufmann-20%Preț: 340.80 lei426.01 lei -
Algorithms and ComplexityPinar Heggernes-20%Preț: 436.61 lei545.76 lei -
Frontiers in AlgorithmicsYijia Chen-20%Preț: 316.83 lei396.04 lei -
Algorithmic Aspects of Cloud ComputingYann Disser-20%Preț: 316.83 lei396.04 lei -
Algorithms and Data StructuresZachary Friggstad-20%Preț: 338.35 lei422.94 lei -
Fundamentals of Computation TheoryLeszek Antoni G¿sieniec-20%Preț: 326.47 lei408.09 lei -
Algorithms and Models for the Web GraphKonstantin Avrachenkov-20%Preț: 314.16 lei392.71 lei -
Computing and CombinatoricsDing-Zhu Du-20%Preț: 342.25 lei427.81 lei -
Advances in Databases and Information SystemsJohann Eder-20%Preț: 327.92 lei409.89 lei -
-20%Preț: 632.76 lei790.94 lei -
Advanced Information Systems EngineeringJohann Eder-20%Preț: 647.43 lei809.29 lei -
Leveraging Applications of Formal MethodsTiziana Maragria-20%Preț: 317.66 lei397.08 lei -
Advances in Databases and Information SystemsJohann Eder-20%Preț: 327.48 lei409.36 lei -
Data Warehousing and Knowledge DiscoveryIl Yeol Song-20%Preț: 332.39 lei415.48 lei -
Business Process ManagementUmeshwar Dayal-20%Preț: 326.26 lei407.83 lei -
Software Language EngineeringMark van den Brand-20%Preț: 327.27 lei409.09 lei -
-20%Preț: 327.36 lei409.20 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 332.92 lei416.15 lei -
-20%Preț: 326.72 lei408.40 lei -
-20%Preț: 401.78 lei502.22 lei -
-20%Preț: 400.33 lei500.42 lei -
-20%Preț: 400.70 lei500.88 lei -
-20%Preț: 327.36 lei409.20 lei -
-20%Preț: 338.39 lei422.99 lei
Cuprins
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.