9 treff

maskinteori databehandling
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou...
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
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
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
Introduction to the theory of computation
Michael Sipser
Bok Engelsk 2013 · Vis mer
Vis flere utgaver
Vis flere utgaver