Your search returned 169 results. Subscribe to this search

|
Model checking software : proceedings / 9th International SPIN Workshop... ; ed. Dragan Bosnacki, Stefan Leue Monografia Publication Berlin : Springer, cop. 2002 Description X, 257 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Grand challenges in earthquake engineering : 250 years after the Lisbon earthquake : proceedings, Auditorium of Hotel Lamego, Lamego City, Lamego, 11-13th July 2005 / 1st US-Portugal International Workshop ; ed. Joaquim A. O. Barros, Pedro F. Silva Monografia Publication Guimarães : Universidade do Minho, D.L. 2005 Description VII, 277 f. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). Reference (1).

Tenth International Congress on Polymers in Concrete and ICPIC/ICRI International Concrete Repair [Documento eletrónico] : workshop Produtos Computador Publication Honolulu : s.n., 2001 Description 1 disco óptico (CD-ROM) : il. ; em caixa 13x14x1 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Advances in object-oriented database systems / Proceedings of 2nd International Workshop ; ed. K. R. Dittrich Monografia Publication Berlin : Springer-Verlag, 1988 Description VII, 373 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Aspects of automated natural language generation : proceedings / 6th International Workshop on Natural Language Generation ; ed. Robert Dale... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 308 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Graphtheoretic concepts in computer science : proceedings / International Workshop... ; ed. Hartmut Noltemeier Monografia Publication Berlin : Springer-Verlag, cop. 1981 Description X, 403 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Languages and compilers for parallel computing / Fourth International Workshop... ; ed. U. Banerjee... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description IX, 419 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mobile object systems : towards the programmable Internet / second International Workshop ; ed. Jan Vitek, Christian Tschudin Monografia Publication Berlin : Springer, cop. 1997 Description X, 319 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Field-programmable logic and applications : from FPGAs to computing paradigm : proceedings / 8th International Workshop... ; ed. Reiner W. Hartenstein, Andres Keevallik Monografia Publication Berlin : Springer, cop. 1998 Description XI, 529 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Cooperative buildings : integrating information, organization, and architecture / First International Workshop... ; ed. Norbert A. Streitz, Shin'ichi Konomi, Heinz-Jurgen Burkhardt Monografia Publication Berlin : Springer, cop. 1998 Description XI, 267 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Cooperative information agents V : proceedings / 5th International Workshop ; ed. Matthias Klusch, Franco Zambonelli Monografia Publication Berlin : Springer, cop. 2001 Description XII, 288 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Types for proofs and programs : selected papers / International Workshop, TYPES 2002 ; eds. Herman Geuvers, Freek Wiedijk Monografia Publication Berlin : Springer, cop. 2003 Description VIII, 330 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Types for proofs and programs : revised selected papers / International Workshop, TYPES 2004 ; ed. Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner Monografia Publication Berlin : Springer, cop. 2006 Description VIII, 273 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Soft computing models in industrial and environmental applications / 5th International Workshop... (SOCO 2010) ; ed. Emilio Corchado... [et al.] Monografia Publication Berlin : Springer, 2010 Description XIV, 262 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (4).

Lightweight construction : innovation and sustainability / Proceedings of the Fibrenamics International Workshop ; ed. R. Fangueiro Produtos Computador Publication Guimarães : University of Minho, cop. 2013 Description VI, 70 p. : il. ; 21 cm + 1 CD-ROM LocationBiblioteca da UMinho no Campus de Azurém Availability Available (2).

Categorical methods in computer science : with aspects from topology / International Workshop... ; ed. H. Ehrig... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description VI, 350 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Modelling and performance evaluation of ATM technology : proceedings / International Workshop... ; ed. H. Perros, G. Pujolle, Y. Takahashi Monografia Publication Amsterdam : North-Holland, 1993 Description IX, 483 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advanced visual interfaces : proceedings / International Workshop AVI'92 ; ed. T. Catarci, M. F. Costabile, S. Levialdi Monografia Publication Singapore : World Scientific, 1992 Description XIV, 422 p. : il. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Proceedings / Third International Workshop on Hardware-Software Codesign Monografia Publication Washington : IEEE Computer Society Press, cop. 1994 Description IX, 225 p. : il. ; 28 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Code generation - concepts, tools, techniques : proceedings / International Workshop... ; ed. Robert Giegerich, Susan L. Graham Monografia Publication London : Springer-Verlag, cop. 1992 Description X, 319 p. : il. gráficos ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (1). Checked out (1).