61. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
62. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده : International Symposium on Programming, 4th, 0891, Paris
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1980
63. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده : edited by B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
83
64. International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
پدیدآورنده : International Symposium on Programming, )5th, 2891, Turin, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1982
65. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
پدیدآورنده : International Symposium on Programming, )6th, 4891, Toulouse, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1984
66. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
پدیدآورنده : edited by M. Paul and B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
167
67. Knowledge-Based software engineering
پدیدآورنده : Proceedings of the Joint conference on Knowledge-Based software engineering in smolenice)3rd,Slovania,8991(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers-programming-Congresses,، Software engineering-Congresses,، Programming-Congresses)Electronic computers(-Congresses
رده :
QA
76
.
6
.
P76
1998
68. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
پدیدآورنده : edited by Jeffrey M. Tobias
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
69. Language hierarchies and interfaces : international summer school
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
70. Language hierarchies and interfaces : international summer school
پدیدآورنده : F. L. Bauer ... )et al.( ; edited by F. L. Bauer and K. Samelson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
46
71. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L595
1984
72. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : edited by Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
73. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L594
1981
74. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده : edited by Edmund Clarke and Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
75. Logics of programs and their applications: proceedings, pozan, August 23-29, 1980
پدیدآورنده : Symposium on Logics of Programs and their Applications )0891: Poznan, Poland(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
S91935
1980
76. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
77. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
پدیدآورنده : edited by J. Gruska
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
233
78. Mathematical foundations of computer science, 1980: Proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Data base management-- Congresses,، Machine theory-- Congresses
رده :
QA
76
.
6
.
S9194
1980
79. Mathematical foundations of computer science, 1979: proceedings; 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Alogorithms-- Congresses,، Computable functions-- Congresses,، Machin theory-- Congresses
رده :
QA
76
.
6
.
S9194
1979
80. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
پدیدآورنده : International Conference on Mathematical Studies of Information Processing, )8791, Kyoto, Japan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing - Congresses,، Electronic digital computers - Programming
رده :
QA
75
.
5
.
I582
1978
