(34) 968 281 325 murcia@librerialacandela.com
Informática
Todas Ordenadores Técnicas Informáticas
Ha buscado por Materia: Informática
254 resultados(s) (26 páginas). Mostrando del 91 al 100
resultados por página  
Referencia: *W107537
MILNER, Robin
A Calculus of Communicating Systems. Lecture Notes in Computer Science N∫ 92
Año: 1980
34 €
Referencia: *W107536
GORDON, Michael and OTHERS
Edinburgh LCF. A Mechanized Logic of Computation. Lecture Notes in Computer Science N∫ 78
Año: 1979
6 €
Referencia: *W107535
CHILDS, B. and OTHERS (Edited)
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
Año: 1979
2 €
Referencia: *W107534
ERSHOV, A. and KOSTER, C.H.A.
Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science N∫ 47
Año: 1977
11 €
Referencia: *W107533
DEXTER, Kozen (Edited) - AA.VV.
Logic of Programs. Proceeding 1981. Workshop, Yorktown Heights, New York, May 1981. Lecture Notes in Computer Science N∫ 131
Año: 1982
3 €
Referencia: *W107532
KAHN, Gilles (Edited) - AA.VV.
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Lecture Notes in Computer Science N∫ 70
Año: 1979
2 €
Referencia: *W107531
LOVELAND, D.W. (Edited) - AA.VV.
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982. Lecture Notes in Computer Science N∫ 138
Año: 1982
2 €
Referencia: *W107527
CLAUS, Volker and OTHERS
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
Año: 1979
16 €
Referencia: *W107526
HAILPERN, Brent
Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N∫ 129
Año: 1982
5 €
Referencia: *W107523
ENGELER, Erwin (Edited) - AA.VV.
Logic of Programs. Workshop, ETH Zürich, My - July 1979. Proceedings. Lecture Notes in Computer Science N∫ 125
Año: 1981
2 €