Your search returned 909 results. Subscribe to this search

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