Del 10139 i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 2017

AvBernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 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.

Produktinformation

Utgivningsdatum2017-01-11
Mått155 x 235 x 30 mm
Vikt814 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor526
Upplaga17001
FörlagSpringer International Publishing AG
ISBN9783319519623

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Nätverk och kommunikation inom Data och IT
Databaser inom Data och IT

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.

Mer från samma författare

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Häftad, 2020

839 kr

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Inbunden, 2020

929 kr

Karten Von Mykenai

Bernhard Steffen

Inbunden, 2025

469 kr

Karten Von Mykenai

Bernhard Steffen

Häftad, 2025

239 kr

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

749 kr

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

749 kr

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

749 kr

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria, Bernhard Steffen

Häftad, 2018

749 kr

Mathematical Foundations of Advanced Informatics

Bernhard Steffen, Oliver Rüthing, Michael Huth

Häftad, 2019

499 kr

Del 11429

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Häftad, 2019

749 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Del 15240

Combined Power of Research, Education, and Dissemination

Mike Hinchey, Bernhard Steffen

Häftad, 2024

1 119 kr

Del 12476

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

Häftad, 2020

1 269 kr

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria, Bernhard Steffen

Häftad, 2010

749 kr

Del 13703

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Tiziana Margaria, Bernhard Steffen

Häftad, 2022

1 039 kr

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Tiziana Margaria, Bernhard Steffen

Häftad, 2014

749 kr

Del 15223

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Tiziana Margaria, Bernhard Steffen

Häftad, 2024

749 kr

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria, Bernhard Steffen

Häftad, 2010

1 489 kr

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Tiziana Margaria, Bernhard Steffen

Häftad, 2026

639 kr

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification, and Validation, Häftad

Del 336

Leveraging Applications of Formal Methods, Verification, and Validation

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

Häftad, 2012

749 kr

Del 13036

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

Häftad, 2021

1 039 kr

Del 10139 i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 2017

AvBernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2017-01-11
Mått155 x 235 x 30 mm
Vikt814 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor526
Upplaga17001
FörlagSpringer International Publishing AG
ISBN9783319519623

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Nätverk och kommunikation inom Data och IT
Databaser inom Data och IT

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.