21. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
22. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
23. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
24. CAAP '90
پدیدآورنده : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings ; A. Arnold, N. Jones )eds.(,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Trees )Graph theory( - Data processing - Congresses,Data structure )Computer science( - Congresses,Computational complexity - Congresses
رده :
QA
.
C65
166
.
2
1990
25. CAAP '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings
پدیدآورنده : Colloquium on Trees in Algebra and Programming)51th :0991 : Copenhagen, Denmark(,A. Arnold )ed.(
موضوع : ، Trees )Graph theory(- Data processing- Congresses,، Data structure )Computer science(- Congresses,، Computational complexity- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
26. CAAP'90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990: proceedings
پدیدآورنده : A. Arnold )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
431
27. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده : M. Dauchet, M. Nivat
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
299
28. CAAP'88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده : M. Dauchet, M. Nivat
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
299
29. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده : M. Dauchet, M. Nivat,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
رده :
QA
.
C65
166
.
2
1988
30. CAAP '88: 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
31. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده : M. Dauchet, M. Nivat
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C65
1988
32. CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986: Proceedings
پدیدآورنده : edited by P. Franchi-Zannettacci
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
214
33. CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings
پدیدآورنده : edited by P. Franchi-Zannettacci
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
214
34. CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings
پدیدآورنده : edited by P. Franchi-Zannettacci,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
رده :
QA
.
C65
166
.
2
1986
35. CAAP '92: 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C65
1992
36. CAAP'92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings
پدیدآورنده : J.-C. Raoult, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
581
37. CAAP'90: 15th colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
پدیدآورنده : A. Arnold )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C65
1990
38. CAAP'81 : trees in algebra and programming 6th Colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده : edited by E. Astesiano and C. Bohm; under the sponsorship of the European Association for Theoretical Computer Science )EATCS(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
112
39. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
40. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997