1. Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs

رده :
QA
75
.
5
.
S9574a

2. Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
N373a