| LDR | | 03355cmm u2200541Ii 4500 |
| 001 | | 000000321627 |
| 003 | | OCoLC |
| 005 | | 20230613111255 |
| 006 | | m d |
| 007 | | cr cnu---unuuu |
| 008 | | 201212s2020 ne o 011 0 eng d |
| 019 | |
▼a 1227385688
▼a 1228037771
▼a 1228645725
▼a 1229921776
▼a 1231603080
▼a 1232278138
▼a 1235592427
▼a 1236267008
▼a 1237406716
▼a 1237867931 |
| 020 | |
▼a 9781643681399
▼q electronic book |
| 020 | |
▼a 1643681397
▼q electronic book |
| 020 | |
▼z 9781643681382
▼q print |
| 035 | |
▼a 2700443
▼b (N$T) |
| 035 | |
▼a (OCoLC)1226585126
▼z (OCoLC)1227385688
▼z (OCoLC)1228037771
▼z (OCoLC)1228645725
▼z (OCoLC)1229921776
▼z (OCoLC)1231603080
▼z (OCoLC)1232278138
▼z (OCoLC)1235592427
▼z (OCoLC)1236267008
▼z (OCoLC)1237406716
▼z (OCoLC)1237867931 |
| 037 | |
▼a 9781643681399
▼b IOS Press
▼n http://www.iospress.nl |
| 040 | |
▼a EBLCP
▼b eng
▼e rda
▼c EBLCP
▼d IOSPR
▼d N$T
▼d OCLCO
▼d OCLCF
▼d YDXIT
▼d 248032 |
| 049 | |
▼a MAIN |
| 050 | 4 |
▼a QA267
▼b .M67 2020 |
| 082 | 04 |
▼a 511.3/5
▼2 23 |
| 245 | 00 |
▼a Mosaic of computational topics :
▼b from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /
▼c edited by Maurice H. ter Beek, Maciej Koutny, and Grzegorz Rozenberg.
▼h [electronic resource] |
| 260 | |
▼a Amsterdam :
▼b IOS Press,
▼c [2020] |
| 300 | |
▼a 1 online resource (362 p.) |
| 336 | |
▼a text
▼b txt
▼2 rdacontent |
| 337 | |
▼a computer
▼b c
▼2 rdamedia |
| 338 | |
▼a online resource
▼b cr
▼2 rdacarrier |
| 500 | |
▼a Description based upon print version of record. |
| 500 | |
▼a Includes indexes. |
| 505 | 0 |
▼a 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 |
| 505 | 8 |
▼a 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 |
| 588 | |
▼a Description based on online resource; title from digital title page (viewed on July 26, 2021). |
| 590 | |
▼a Master record variable field(s) change: 050 |
| 650 | 0 |
▼a Petri nets. |
| 650 | 0 |
▼a Computer science
▼x Mathematics. |
| 650 | 7 |
▼a Computer science
▼x Mathematics.
▼2 fast
▼0 (OCoLC)fst00872460 |
| 650 | 7 |
▼a Petri nets.
▼2 fast
▼0 (OCoLC)fst01059237 |
| 655 | 0 |
▼a Electronic books. |
| 655 | 4 |
▼a Electronic books. |
| 700 | 1 |
▼a Beek, Maurice H. ter. |
| 700 | 1 |
▼a Koutny, Maciej,
▼d 1958- |
| 700 | 1 |
▼a Rozenberg, Grzegorz. |
| 776 | 08 |
▼i Print version:
▼a ter Beek, M. H.
▼t Mosaic of Computational Topics: from Classical to Novel
▼d : IOS Press, Incorporated,c2020
▼z 9781643681382 |
| 856 | 40 |
▼3 EBSCOhost
▼u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2700443 |
| 938 | |
▼a ProQuest Ebook Central
▼b EBLB
▼n EBL28311279 |
| 938 | |
▼a EBSCOhost
▼b EBSC
▼n 2700443 |
| 990 | |
▼a 관리자 |
| 994 | |
▼a 92
▼b N$T |