Your search returned 6 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Handbook of process algebra / edited by J. A. Bergstra, A. Ponse, S. A. Smolka Publicação: Amsterdam : Elsevier, cop. 2001Descrição: XIV, 1342 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (2).
An introduction to formal languages and automata / Peter Linz Publicação: Boston (MA) : Jones and Bartlett Publishers, cop. 2001Descrição: XI, 410 p. : il. col.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
The unknowable / Gregory J. Chaitin Publicação: Singapore : Springer, 1999Descrição: VII, 122 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Petri nets and Grafcet : tools for modelling discrete event systems / René David and Hassane Alla Publicação: New-York : Prentice Hall, 1992Descrição: XII, 339 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Machines, languages and computation Publicação: Englewood Cliffs : Prentice Hall, cop. 1978Descrição: XXII, 601 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Automata theory Publicação: New York (NY) : Crane Russak, 1976Descrição: XI, 172 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>