Your search returned 921 results. Subscribe to this search

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