221. Computer performance engineering :
پدیدآورنده : Nigel Thomas (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
222. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
پدیدآورنده : Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
223. Computer science logic
پدیدآورنده : / Anuj Dawar, Helmut Veith (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer logic, Congresses
رده :
QA76
.
9
.
L63
2010
224. Computer science logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science- Congresses,Logic, Symbolic and mathematical- Congresses
225. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
226. Computer science logic : 12th International Workshop, CSL'98 : Annual Conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
پدیدآورنده : Georg Gottlob, Etienne Grandjean, Katrin Seyr )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1584
227. Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
پدیدآورنده : Peter Clote, Helmut Schwitchtenberg )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1862
228. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, ed.
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1092
229. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1258
230. Computer science logic : 11th International Workshop, CSL'97 : annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997: selected papers
پدیدآورنده : Mogens Nielsen, Wolfgang Thomas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1414
231. Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
پدیدآورنده : Jerzy Marcinkowski, Andrzej Tarlecki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3210
232. Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
پدیدآورنده : Luke Ong )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3634
233. Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : proceedings
پدیدآورنده : Julian Bradfield )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2471
234. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
W624
1991
235. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
پدیدآورنده : E. Borger...]et al.[, eds
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
533
236. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
پدیدآورنده : E. Brger...]et al.[, eds
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
702
237. Computer science logic : 5th Workshop, CSL'91 : proceedings
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
626
238. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
239. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
کتابخانه: (طهران)
موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
240. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
