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