Automata and computability /

Automata and computability /

Saved in:

Bibliographic Details
Main Author:	Kozen, Dexter C.
Format:	Book
Language:	English
Published:	New York : Springer, c1997
Series:	Undergraduate texts in computer science
Subjects:	Automata > Computer Science
Online Access:	View in OPAC
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Weak gardens of Eden for 1-dimensional tessellation automata
by: Michael D. Taylor
Published: (1985-01-01)

Revolutionizing load harmony in edge computing networks with probabilistic cellular automata and Markov decision processes
by: Dinesh Sahu, et al.
Published: (2025-01-01)

Density Classification with Non-Unitary Quantum Cellular Automata
by: Elisabeth Wagner, et al.
Published: (2024-12-01)

Autómatas Celulares en Cascada para modelar la expansión urbana con áreas restringidas
by: Eduardo Jiménez López, et al.
Published: (2021-01-01)

Colloidal Spin Ice Cellular Automata for Logic Design
by: Vasileios P. Karkanis, et al.
Published: (2024-01-01)

A Combined Model for Simulating the Spatial Dynamics of Epidemic Spread: Integrating Stochastic Compartmentalization and Cellular Automata Approach
by: Murad Bashabsheh
Published: (2025-04-01)

Input-dependent wave propagations in asymmetric cellular automata: Possible behaviors of feed-forward loop in biological reaction network
by: Akinori Awazu
Published: (2008-05-01)

Cellular automata modelling of leukaemic stem cell dynamics in acute myeloid leukaemia: insights into predictive outcomes and targeted therapies
by: Yutaka Saikawa, et al.
Published: (2025-01-01)

Design of a Multi-Layer Symmetric Encryption System Using Reversible Cellular Automata
by: George Cosmin Stănică, et al.
Published: (2025-01-01)

Thinking of Autonomy as Automatism: the Case of Autonomy in Thucydides’ History
by: Maria Gerolemou
Published: (2017-01-01)

A programmer's guide to computer science /
by: Springer, William M.
Published: (2019)

Un modelo de sistema dinámico híbrido utilizando el enfoque de la lógica difusa
by: Germán García Benítez, et al.
Published: (2010-01-01)

Parameters Estimation of a Microscopic Traffic Flow Sub-Model Within a Multiscale Approach Using Experimental Data
by: Facundo Storani, et al.
Published: (2024-01-01)

A Program for Master of Science in Computer Science
by: Kabale University
Published: (2022)

Some Thoughts on the Mechanical Features of Pantomime Dancers
by: Maria Gerolemou
Published: (2019-01-01)

Spatial Buffering Mechanism: Mathematical Model and Computer Simulations
by: Benjamin Steinberg, et al.
Published: (2005-09-01)

Efficient task scheduling for cloud computing: a comparative survey of state-of-the-art algorithms
by: Aziza Algarni
Published: (2023-06-01)

Coding Readiness Assessment: A Measure of Computational Thinking for Preschoolers
by: Emily Relkin, et al.
Published: (2024-12-01)

Application of evolutionary games to modeling carcinogenesis
by: Andrzej Swierniak, et al.
Published: (2013-03-01)

Hybrid discrete-continuous model of invasive bladder cancer
by: Eugene Kashdan, et al.
Published: (2013-03-01)

Interdisciplinarity through internationality: Results from a US–Mexico graduate course bridging computational and plant science
by: Daniel H. Chitwood, et al.
Published: (2024-10-01)

Linking the past, present and future scenarios of soil erosion modeling in a river basin
by: C. Loukrakpam, et al.
Published: (2021-07-01)

Cooperative evolution with reward-based heterogeneous tax in spatial public goods games
by: Li Yue, et al.
Published: (2025-02-01)

Reliable SRAM using NAND‐NOR Gate in beyond‐CMOS QCA technology
by: Marshal Raj, et al.
Published: (2021-05-01)

Combining CS Unplugged and L2T2L to Bridge the Computing Illiteracy Gap of the Elderly Population: A Case Study
by: José Alfredo Díaz-León, et al.
Published: (2025-01-01)

Bebras: A Social Approach for Concept Based Learning of Informatics and Computational Thinking
by: Filiz Kalelioğlu, et al.
Published: (2020-04-01)

Digital Planet : tomorrow's technology and you /
by: Beekman, George
Published: (2014)

Mathematical Modeling of Properties and Structures of Crystals: From Quantum Approach to Machine Learning
by: Grzegorz Matyszczak, et al.
Published: (2025-01-01)

Using a Combined FE-CA Approach to Investigate Abnormally Large Grains Formed by the Limited Recrystallization Mechanism in a Powder Metallurgy Nickel-Based Superalloy
by: Yanhui Yang, et al.
Published: (2025-01-01)

The Relevance of Computer Science and Arabic Language Learning Technology in Supporting Arabic Language Learning from The Perspective of Israel Scheffler
by: Muhammad Fadli Ramadhan, et al.
Published: (2024-12-01)

Understanding ChatGPT: Impact Analysis and Path Forward for Teaching Computer Science and Engineering
by: P. Banerjee, et al.
Published: (2025-01-01)

Sex estimation in a Chilean population by mandibular analysis in cone beam computed tomography images
by: F. Ceballos, et al.
Published: (2025-01-01)

PYTHON PROGRAMMING LANGUAGE AS A MEANS OF TRAINING FUTURE TEACHERS OF COMPUTER SCIENCE WHEN WORKING WITH ARDUINO
by: V. Kyslitsyn, et al.
Published: (2024-12-01)

Streaming Science #5: Using Virtual Reality Tours for Engagement With Your Target Audience
by: Jamie Loizzo, et al.
Published: (2023-10-01)

Protocol for functional screening of CFTR-targeted genetic therapies in patient-derived organoids using DETECTOR deep-learning-based analysis
by: Mattijs Bulcaen, et al.
Published: (2025-03-01)

Geometry-symmetry-free and material-symmetry-guaranteed polariton-induced transparency
by: Xingyu Tang, et al.
Published: (2025-02-01)

Automatic Generation of Moodle Cloze Questions for the Assessment of Knowledge About Lexical Analysis Algorithms
by: Roberto Izquierdo-Amo, et al.
Published: (2025-01-01)

Spatial stochastic models of cancer: Fitness, migration, invasion
by: Natalia L. Komarova
Published: (2013-03-01)

Protocol to denoise spatially resolved transcriptomics data utilizing optimal transport-based gene filtering algorithm
by: Lin Du, et al.
Published: (2025-03-01)

Computational Thinking for Science Positions Youth to Be Better Science Learners
by: Matthew A. Cannady, et al.
Published: (2025-01-01)