1. Engineering Secure Software and Systems :
Author: edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
2. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
3. International Symposium on Programming :
Author: edited by Bernard Robinet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA76
.
6
E358
1980
4. International Symposium on Programming : proceedings
Author: edited by B. Robinet
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
83
5. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
Author: International Symposium on Programming, 4th, 0891, Paris
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
I575
1980
6. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
Author: edited by B. Robinet
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
83
7. Programing Symposium, proceedings, colloque sur la programmation, Paris, April, 9-11, 1974
Author: edited by B. Robinet
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming - Congresses ، Electronic digital computers
Classification :
QA
76
.
6
.
P7517
1974
8. Programming Symposium :
Author: edited by B. Robinet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.
Classification :
QA76
.
6
E358
1974
9. Programming Symposium; Proceedings. Colloque sur Is programmation, Paris, April 9-11, 1974
Author: / Edited by B. Robinet
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming - Congresses
Classification :
001
.
642
P964p
1974
10. Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
Author: / Edited by B. Robinet
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses
Classification :
QA
76
.
6
.
P7517
1974
11. Programming Symposium; proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
Author: Programming Symposium, 4791, Paris
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
P7517
1974
12. Selected papers of the Symposium on Operations Research :
Author: (SOR '99). K. Inderfurth ... (ed.). [GOR, Gesellschaft für Operations-Research e.V.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Magdeburg 1999.,Operations Research -- Kongress.
13. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
Author: Patrick Cousot )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2126
14. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
Author: Pascal van Hentenryck )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1302
15. Unifying theories of programming :
Author: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,computerkunde.,software engineering.
Classification :
QA76
.
6
B875
2013
