Biblioteca da Universidade do Minho Search for '519.6' with limit(s): '(onloan:0) AND (title-series:Lecture notes in computer science)'

Object-based concurrent computing

By ECOOP'91 Worshop. Berlin Springer 1992 . X, 264 p. 25 cm. 3-540-55613-3

Place Hold on Object-based concurrent computing

Isabelle-HOL

By Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. Berlin Springer 2002 . XIII, 218 p. 24 cm. 3-540-43376-7

Place Hold on Isabelle-HOL

Computer science logic

By International Workshop.... Berlin Springer 1998 . VIII, 509 p. 25 cm. 3-540-64570-5

Place Hold on Computer science logic

Rewriting techniques and applications

By 9th International Conference. Berlin Springer-Verlag 1998 . X, 342 p. 24 cm. 3-540-64301-X

Place Hold on Rewriting techniques and applications

Rewriting techniques and applications

By 8th International Conference. Berlin Springer-Verlag 1997 . XI, 338 p. 24 cm. 3-540-62950-5

Place Hold on Rewriting techniques and applications

Typed lambda calculi and applications

By Third International Conference.... Berlin Springer 1997 . VIII, 404 p. 24 cm. 3-540-62688-3

Place Hold on Typed lambda calculi and applications

Types for proofs and programs

By International Workshop TYPES'93. Berlin Springer-Verlag 1994 . 383 p. 24 cm. 3-540-58085-9

Place Hold on Types for proofs and programs

Partial evaluation

By International Seminar.... Berlin Springer 1996 . XII, 514 p. 24 cm. 3-540-61580-6

Place Hold on Partial evaluation

Typed lambda calculi and applications

By 6th International Conference, TLCA 2003. Berlin Springer 2003 . VIII, 315 p. 24 cm. 3-540-40332-9

Place Hold on Typed lambda calculi and applications

Types for proofs and programs

By International Workshop, TYPES 2004. Berlin Springer 2006 . VIII, 273 p. 24 cm. 3-540-31428-8 | 978-3-540-31428-8

Place Hold on Types for proofs and programs

Types for proofs and programs

By International Workshop, TYPES 2002. Berlin Springer 2003 . VIII, 330 p. 24 cm. 3-540-14031-X

Place Hold on Types for proofs and programs

Types for proofs and programs

By International Workshop, TYPES 2003. Berlin Springer 2004 . X, 408 p. 24 cm. 3-540-22164-6

Place Hold on Types for proofs and programs

Finite representations of CCS and TCSP programs by automata and Petri Nets

By Dirk Taubner. Berlin Springer-Verlag 1989 . X, 168 p. 25 cm. 3-540-51525-9

Place Hold on Finite representations of CCS and TCSP programs by automata and Petri Nets

Relational and algebraic methods in computer science

By ed. Wolfram Kahl, Michael Winter, José N. Oliveira. Cham Springer 2015 . X, 394, [1] p. 24 cm. 978-3-319-24703-8

Place Hold on Relational and algebraic methods in computer science

Theoretical aspects of computer software

By Third International Symposium.... Berlin Springer-Verlag 1997 . XI, 638 p. 25 cm. 3-540-63388-X

Place Hold on Theoretical aspects of computer software

Linear time, branching time and partial order in logics and models for concurrency

By School-Workshop.... Berlin Springer-Verlag 1989 . VIII, 713 p. 25 cm. 3-540-51080-X

Place Hold on Linear time, branching time and partial order in logics and models for concurrency

Algebraic methods

By Workshop.... Berlin Springer-Verlag 1989 . VI, 558 p. 25 cm. 3-540-51698-0

Place Hold on Algebraic methods

Concur'94

By 5th International Conference.... Berlin Springer-Verlag 1994 . IX, 528 p. 24 cm. 3-540-58328-7

Place Hold on Concur'94

Concur'95

By 6th International Conference.... Berlin Springer-Verlag 1995 . X, 545 p. 24 cm. 3-540-60218-6

Place Hold on Concur'95

CSL'87

By Proceedings of Workshop.... Berlin Springer-Verlag 1988 . VI, 346 p. 25 cm. 3-540-50241-6

Place Hold on CSL'87

Advances in cryptology-CRYPTO'89

By Conference on the theory and applications.... Berlin Springer-Verlag 1989 . XIII, 631 p. 25 cm. 3-540-97317-6

Place Hold on Advances in cryptology-CRYPTO'89

ICDT'88

By Proceedings of 2nd International Conference.... Berlin Springer-Verlag 1988 . VI, 409 p. 25 cm. 3-540-50171-1

Place Hold on ICDT'88

TAPSOFT'87

By Proceedings of the International Joint Conference.... Berlin Springer-Verlag 1987 . v. 24 cm. 3-540-17660-8 (v.1)

Place Hold on TAPSOFT'87

ESOP'86

By European Symposium on Programming. Berlin Springer-Verlag 1986 . 374 p. 24 cm. 3-540-16442-1

Place Hold on ESOP'86

Compiler compilers and high speed compilation

By Proceedings of Workshop.... Berlin Springer-Verlag 1989 . VI, 242 p. 25 cm. 3-540-51364-7

Place Hold on Compiler compilers and high speed compilation

Theoretical aspects of computer software

By Proceedings of International Conference TACS'91. Berlin Springer-Verlag 1991 . X, 770 p. 25 cm. 3-540-54415-1

Place Hold on Theoretical aspects of computer software

STACS 84

By Symposium of Theoretical Aspects of Computer Science. Berlin Springer-Verlag 1984 . VI, 338 p. 25 cm. 3-540-12920-0

Place Hold on STACS 84

Mathematical foundations of computer science 1984

By 11th Symposium.... Berlin Springer-Verlag 1984 . XI, 581 p. 25 cm. 3-540-13372-0

Place Hold on Mathematical foundations of computer science 1984

Formal techniques in real - time and fault - tolerant systems

By Proceedings of a Symposium.... Berlin Springer-Verlag 1988 . VI, 229 p. 25 cm. 3-540-50302-1

Place Hold on Formal techniques in real - time and fault - tolerant systems

PARLE'89

By Proceedings of PARLE Conference. Berlin Springer-Verlag 1989 . 2 v. 25 cm. 3-540-51284-5 (v.1) | 3-540-51285-3 (v.2)

Place Hold on PARLE'89

Mathematical foundations of computer science

By Proceedings of the 12th Symposium.... Berlin Springer-Verlag 1986 . IX, 650 p. 24 cm. 3-540-16783-8

Place Hold on Mathematical foundations of computer science

Mathematical methods of specification and synthesis of software systems'85

By ed. W. Bibel, K. P. Jantke. Berlin Springer-Verlag 1986 . 245 p. 24 cm. 3-540-16444-8

Place Hold on Mathematical methods of specification and synthesis of software systems'85

ESOP'88

By 2nd European Symposium Programming. Berlin Springer-Verlag 1988 . VI, 379 p. 24 cm. 3-540-19027-9

Place Hold on ESOP'88

Advanced information system engineering - CAISE'90

By Second Nordic Conference.... Berlin Springer-Verlag 1990 . IX, 392 p. 25 cm. 3-540-52625-0

Place Hold on Advanced information system engineering - CAISE'90

CSL'88

By 2nd Workshop.... Berlin Springer-Verlag 1989 . VI, 399 p. 25 cm. 3-540-51659-X

Place Hold on CSL'88

Concurrency 88

By Proceedings of the International Conference.... Berlin Springer-Verlag 1988 . 400 p. 25 cm. 3-540-50403-6

Place Hold on Concurrency 88

Advances in object-oriented database systems

By Proceedings of 2nd International Workshop. Berlin Springer-Verlag 1988 . VII, 373 p. 25 cm. 3-540-50345-5

Place Hold on Advances in object-oriented database systems

Matrix eigensystem routines

By B. T. Smith ... [et al.]. Berlin Springer-Verlag 1976 . XI, 551 p. 24 cm. 3-540-07546-1

Place Hold on Matrix eigensystem routines

RIMS Symposia on Software Science and Engineering

By ed. Eiichi Goto... [et al.]. Berlin Springer-Verlag 1983 . 232 p. 25 cm. 3-540-11980-9

Place Hold on RIMS Symposia on Software Science and Engineering

CSL'89

By 3rd Workshop on Computer Science Logic. Berlin 1990 . VI, 437 p. 25 cm. 3-540-52753-2

Place Hold on CSL'89

CONCUR'92

By Third International Conference.... Berlin Springer-Verlag 1992 . [8], 580 p. 25 cm. 3-540-55822-5

Place Hold on CONCUR'92

CAAP'81

By 6th Colloquium on Trees in Algebra and Programming. Berlin 1981 . VI, 364 p. 25 cm. 3-540-10828-9

Place Hold on CAAP'81

Recent trends in data type specification

By ed. M. Bidoit, C. Choppy. Berlin Springer-Verlag 1993 . X, 344 p. 24 cm. 3-540-56379-2

Place Hold on Recent trends in data type specification

Matrix eigensystem routines

By B. S. Garbow ... [et al.]. Berlin Springer-Verlag 1977 . VIII, 343 p. 24 cm. 3-540-08254-9

Place Hold on Matrix eigensystem routines

Mathematical foundations of computer science 1990

By Proceedings of the 15th Symposium.... Berlin Springer-Verlag 1990 . VIII, 544 p. 24 cm. 3-540-52953-5

Place Hold on Mathematical foundations of computer science 1990

Advances in petri-nets 1985

By ed. G. Rozenberg. Berlin Springer-Verlag 1986 . 498 p. 24 cm. 3-540-16480-4

Place Hold on Advances in petri-nets 1985

Recent trends in data type specification

By 5th Workshop.... Berlin Springer-Verlag 1988 . 259 p. 25 cm. 3-540-50325-0

Place Hold on Recent trends in data type specification

STACS 89

By Proceedings of 6th Annual Symposium.... Berlin Springer-Verlag 1989 . VIII, 543 p. 25 cm. 3-540-50840-6

Place Hold on STACS 89

ESEC'89

By Proceedings of 2nd European Software Engineering Conference. Berlin Springer-Verlag 1989 . VI, 496 p. 25 cm. 3-540-51635-2

Place Hold on ESEC'89

TAPSOFT'89

By Proceedings of the International Joint Conference.... Berlin Springer-Verlag 1989 . v. 25 cm. 3-540-50939-9 (v.1) | 3-540-50940 (v.2)

Place Hold on TAPSOFT'89