16 treff

Dewey-nr: 005.131
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
edited by Mikołaj Bojańczyk, Alex Simpson...
Bok Engelsk 2019 · Vis mer
Modern applications of automata theory
editors: Deepak D'Souza, Priti Shankar
Bok Engelsk 2012 · Vis mer
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /
Michael Hanus (editor).
Bok Engelsk 2007 · Vis mer
Types and programming languages
Pierce, Benjamin C..
Bok Engelsk 2002 · Vis mer
The institution of multialgebras : a general framework for algebraic software development
Yngve Lamo
Bok Engelsk 2002 · Vis mer
Term rewriting and all that
Franz Baader and Tobias Nipkow
Bok Engelsk 1998 · Vis mer
Grammatical Inference : Learning Automata and Grammars
de la Higuera, Colin.
Bok Engelsk 2010 · Vis mer
Transitions and trees : an introduction to structural operational semantics
Hans Hüttel
Bok Engelsk 2010 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
Wolfgang Lenski (ed.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic and computations : compact companion
Herman Ruge Jervell
Bok Engelsk 2012 · Vis mer
Programming with higher-order logic
Miller, Dale.
Bok Engelsk 2012 · Vis mer
Formal languages
Arto Salomaa
Bok Engelsk 1987 · Vis mer
Automata studies
W.R. Ashby ... [et al.] ; edited by C.E. ...
Bok Engelsk 1956 · Vis mer
Semigroups, algorithms, automata and languages : Coimbra, Portugal, May-July 2001
editors, Gracinda M.S. Gomes, Jean-Éric P...
Bok Engelsk 2002 · Vis mer
Formal specification of distributed multimedia systems
Gordon Blair ... [et al.]
Bok Engelsk 1998 · Vis mer
Slutrapport från projekt "Människa-Maskingränsyta inom flygtrafiktjänsten" : Fönster mot framtiden. Ett projekt om människa-maskinrelation i framtidens ATC-system
LFV Flygtrfiktjänsten
Bok Svensk 1992 · Vis mer