A sua pesquisa retornou 25 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
Não realçar Realçar
|
ISPD'05 : proceedings [of the] 2005 International Symposium on Physical Design.. / eds. Patrick Groeneveld, Lou Scheffer Publicação: New York (NY) : The Association for Computing Machinery, cop. 2005Descrição: IX, 250 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Interactive theorem proving and program development : coq'art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran Publicação: Berlin : Springer, 2004Descrição: XXV, 469 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
ISPD'04 : proceedings of [the] 2004 International Symposium on Physical Design.. Publicação: New York : ACM, cop. 2004Descrição: VIII, 218 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
ISPD'03 : proceedings of the 2003 International Symposium on Physical Design.. Publicação: New York : ACM, cop. 2003Descrição: VIII, 210 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Controller area network : basics, protocols, chips and applications / K. Etschberger...[et al.] Publicação: Weinheim : IXXAT Automation Press, 2001Descrição: X, 431 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Tradition & Change in Documentation : proceedings of the Seventeeth Annual International Conference of Computer Documentation Publicação: New York : ACM, cop. 1999Descrição: XII, 220 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Proceedings / 1998 International Symposium on Physical Design... Publicação: New York : ACM, 1998Descrição: IX, 220 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Cellular automata modeling of physical systems / Bastien Chopard and Michel Droz Publicação: Cambridge : Cambridge University Press, cop. 1998Descrição: XII, 341 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
TeX unbound : LaTeX and TeX strategies for fonts, graphics, and more / Alan Hoenig Publicação: Oxford : Oxford University Press, cop. 1998Descrição: IX, 580 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Robot motion planning / Jean-Claude Latombe Publicação: Boston : Kluwer, 1996Descrição: XVIII, 651 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Automating instructional design : proceedings of the NATO Advanced Study Institute... : computer-based development and delivery tools / edited by Robert D. Tennyson and Ann E. Barron Publicação: Berlin : Springer, 1995Descrição: IX, 618 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Automation systems for control and data acquisition / Lawrence T. Amy Publicação: Research Triangle Park (NC) : Instrument Society of America, cop. 1992Descrição: XV, 229 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Método sequencial para automatização electropneumática / José Novais Publicação: Lisboa : Fundação Calouste Gulbenkian, 1991Descrição: 473 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Le GRAFCET : de nouveaux concepts / GREPA Publicação: Paris : Cepadues Editions, cop. 1991Descrição: 104 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Industrial automation : circuit design and components / David W. Pessen Publicação: New York : John Wiley & Sons, 1989Descrição: XV, 507 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1). Exemplares emprestados: Biblioteca da ESAN (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
An integrated approach for facility design (INFAD) / Michael Huang-Der Hu Publicação: Ann Arbor (MI) : University Microfilms International, 1988Descrição: 195 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Cellular automata machines : a new environment for modeling / Tommaso Toffoli and Norman Margolus Publicação: Cambridge, Mass. : MIT Press, 1987Descrição: X, 259 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Computational methods for the determination of formation constants / edited by David J. Leggett Publicação: New York (NY) : Plenum Press, 1985Descrição: XVI, 478 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
O tratamento automático das ajudas de custo e dos bens e serviços do Laboratório Nacional de Engenharia Civil no Wang VS 80 Publicação: Lisboa : LNEC, 1985Descrição: 160 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Automatisation par modélisation de processus / Marc Bernheim Publicação: Paris : Masson, 1985Descrição: 108 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>