|
|
Fundamentals of computation theory : proceedings / International... ; ed. Ferenc Gécseg
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
X, 471 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Axiom : the scientific computation system / Richard D. Jenks, Robert S. Sutor ; with contributions fron Scott C. Morrison... [et al.]
Monografia
Publication
New York : Springer-Verlag, cop. 1992
Description
XXIV, 742 p., [4] f. est. color. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Das Textsystem Troff auf Punktraster-Druckern / Reinhard Fom̀eier
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1985
Description
36 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programmierung mit Funktionsobjekten : Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung / Hans Zierer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
159 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Two contributions to the theory of finite replacement systems : some properties of weight-reducing presentations : on the knuth-bendix completion for concurrent processes / Volker Diekert
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1987
Description
21 p.21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Query evaluation and recursion in deductive database systems / Rudolf Bayer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
31 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Unambiguous simulations of auxiliary pushdown automata and circuits / Rolf Niedermeier, Peter Rossmanith
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1990
Description
38 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Making formal specifications readable / Herbert Ehler
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
23 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Stabilitatsuntersuchung von Differenzenverfahren mit Hilfe der Resultantenalgebra unter Verwendung des REDUCE-Systems / Victor G. Ganzha, Evgenii V. Vorozhtsov, Christoph Zenger
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1991
Description
23 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Concurrent constraint programming / Vijay A. Saraswat
Monografia
Publication
Cambridge, Mass. : The MIT Press, cop. 1993
Description
XL, 486 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal specification and software development / Dines Bjorner, Cliff B. Jones ; colab. Derek Andrews... [et al.]
Monografia
Publication
Englewood Cliffs : Prentice Hall, cop. 1982
Description
X, 501 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Theoretical modelling in construction materials / S. Jalali, C. Alastruey and J. C. F. Teixeira
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Concepção e especificação de uma linguagem visual / Maria João Tinoco Varanda Pereira
Monografia
Publication
Braga : M.J.T.V.P., 1996
Description
111 f. :
il. ;
30 cm
LocationBiblioteca de Reservados, Biblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
Java database programming / Brian Jepson
Monografia
Publication
New York : John Wiley, cop. 1997
Description
X, 485 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Genetic algorithms in search, optimization, and machine learning / David E. Goldberg
Monografia
Publication
Reading, Mas. : Addison-Wesley, cop. 1989
Description
XIII, 412 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (4).
|
|
|
Discrete cosine transform : algorithms, advantages, applications / K. R. Rao, P. Yip
Monografia
Publication
Boston : Academic Press, cop. 1990
Description
XVIII, 490 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Object-oriented software composition / ed. Oscar Nierstrasz, Dennis Tsichritzis
Monografia
Publication
London : Prentice Hall, 1995
Description
XVII, 361 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Parsing theory / Seppo Sippu, Eljas Soisalon-Soininen
Monografia
Publication
Berlin : Springer, 1988-1990
Description
2 v. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Java programming explorer / Steve Simkin, Nail Bartlett, Alex Leslie
Produtos Computador
Publication
Scottsdale : Coriolis Group, 1996
Description
XVII, 820 p. :
il. ;
24 cm +
1 CD-Rom
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Genetic programming 1996 / proceedings of the first annual conference ; ed. John R. Koza...[et al.]
Monografia
Publication
Cambridge, Mas. : Bradford Book, 1996
Description
XVII, 568 p. :
il. ;
28 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|