|
|
Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Monografia
Publication
Berlin : Springer, cop. 1999
Description
XXI, 450 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Field-programmable logic and applications / International Workshop... ; ed. Will Moore, Wayne Luk
Monografia
Publication
Berlin : Springer-Verlag, 1995
Description
XII, 450 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Logic of computation / ed. Helmut Schwichtenberg
Monografia
Publication
Berlin : Springer, cop. 1997
Description
VI, 394 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Cobol estruturado / Lawrence R. Newcomer ; trad. Lars Gustav Erik Unonius ; rev. Jayme António dos Santos
Monografia
Publication
São Paulo : McGraw-Hill, cop. 1985
Description
XII, 466 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (3).
|
|
|
Developing windows 3 applications with Microsoft SDK / Brent Rector
Monografia
Publication
Carmel : SAMS, cop. 1992
Description
XXV, 1054 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
A primer for PHIGS : C programmer's ed. / F. R. A. Hopgood, D. A. Duce, D. J. Johnston
Monografia
Publication
Chichester : John Wiley, 1992
Description
XIV, 298 p. :
il. ;
23 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
No copies available
Lost (1).
|
|
|
Pascal II / Lisbete Madsen Barbosa
Monografia
Publication
São Paulo : McGraw-Hill, cop. 1990
Description
VII, 277 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Essentials of logic programming / Christopher John Hogger
Monografia
Publication
Oxford : Clarendon Press, 1990
Description
XI, 299 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (4).
Reference (1).
Lost (1).
|
|
|
Turbo C avançado : guia do usuário / Herbert Schildt ; trad. Célia Miho Onoe Mayer, Roberto Carlos Mayer
Monografia
Publication
São Paulo : McGraw-Hill, cop. 1990
Description
XII, 457 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
Lost (1).
|
|
|
Interactive programming environments / ed. David R. Barstow, Howard E. Shrobe, Erik Sandewall
Monografia
Publication
New York : McGraw-Hill, cop. 1986
Description
XII, 609 p. ;
22 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
File organization for database design / Gio Wiederhold
Monografia
Publication
New York : McGraw-Hill, cop. 1987
Description
XIV, 619 p. ;
22 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programming environments for high-level scientific problem solving : proceedings / Working Conference... ; ed. P. W. Gaffney, E. N. Houstis
Monografia
Publication
Amsterdam : North-Holland, 1992
Description
XIII, 405 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Zur verteilten Implementierung von Petrinetzen / Dirk Taubner
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
32 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Graphentheoretische Ansatze für CAD-Werkzeuge in der CMOS-Technik / Michael Payer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1989
Description
233 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Transformation und Komposition von P-T - Netzen unter Erhaltung wesentlicher Eigenschaften / A. Heise, C. Dimitrovici
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1991
Description
78 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Data structures, algorithms, and software principles / Thomas A. Standish
Monografia
Publication
Reading : Addison-Wesley, cop. 1994
Description
XX, 748 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration / Urich Güntzer, Werner Kiessling, Rudolf Bayer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1986
Description
29 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Splitting as a source of parallelism in disjunctive logic programs / Ulrich Furbach
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
7 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Comunicação, concorrência e processos : texto de apoio : versão 1.0 / José Eduardo Pina Miranda, Maria João Gomes Frade
Monografia
Publication
Braga : Universidade do Minho, 1995
Description
II, 177 p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca de Reservados
Availability
Available (1).
Reference (1).
|
|
|
Hooked on Java : creating hot web sites with Java applets / Arthur Van Hoff, Sami Shaio, Orca Starbuck
Produtos Computador
Publication
Reading : Addison-Wesley Publishing Company, cop. 1996
Description
XVIII, 181 p. :
il. ;
24 cm +
1 CD-ROM
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|