Biblioteca da Universidade do Minho catalog › Results of search for '519.6' with limit(s): 'title-series:Lecture notes in computer science'

Your search returned 114 results.

		Languages, compilers, and run-time systems for scalable computers : selected papers / 4th International Workshop... ; ed. David O'Hallaron Monografia Publication Berlin : Springer, cop. 1998 Description IX, 412 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Rewriting techniques and applications : proceedings / 8th International Conference ; ed. Hubert Comon Monografia Publication Berlin : Springer-Verlag, cop. 1997 Description XI, 338 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Rewriting techniques and applications / 7th International Conference... ; ed. Harald Ganzinger Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description XI, 435 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Static analysis : proceedings / 5th International Symposium... ; ed. Giorgio Levi Monografia Publication Berlin : Springer, cop. 1998 Description IX, 380 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		CONCUR'92 : proceedings / Third International Conference... ; ed. W. R. Cleaveland Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description [8], 580 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		CAAP'81 : trees in algebra and programming / 6th Colloquium on Trees in Algebra and Programming ; ed. E. Astesiano, C. Bohm Monografia Publication Berlin : , Springer-Verlag Description VI, 364 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe ; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description XVII, 579 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Recent trends in data type specification / ed. M. Bidoit, C. Choppy Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description X, 344 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		SWAT 90 / ed. J. R. Gilbert, R. Karlsson Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VI, 417 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in cryptology - AUSCRYPT'90 / Proceedings of the International Conference... ; ed. J. Seberry, J. Pieprzyk Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description IX, 462 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		GAG : a practical compiler generator / Uwe Kastens, Brigitte Hutt, Erich Zimmermann Monografia Publication Berlin : Springer-Verlag, 1982 Description IV, 156 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Types for proofs and programs : selected papers / International Workshop TYPES'93 ; ed. Henk Barendregt, Tobias Nipkow Monografia Publication Berlin : Springer-Verlag, cop. 1994 Description 383 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Concur'91 : proceedings / 2nd International Conference on Concurrency Theory ; ed. J. C. M. Baeten, J. F. Groote Monografia Publication Berlin : Springer-Verlag, 1991 Description IX, 539 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal techniques in real-time and fault-tolerant systems : proceedings / 5th International Symposium... ; ed. Anders P. Ravn, Hans Rischel Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 338 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Concur'99 : concurrency theory : proceedings / 10th International Conference... ; ed. Jos C. M. Baeten, Sjouke Mauw Monografia Publication Berlin : Springer, cop. 1999 Description XI, 572 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available VDM'87 : a formal method at work / Proceedings of the VDM Europe symposium ; ed. D. Bjorner... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1987 Description IX, 422 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Current trends in concurrency : overviews and tutorials / ed. J. W. de Baker, W.-P. de Roever, G. Rozenberg Monografia Publication Berlin : Springer-Verlag, 1986 Description XI, 716 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Object-based concurrent computing : proceedings / ECOOP'91 Worshop ; ed. M. Tokoro, O. Nierstrasz, P. Wegner Monografia Publication Berlin : Springer, cop. 1992 Description X, 264 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015 : proceedings / ed. Wolfram Kahl, Michael Winter, José N. Oliveira Monografia Publication Cham : Springer, cop. 2015 Description X, 394, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Linear time, branching time and partial order in logics and models for concurrency / School-Workshop... ; ed. J. W. de Bakker, W.-P. de Roever, G. Rozenberg Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description VIII, 713 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)