Ha buscado por Materia: Informática
384 resultados(s) (39 páginas). Mostrando del 161 al 170
Edinburgh LCF. A Mechanized Logic of Computation. Lecture Notes in Computer Science N∫ 78
GORDON, Michael and OTHERS Berlín Heidelberg New York. 1979. Springer - Verlag. 4º menor. VIII- 159 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. ISBN 10: 3540097244 / Referencia: *W107536 (condiciones de venta) |
11 € |
Codes for Boundary-Value Problems in Ordinary Differential Equations. Proceedings of a Working Conference, May 14-17, 1978. Lecture Notes in Computer Science N∫ 76
CHILDS, B. and OTHERS (Edited) Berlín Heidelberg New York. 1979. Springer - Verlag. 4º menor. V pgs- 1 h- 388 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. ISBN 10: 3540095543 / Referencia: *W107535 (condiciones de venta) |
7 € |
Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science N∫ 47
ERSHOV, A. and KOSTER, C.H.A. Berlín Heidelberg New York. 1977. Springer - Verlag. 4º menor. VIII- 351 pgs. Rústica editorial . Firma anterior poseedor en cubierta anterior y dedicatoria en frontis. Buen estado. ISBN 10: 3540080651 / Referencia: *W107534 (condiciones de venta) |
16 € |
Logic of Programs. Proceeding 1981. Workshop, Yorktown Heights, New York, May 1981. Lecture Notes in Computer Science N∫ 131
DEXTER, Kozen (Edited) - AA.VV. Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VI- 429 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. ISBN 10: 354011212X / Referencia: *W107533 (condiciones de venta) |
8 € |
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Lecture Notes in Computer Science N∫ 70
KAHN, Gilles (Edited) - AA.VV. Berlín Heidelberg New York. 1979. Springer - Verlag. 4º menor. 368 pgs. Rústica editorial . Muy buen estado. ISBN 10: 354009511X / Referencia: *W107532 (condiciones de venta) |
4 € |
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982. Lecture Notes in Computer Science N∫ 138
LOVELAND, D.W. (Edited) - AA.VV. Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VII- 389 pgs. Rústica editorial . Muy buen estado. ISBN 10: 3540115587 / Referencia: *W107531 (condiciones de venta) |
5 € |
Simple Program Schemes and Formal Languages. Lecture Notes in Computer Science N∫ 20
ENGELFRIET, Joost Berlín Heidelberg New York. 1974. Springer - Verlag. 4º menor. VI pgs- 1 h- 254 pgs. Rústica editorial . Muy buen estado. ISBN 10: 3540069534 / Referencia: *W107528 (condiciones de venta) |
3 € |
Graph-Grammars and Their Application to Computer Science and Biology. International Workshop, Bad Honnef, October 30 - November 3, 1978. Lecture Notes in Computer Science N? 73
CLAUS, Volker and OTHERS Berlín Heidelberg New York. 1979. Springer - Verlag. 4º menor. 477 PGS. Rústica editorial . Firma anterior poseedor. Muy buen estado. ISBN 10: 354009525 / Referencia: *W107527 (condiciones de venta) |
21 € |
Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N∫ 129
HAILPERN, Brent Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VIII- 208 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. ISBN 10: 3540112057 / Referencia: *W107526 (condiciones de venta) |
10 € |
Logic of Programs. Workshop, ETH Zürich, My - July 1979. Proceedings. Lecture Notes in Computer Science N∫ 125
ENGELER, Erwin (Edited) - AA.VV. Berlín Heidelberg New York. 1981. Springer - Verlag. 4º menor. 3 h- 245 pgs. Rústica editorial . Muy buen estado. ISBN 10: 3540111603 / Referencia: *W107523 (condiciones de venta) |
3 € |