1. Design of digital computers : by Gschwind, Hans W. Publication: New York : Springer-Verlag, 1975 . viii, 548 p Date:1975 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
2. Parallel processing :   Publication: Berlin : Springer-Verlag, 1975 . vi,433p : 24cm Date:1975 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
3. Design and implementation of programming languages :   Publication: Berlin : Springer-Verlag, 1977 . x, 496 p ; 24 cm Date:1977 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
4. Structural pattern recognition / by Pavlidis, Theodosios Publication: Berlin : Springer-Verlag, 1977 . xii, 302 p : 24cm Date:1977 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
5. TEMPO : by Jones, Neil D. Publication: Berlin : Springer-Verlag, 1978 . ix, 118 p : 24 cm Date:1978 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
6. Semiconductor devices for optical communication   Publication: Berlin Springer-Verlag 1980 . xiv, 289 p. 24 cm Date:1980 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
7. Algorithmic language and program development / by Bauer, F.L., Publication: Berlin : Springer-Verlag, 1982 . xvi,497 p. Date:1982 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
8. Electronic systems effectiveness and life cycle costing   Publication: Berlin Springer-Verlag 1983 . xvii, 732 p. , "Proceedings of the NATO Advanced Study Institute on Electronic Systems Effectiveness and Life Cycle Costing held at Norwich, United Kingdom, July 19-31, 1982"--T.p. verso 25 cm Date:1983 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
9. Database machines :   Publication: Berlin : Springer-Verlag, 1983 Date:1983 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
10. Foundations of logic programming / by Lloyd, J. W, Publication: Berlin : Springer-Verlag, 1984 . x, 124 p Date:1984 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
11. The analysis of concurrent systems :   Publication: Berlin : Springer-Verlag, 1985 . vii, 398 p. ; 25 cm Date:1985 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
12. LUCAS : by Fernstrom, Christer Publication: Berlin : Springer-Verlag, 1986 . xii, 323 p. : il. ; 24 cm Date:1986 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
13. CONPAR 86 :   Publication: Berlin : Springer-Verlag, 1986 . ix, 418 p. : 24 cm Date:1986 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
14. Temporal logic of programs / by Kröger, Fred Publication: Berlin : Springer-Verlag, 1987 . viii, 148 p Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
15. System development and Ada :   Publication: Berlin : Springer-Verlag, 1987 Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
16. User models in dialog systems /   Publication: New York : Springer-Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
17. Uncertainty in knowledge-based systems :   Publication: Berlin : Springer-Verlag, 1987 . viii, 405 p Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
18. Foundations of software technology and theoretical computer science :   Publication: Berlin : Springer-Verlag, 1987 Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
19. Data types and persistence /   Publication: Berlin : Springer-Verlag, 1988 . xviii,292p Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
20. Parallel computing in science and engineering :   Publication: Berlin : Springer-Verlag, 1988 . [5], 185 p Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
21. Pattern recognition :   Publication: Berlin : Springer-Verlag, 1988 . vII,668p ; , "Papers presented at the BPRA 4th International Conference on Pattern Recognition"--Pref 25cm Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
22. Attribute grammar inversion and source-to-source translation / by Yellin, Daniel M. Publication: Berlin : Springer-Verlag, 1988 . viii, 176 p Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
23. Advances in database technology - EDBT'88 :   Publication: Berlin : Springer-Verlag, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
24. 9th International Conference on Automated Deduction :   Publication: Berlin : Springer-Verlag, 1988 . x, 775 p. Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1), IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
25. Object orientation in Z /   Publication: London : Springer-Verlag, 1992 . 144p : , "Published in collaboration with the British Computer Society." 25cm Date:1992 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
26. Natural language at the computer :   Publication: Berlin : Springer-Verlag, 1988 . [3],176 p. Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
27. ECOOP '88 :   Publication: Berlin : Springer-Verlag, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
28. Attribute grammars : by Deransart, Pierre Publication: Berlin : Springer-Verlag, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
29. VDM '88 :   Publication: Berlin : Springer-Verlag, 1988 Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
30. Advances in object-oriented database systems :   Publication: Berlin : Springer-Verlag, 1988 . vII,373p ; 25cm Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
31. Compositionality, concurrency, and partial correctness : by Zwiers, J, Publication: Berlin : Springer-Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
32. Foundations of equational logic programming / by Hölldobler, Steffen, Publication: Berlin : Springer-Verlag, 1989 . x, 250 p.: 25 cm Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
33. Automatic verification methods for finite state systems   Publication: Berlin Springer-Verlag 1990 . vii, 382 p. 25 cm Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
34. Artificial intelligence in higher education :   Publication: Berlin : Springer-Verlag, 1990 . ix, 247 p. 25 cm Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
35. Semantics of systems of concurrent processes :   Publication: Berlin : Springer-Verlag, 1990 Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
36. The logic of theory change :   Publication: New York, N.Y. : Springer-Verlag, 1991 . x, 334 p.; 25 cm Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
37. Logics in AI :   Publication: Berlin : Springer-Verlag, 1991 . ix, 562 p.: 25 cm Date:1991 Availability: No items available:

Actions:
38. STACS 91 :   Publication: Berlin : Springer-Verlag, 1991 . x, 548 p. : 25 cm Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
39. Logic programming '89 :   Publication: Berlin : Springer-Verlag, 1991 . [ix], 183 p.: 25 cm Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
40. Parallel database systems :   Publication: Berlin : Springer-Verlag, 1991 . viii, 433 p. , "...constitutes the proceedings of the Workshop on Parallel Database Systems..."-Pref. Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
41. Parallel problem solving from nature :   Publication: New York : Springer-Verlag, 1991 Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
42. Advances in cryptology :   Publication: Berlin : Springer-Verlag, 1991 . xiii, 643 p , Conference held Aug. 11-15, 1990 at the University of California, Santa Barbara Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
43. Advances in cryptology :   Publication: Berlin : Springer-Verlag, 1992 . x, 484 p , Conference held Aug. 11-15, 1991 at the University of California, Santa Barbara Date:1992 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
44. Concur '94: concurrency theory :   Publication: Berlin : Springer-Verlag, 1994 . ix, 528 p. ; 24 cm Date:1994 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
45. Pattern synthesis : by Grenander, Ulf Publication: New York : Springer-Verlag, 1976 . 509p : , Includes index | ISBN 3 540 90174 4 (Berlin) 23 cm Date:1976 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
46. Heteroepitaxial semiconductors for electronic devices   Publication: New York Springer Verlag 1978 . xi, 299 p. 28 cm Date:1978 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
47. The design of well-structured and correct programs / by Alagic, Suad Publication: New York : Springer-Verlag, 1978 . x, 292p , Preface: "Portions of the material, in rather different form, appeared in Alagic's Serbo-Croation text Prinicipi programiranja." Date:1978 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
48. The denotational description of programming languages : by Gordon, Michael J. C. Publication: New York : Springer-Verlag, 1979 . 160 p ; , Includes indexes 24 cm Date:1979 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
49. Pattern classifiers and trainable machines / by Sklansky, Jack Publication: New York : Springer-Verlag, 1981 . 335p Date:1981 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
50. Selected writings on computing : by Dijkstra, Edsger W., Publication: New York : Springer-Verlag, 1982 . xvii, 362 p. ; 24 cm Date:1982 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
1 2 3 4 5 Next >>

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: