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

Browsing G. Allen Fleece Library shelves, Shelving location: ONLINE, Collection: Non-fiction Close shelf browser (Hides shelf browser)

Previous								Next
Previous	QA251.3 Torsors, étale homotopy and applications to rational pointsedited by Alexei N. Skorobogatov.	QA252.3 Combinatorics of minuscule representationsR.M. Green, University of Colorado, Denver.	QA267 Theory of computation :: for B.E. (IT, CS), MCA, BSc, BCA, MSc and other computer courses	QA267 A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /	QA267.7 The golden ticket P, NP, and the search for the impossible /	QA267.7 Local activity principleKlaus Mainzer, Leon Chua.	QA267.7 Computability Turing, Gödel, Church, and beyond /	Next

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.