|
|
Verification, model checking, and abstract interpretation : proceedings / 5th International Conference, VMCAI 2004 ; ed. Bernhard Steffen, Giorgio Levi
Monografia
Publication
Berlin : Springer, cop. 2004
Description
XI, 324 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Technology for tomorrow / Proceedings of the 5th International Conference... ; ed. H. Baumgarten
Monografia
Publication
Bedford : IFS, cop. 1989
Description
VI, 228 p. :
il. ;
31 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Concur'94 : concurrency theory : proceedings / 5th International Conference... ; ed. Bengt Jonsson, Joachim Parrow
Monografia
Publication
Berlin : Springer-Verlag, 1994
Description
IX, 528 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Internet applications : proceedings / 5th International Computer Science Conference ; ed. Lucas Chi-Kwong Hui, Dik Lun Lee
Monografia
Publication
Berlin : Springer, cop. 1999
Description
XX, 518 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Intelligent tutoring systems : proceedings / 5th International Conference... ; ed. Gilles Gauthier, Claude Frasson, Kurt VanLehn
Monografia
Publication
Berlin : Springer, cop. 2000
Description
XIX, 675 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Analytical models and new concepts in concrete and masonry structures : proceedings / 5th International Conference, AMCM' 2005 ; org. Civil Engineering Department of Silesian University of Technology
Produtos Computador
Publication
Gliwice : Zaklad Graficzny Politechniki Slaskiej, cop. 2005
Description
148 p. :
il. ;
24 cm +
1 Cd-Rom
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Industrial and engineering applications of artificial intelligence and expert systems : proceedings / 5th International Conference ; ed. F. Belli, F. J. Radermacher
Monografia
Publication
Berlin : Springer-Verlag, 1992
Description
XV, 702 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Progress in image analysis and processing : proceedings / 5th International Conference ... ; ed. V. Cantoni... [et al.]
Monografia
Publication
Singapore : World Scientific, cop. 1990
Description
XIV, 787 p. :
il. ;
23 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Advanced information systems engineering : proceedings / 5th International Conference... ; ed. Colette Rolland, François Bodart, Corine Cauvet
Monografia
Publication
Berlin : Springer-Verlag, cop. 1993
Description
XI, 650 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (1).
Lost (1).
|
|
|
Structural analysis of historical constructions : possibilities of numerical and experimental techniques / Proceedings of the 5th International Conference ; ed. Paulo B. Lourenço...[et al]
Monografia
Publication
New Delhi : MacMillan, cop. 2007
Description
3 v. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (3).
Reference (3).
|
|
|
CAD 82 / 5th International Conference... ; org. Journal Computer-Aided Design ; ed. Alan Pipes
Monografia
Publication
Guildford : Butterworths, cop. 1982
Description
XII, 709 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Mathematical foundations of programming semantics / Proceedings of the 5th International Conference... ; ed. M. G. Main... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VI, 439 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Theory, research & practice in mathematical education : working group reports and collected papers / 5th International Congress on Mathematical Education ; ed. Alan Bell, Brian Low, Jeremy Kilpatrick
Monografia
Publication
Nottingham : University of Nottingham - Shell Centre for Mathematical Education, 1985
Description
596 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mechatronics'96 with M2VIP'96 : proceedings / The 5th UK Mechatronics Forum International Conference, The 3rd International Conference on Mechatronics and Machine Vision in Practice ; [chair Tim King, Mário Lima]
Monografia
Publication
Guimarães : Universidade do Minho, Escola de Engenharia, 1996
Description
2 v. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca de Reservados
Availability
Available (4).
Reference (2).
|
|
|
Hydraulic engineering software V / 5th International Conference on Hydraulic Engineering Software, Hydrosoft ; organ. Wessex Institute of Technology, Aristotle University of Thessaloniki ; ed. W. R. Blain, K. L. Katsifarakis
Monografia
Publication
Southampton : Computational Mechanics Publications, 1994
Description
2 v. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|