(34) 968 281 325 murcia@librerialacandela.com
Informática
Todas Ordenadores Técnicas Informáticas
Ha buscado por Materia: Informática
324 resultados(s) (33 páginas). Mostrando del 131 al 140
resultados por página  
Referencia: *W107537
MILNER, Robin
A Calculus of Communicating Systems. Lecture Notes in Computer Science N∫ 92
Año: 1980
35 €
Referencia: *W107536
GORDON, Michael and OTHERS
Edinburgh LCF. A Mechanized Logic of Computation. Lecture Notes in Computer Science N∫ 78
Año: 1979
7 €
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
3 €
Referencia: *W107534
ERSHOV, A. and KOSTER, C.H.A.
Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science N∫ 47
Año: 1977
12 €
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
4 €
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: *W107528
ENGELFRIET, Joost
Simple Program Schemes and Formal Languages. Lecture Notes in Computer Science N∫ 20
Año: 1974
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
17 €
Referencia: *W107526
HAILPERN, Brent
Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N∫ 129
Año: 1982
6 €