Your search returned 15 results. Subscribe to this search

|
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).