Your search returned 9 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).
Introduction to process algebra / Wan Fokkink Publicação: Berlin : Springer, 2000Descrição: VIII, 163 p. : ilExemplares 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).
Theory of machines and mechanisms / Joseph Edward Shigley, John Joseph Uicker, Jr Publicação: New York : McGraw-Hill, cop. 1995Descrição: XIX, 719 p. : ilExemplares 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).
The connection machine Publicação: Cambridge : , 1986Descrição: XIII, 190 pExemplares disponíveis para empréstimo: Biblioteca da UA (2).


© 2017 Universidade de Aveiro

Powered by Koha