401. 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

402. 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

403. 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

404. 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

405. 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

406. 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

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

پدیدآورنده: International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(

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

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

رده :

QA

267

.

I555

1991

408. 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 ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

488

409. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

پدیدآورنده: Sophie Tison )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

2378

410. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 :proceedings

پدیدآورنده: Claude Kirchner )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

690

411. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings

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

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

رده :

QA

267

.

I555

1993

412. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

پدیدآورنده: Leo Bachmair )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

1833

413. Rewriting techniques and applications : 8th International Conference, RTA-97 Sitges, Spain, June 2-5, 1997: proceedings

پدیدآورنده: Hubert Comon )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

1232

414. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings

پدیدآورنده: Harald Ganzinger

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

1103

415. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings

پدیدآورنده: Paliath Narendran, Michael Rusinowitch )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

1631

416. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings

پدیدآورنده: Paliath Narendran, Michael Rusinowitch, eds

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

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

رده :

QA

267

.

R477

1999

417. Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

پدیدآورنده: Tobias Nipkow )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

1379

418. Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings

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

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

رده :

QA

267

.

I565

2001

419. Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

پدیدآورنده: Aart Middeldorp )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

2051

420. Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

پدیدآورنده: Robert Nieuwenhuis )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :

QA

76

.

L28

Vol

.

2706