Automata theory and logic / (Record no. 20)

MARC details
000 -LEADER
fixed length control field 05163nam a22002657a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220628101320.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 201109b ||||| |||| 00| 0 eng d
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
Source 9781773612713 (hardcover)
040 ## - CATALOGING SOURCE
Language of cataloging English.
Transcribing agency CvSU-CCAT Campus Library.
Description conventions rda.
Original cataloging agency CvSU-CCAT Campus Library.
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA 267
Item number A98 2018
245 ## - TITLE STATEMENT
Title Automata theory and logic /
Statement of responsibility, etc. edited by Gerard Prudhomme.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Oakville, ON Canada :
Name of publisher, distributor, etc. Arcler Press,
Date of publication, distribution, etc. c2018.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 335 pages :
Other physical details illustration ;
Dimensions 24 cm
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes citations and Index.
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note 1 - Automata theory and logic 2 - Timing robustness in the budding and fission yeast cell cycles 3 - A novel method to verify multilevel computational models of biological systems using multiscale spatio-temporal meta model checking 4 - Real-time reliability verification for UAV flight control system supporting airworthiness certification 5 - Computational modeling, formal analysis, and tools for systems biology 6 - Petri net probabilistic model checking based approach for the modeling, simulation and verification of internet worm propagation 7 - Design and analysis of a petri net model of the von hippel-lindau (VHL) tumor suppressor interaction network 8 - Construction and experimental validation of a petri net model of wnt/b-Catenin signaling 9 - A petri net model of granulomatous inflammation : implications for IL-10 mediated control of Leishmania donovani infection 10 - SHER : a colored petri net based random mobility model for wireless communications 11 -
520 ## - SUMMARY, ETC.
Summary, etc. The automata theory and logic in theoretical computer science is critical for the development of theoretical computer science. The objective of the theory of automata theory and logic is to propose models of mathematical mechanisms that formalize calculation methods. This theory is the foundation of several important branches of theoretical computing.The first chapter refers to automota theory. Chapter 2 shows that the durability of organic designs seems to have come about in the form of a significant basic principle in solutions biology. Chapter 3 looks at how ideas acquired from multi-level computational varieties of organic models could very well be converted into actual functions only as long as the strategy accurateness appears to have been confirmed to start with. Chapter 4 offers a model-based incorporation way of thinking for redesigning coupled with confirmation of the time aspect. Chapter 5 exchanges views about the most widely read, not to mention thrilling, computational techniques, and also equipment, on the market today for systems biologists, antagonizing design patterns as well as a partnership between all of them. Chapter 6 proves that Web malware are comparable to organic infections.Chapter 7 shows that Von Hippel-Lindau ( VHL ) disorder is a genetic problem predisposing to the growth and development of various cancer malignancy types. Chapter 8 showcases how the Wnt/β-catenin alerting path is essential for several developing procedures and also cells upkeep. Chapter 9 describes how visceral leishmaniasis, brought on by contamination of mice with the protozoan parasite Leishmania donovani, is identified by central amassing.Chapter 10 looks at how Wifi broadband seems to have obtained exceptional consideration from the analysis environment. Chapter 11 describes how reconstructing mobile sounding systems as well as comprehending just how they function are leading activities in cellular biology. Chapter 12 looks at how the up-to-the-minute DREAM4 blind evaluation supplied an especially reasonable and also difficult environment for network reverse engineering techniques.Chapter 13 establishes that Stochastic Petri nets ( SPNs ) have been commonly used to design randomness, which happens to be an gargantuan characteristic of organic mechanisms. Chapter 14 establishes that air as a method of travel corresponds to an extremely fascinating illustration of a complicated techno-social process. Chapter 15 shows that despite the fact that the genome is made up of almost all genetic data , the choices that a cell can make are influenced by complicated cell equipment that is mounted above the genome. Chapter 16 shows a great number of versions in Systems Biology are referred to as a structure of Ordinary Differential Equations. Chapter 17 created a arithmetical version of the xenophagy path. Chapter 18 displays that MicroRNAs have surely obtained an important level of attention.Chapter 19 looks at how development and also evaluation of systems is more and more prevalent in organic study. Chapter 20 provides a summary of how privacy leak conduct invading users' information security continues to be extensively learned about. Chapter 21 looks at how simulating network transduction in cell alerting systems offers forecasts of coverage characteristics.
546 ## - LANGUAGE NOTE
Language note In English text.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
9 (RLIN) 2747
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal languages.
9 (RLIN) 3138
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computational complexity.
9 (RLIN) 3169
700 ## - ADDED ENTRY--PERSONAL NAME
Fuller form of name Prudhomme, Gerard, editor.
9 (RLIN) 3141
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Classification part QA 267 A98 2018
Source of classification or shelving scheme Library of Congress Classification
Call number prefix CIR
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Coded location qualifier Cost, normal purchase price Full call number Barcode Date last seen Copy number Koha item type
    Library of Congress Classification     Book Cavite State University - CCAT Campus Cavite State University - CCAT Campus GCS 11/09/2020 Purchased GCS 5895.00 CIR QA 267 A98 2018 R0012225 10/15/2025 1 Book