A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday / edited by Maurice H. ter Beek, Maciej Koutny, and Grzegorz Rozenberg.

Contributor(s):

Material type: Text

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781643681399

Subject(s):

Genre/Form:

Electronic Books.

LOC classification:

QA267 .M673 2020

Online resources:

Click to access digital title | log in using your CIU ID number and my.ciu.edu password.

Available additional physical forms:

Contents:

Title Page -- Preface -- Contents -- Discovering Object-centric Petri Nets -- Comparing Degenerate Strings -- Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks -- Target-oriented Petri Net Synthesis -- Flexible Process Model Mapping using Relaxation Labeling -- Stop-transitions of Petri Nets -- Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata -- Companions and an Essential Motion of a Reaction System -- On Shuffling a Word with its Letter-to-Letter Substitution -- Multi-valued Verification of Strategic Ability

Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets -- A Theory of Distributed Markov Chains -- L-systems from 3D-imaging of Phenotypes of Arborized Structures -- Subject Index -- Author Index

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode
Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD)	G. Allen Fleece Library ONLINE	Non-fiction	QA267 (Browse shelf(Opens below))	Link to resource	Available		on1226585126

Includes bibliographies and index.

Intro -- Title Page -- Preface -- Contents -- Discovering Object-centric Petri Nets -- Comparing Degenerate Strings -- Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks -- Target-oriented Petri Net Synthesis -- Flexible Process Model Mapping using Relaxation Labeling -- Stop-transitions of Petri Nets -- Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata -- Companions and an Essential Motion of a Reaction System -- On Shuffling a Word with its Letter-to-Letter Substitution -- Multi-valued Verification of Strategic Ability

Algebraic Structure of Step Traces and Interval Traces -- Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets -- A Theory of Distributed Markov Chains -- L-systems from 3D-imaging of Phenotypes of Arborized Structures -- Subject Index -- Author Index

https://lib.ciu.edu/copyright-request-form

There are no comments on this title.

to post a comment.