Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

種類:

図書

責任表示:

Robert Nieuwenhuis (ed.)

出版情報:

Berlin ; Tokyo : Springer, c2003

著者名:

シリーズ名:

Lecture notes in computer science ; 2706 <BA00009279>

ISBN:

9783540402541 [3540402543]

注記:

Includes bibliographical references and index

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	Algorithms; Computer programming; Rewriting systems (Computer science)
分類・件名:	LCSH : Rewriting systems (Computer science) LCSH : Computer programming LCSH : Algorithms
TTLL:	eng
言語:	英語
形態:	xi, 514 p. : ill. ; 24 cm
書誌ID:	BA62714881

内容紹介

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 Book, Ronald V., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 図書 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications Springer
2 図書 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	8 電子ブック Application and Theory of Petri Nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings Ajmone Marsan, Marco., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック Application and Theory of Petri Nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings Valette, Robert., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 電子ブック Global Trends in Information Systems and Software Applications : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011, Part II. … Krishna, P. Venkata., Babu, M. Rajasekhara., Ariwa, Ezendu., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings Dershowitz, Nachum., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 図書 Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings Narendran, Paliath, 1955-, Rusinowitch, M. (Michael), International Conference on Rewriting Techniques and Applications Springer
5 図書 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings International Conference on Rewriting Techniques and Applications, Kirchner, Claude Springer-Verlag	11 図書 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
6 電子ブック Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings Kirchner, Claude., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 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