Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
571	Kiss Devs Software Company Mobile, Web & Integration www.kissdevs.com Add to Reading List Source URL: www.kissdevs.com Language: English - Date: 2015-05-27 06:27:20 JavaScript Automata theory DEVS JSON SQLite Mobile application development Comparison of wiki software Multiple phone web-based application framework Computing Software Scripting languages
572	Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:22 Models of computation Computer science Software engineering Nondeterministic finite automaton Deterministic finite automaton Regular language Symbol String Regular expression Automata theory Formal languages Theoretical computer science
573	RICE UNIVERSITY B¨ uchi Containment and Size-Change Termination by Seth Fogarty A THESIS SUBMITTED Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-10-21 15:29:28 Automata theory Models of computation Finite-state machine
574	Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-06-22 08:52:31 Mathematics Formal languages Computer science Finite state transducer Finite-state machine Nondeterministic finite automaton Petri net FO Variable Automata theory Models of computation Theoretical computer science
575	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
576	Morphology and Dynamics of Galaxies with Cellular Automata Dr. Brian R. Kent (Na#onal Radio Astronomy Observatory) Abstract Galaxies are among the largest observed physical systems, surpa Add to Reading List Source URL: www.wolframscience.com Language: English - Date: 2011-12-20 16:47:23 Spiral galaxies Galactic astronomy Galaxies Astrophysics Galaxy rotation curve Galaxy formation and evolution Galaxy morphological classification Dark matter Milky Way Astronomy Physics Extragalactic astronomy
577	Testing activities at CISS Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 11:17:42 Control theory Automata theory Model checkers Uppaal Model Checker Model checking
578	By Edward F. Steinfeld, Industry Marketing Consultant, Automata International. FAT32 Add to Reading List Source URL: www.go-embedded.com Language: English - Date: 2003-07-31 18:51:11 Disk file systems Files C POSIX library File system Disk formatting Data cluster Data file NTFS Fragmentation Computing System software Computer hardware
579	Tree Automata over Inﬁnite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory
580	An Introduction to TokensRegex Angel Xuan Chang May 30, 2012 What is TokensRegex? Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-11-14 16:10:00 Software engineering Computing Automata theory TRE Perl 6 rules Lexical analysis Regular expressions Computer programming Pattern matching

UPDATE