|
|
Advances in Petri Nets 1993 / ed. Grzegorz Rozenberg
Monografia
Publication
Berlin : Springer-Verlag, cop. 1993
Description
[6], 457 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Knowledge acquisition : principles and guidelines / Karen L. McGraw, Karan Harbison-Briggs
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1989
Description
XVI, 376 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
A cibernética não é dificil / A. Kondratov ; trad. Rui de Nazaré
Monografia
Publication
[S. l.] : Circulo de Leitores, imp. 1973
Description
182 p. ;
20 cm
LocationBiblioteca Dr. Francisco Salgado Zenha
Availability
Reference (1).
|
|
|
The space and motion of communicating agents / Robin Milner
Monografia
Publication
Cambridge : Cambridge University Press, 2009
Description
XXI, 191 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Lógica, autómatos e semigrupos [Documento electrónico] / Paulo Sérgio Perames Paraíso ; orient. José Carlos Costa
Produtos Computador
Publication
Braga : [s.n.], 2008
Description
1 disco óptico (CD-ROM) ;
em caixa 13x14x1 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Reference (1).
|
|
|
Petri Net algebra / Eike Best, Raymond Devillers, Maciej Koutny
Monografia
Publication
Berlin : Springer, cop. 2001
Description
XI, 378 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
A robot system for shoe sole halogenation / Carlos M. Couto, João L. Monteiro
Monografia
Publication
Torino : AMMA, 1993
Description
6 f. :
il. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Alan Turing : the enigma / Andrew Hodges
Monografia
Publication
London : Vintage, 1992
Description
XIX, 586 p., [8] p. est. ;
20 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
An automated system for shoe sole halogenation / Carlos M. Couto... [et al.]
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Information search in large-scale peer-to-peer systems [Documento electrónico] / Nuno Alberto Ferreira Lopes ; orient. Carlos Baquero-Moreno
Monografia
Publication
Braga : [s.n.], 2008
Online resource
Acesso restrito à UM
Availability
No copies available
|
|
|
Brains, machines, and mathematics / Michael A. Arbib
Monografia
Publication
New York : Springer-Verlag, cop. 1987
Description
XVI, 202 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Influência da espessura no enchimento- Cura de um sistema PUR-RIM : (simulação computacional) / J. C. Viana, A. M. Cunha
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Transforms in signals and systems / Peter Kraniauskas
Monografia
Publication
Wokingham : Addison-Wesley Publishing Company, cop. 1992
Description
XVIII, 558 p. :
il. graf. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
On the characterization of knowledge-based control systems / Paulo Garrido, José Neves
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Guide des utilisateurs du systeme informatique L. D. R. / Jean-Dominique Warnier
Monografia
Publication
Paris : Les Editions d'Organisation, 1981
Description
139 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A control systems simulation methodology in concurrent prolog / Paulo Garrido, José Neves
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Verification of reactive systems : formal methods and algorithms / Klaus Schneider
Monografia
Publication
Berlin : Springer, cop. 2004
Description
XIV, 600 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Nonlinear and adaptive control : tools and algorithms for the user / Alessandro Astolfi
Monografia
Publication
London : Imperial College Press, cop. 2006
Description
XI, 300 p. :
il. ;
24 cm
LocationBiblioteca de Engenharia Biológica
Availability
Reference (1).
|
|
|
Information technology for advanced manufacturing systems : proceedings of the IFIP TC5-WG5.3 International Conference on... / ed. G. J. Olling, Z. Deng
Monografia
Publication
Amsterdam : North-Holland, 1992
Description
XVI, 568 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
TEACON - A simulator for computer aided teaching of process control / Sebastião Feyo de Azevedo, F. R. Oliveira, A. C. Cardos
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|