search result

Cover von Maximal Partition Logic

Maximal Partition Logic

Towards a Logical Characterization of Copyless Cost Register Automata
Year: 2015
Media group: LIPIcs
Cover von Concurrency theory
calculi and automata for modelling untimed and timed concurrent systems
Author: Bowman, Howard; Gomez, Rodolfo Search for this author
Year: 2006
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Non-standard computation
molecular computation, cellular automata, evolutionary algorithms, quantum computers
Search for this author
Year: 1998
Publisher: Weinheim, Wiley-VCH
Media group: MONOGRAPHIE
Cover von The Power of a Single Qubit

The Power of a Single Qubit

Two-Way Quantum Finite Automata and the Word Problem
Year: 2020
Media group: LIPIcs
Cover von Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Search for this author
Year: 2020
Publisher: Berlin, Springer
Series: Trends in logic; 53
Media group: MONOGRAPHIE
Cover von Formal models of communicating systems
languages, automata, and monadic second-order logic
Author: Bollig, Benedikt Search for this author
Year: 2006
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Cities and complexity
understanding cities with cellular automata, agent-based models, and fractals
Author: Batty, Michael Search for this author
Year: 2005
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von Theoretical computer science
introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography
Author: Hromkovic, Juraj Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Multi-Robot Systems
From Swarms to Intelligent Automata : Proceedings from the 2002 NRL Workshop on Multi-Robot Systems
Search for this author
Year: 2002
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von ACRI 96
proceedings of the second conference on cellular automata for research and industry, Milan, Italy, 16 - 18 October 1996
Search for this author
Year: 1997
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0