Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings

種類:

図書

責任表示:

Paliath Narendran, Michael Rusinowitch (eds.)

出版情報:

Berlin ; New York : Springer, c1999

著者名:

シリーズ名:

Lecture notes in computer science ; 1631 <BA00009279>

ISBN:

9783540662013 [3540662014]

注記:

Includes index

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	Algorithms Congresses; Computer programming Congresses; Rewriting systems (Computer science) Congresses
分類・件名:	NDC9 : 007 LCSH : Rewriting systems (Computer science) Congresses LCSH : Computer programming Congresses LCSH : Algorithms Congresses
LCCN:	99034032
TTLL:	eng
言語:	英語
形態:	xi, 396 p. : ill. ; 24 cm
書誌ID:	BA42226397

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings International Conference on Rewriting Techniques and Applications, Book, Ronald V. Springer-Verlag	7 図書 Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Swierstra, S. Doaitse Springer
2 電子ブック Rewriting Techniques and Applications : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings Book, Ronald V., SpringerLink (Online service) Springer-Verlag	8 図書 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950- Springer-Verlag
3 電子ブック Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings Book, Ronald V., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 電子ブック Rewriting Techniques and Applications : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings Ganzinger, Harald, SpringerLink (Online service) Springer-Verlag
4 図書 Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings International Conference on Rewriting Techniques and Applications, Tison, Sophie Springer	10 電子ブック Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings Ganzinger, Harald., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 図書 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings CAV (Conference), Halbwachs, Nicolas, Peled, Doron Springer-Verlag	11 図書 Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert Springer
6 図書 Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings Comon, Hubert, International Conference on Rewriting Techniques and Applications Springer	12 図書 Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings International Conference on Rewriting Techniques and Applications, Middeldorp, Aart, 1963- Springer