15 treff

maskinteori matematisk logikk
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou...
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning: Prediction and Discovery, June 25-29, 2006, Snowbird, Utah
AMS-IMS-SIAM Joint Summer Research Conference, Machine andStatistical Learning: Prediction and Discovery
Bok Engelsk 2007 · Vis mer
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
ASM 2000
Bok Engelsk 2000 · Vis mer
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
ASM 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Problem solving in automata, languages, and complexity
Du, Dingzhu
Bok Engelsk 2001 · Vis mer
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
ASM 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Introduction to the theory of computation
Michael Sipser
Bok Engelsk 2013 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wil...
Bok Engelsk 2002 · Vis mer
Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
PAPM-PROBMIV 2002
Bok Engelsk 2002 · Vis mer
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001
Bok Engelsk 2001 · Vis mer
Sequential logic : analysis and synthesis
Cavanagh, Joseph J. F.
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
An introduction to formal languages and automata
Peter Linz
Bok Engelsk 2001 · Vis mer
Introduction to languages, machines, and logic : computable languages, abstract machines and formal logic
Alan P. Parkes
Bok Engelsk 2002 · Vis mer
Synthesis of finite state machines : logic optimization
Tiziano Villa ... [et al.]
Bok Engelsk 1997 · Vis mer