تعداد ۳۷ پاسخ غیر تکراری از ۳۷ پاسخ تکراری در مدت زمان ۰,۶۱ ثانیه یافت شد.

1. Advances in database technology--EDBT '92 :

پدیدآورنده : A. Pirotte, C. Delobel, G. Gottlob, eds.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.

2. Analytical and stochastic modeling techniques and application

پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local

رده :

TK5105

.

5

.

I58

2010

3. Automata, languages and programming :

پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Machine theory -- Congresses.,Machine theory.

رده :

QA267

.

J543

1991

4. [Computer aided systems theory] [revised selected papers]

پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.

5. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings

پدیدآورنده : Nachum Dershowitz, Naomi Lindenstrauss )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

968

6. Foundations of software science and computation structures

پدیدآورنده : Jerzy Tiuryn (ed.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software, Congresses.,System analysis, Congresses.

7. KI 2018 :

پدیدآورنده : Frank Trollmann, Anni-Yasmin Turhan (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Public administration.

رده :

Q334

8. Logic of Computation

پدیدآورنده : edited by Helmut Schwichtenberg.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

9. Mathematical foundations of computer science 2013 :

پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.

رده :

QA76

.

9

.

M35

K757

9999

10. Reachability problems :

پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

رده :

QA76

.

76

.

V47

11. Rewriting techniques and applications :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;

12. Rewriting techniques and applications :

پدیدآورنده : N. Dershowitz, ed.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.

رده :

QA267

.

I555

1989

13. Rewriting techniques and applications :

پدیدآورنده : Harald Ganzinger (ed.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification

رده :

QA267

.

R48

1996

14. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings

پدیدآورنده : edited by Pierre Lescanne

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

256

15. Rewriting techniques and applications : Dijon, France, May 20-22, 1985

پدیدآورنده : edited by Jean-Pierre Jouannaud

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(

رده :

QA

76

.

L4

v

.

202

16. Rewriting techniques and applications : Dijon, France, May 20-22, 1985

پدیدآورنده : edited by Jean-Pierre Jouannaud

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

202

17. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

پدیدآورنده : N. Dershowitz, ed

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms

رده :

QA

76

.

L28

Vol

.

355

18. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(

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

موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

رده :

QA

267

.

I555

1989

19. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

پدیدآورنده : Vincent Van Oostrom )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

3091

20. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده : Ronald V. Book, ed

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms

رده :

QA

267

.

I555

1991

»
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها