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

>> Google Books

QRコード(所蔵情報)

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

フォーマット:

図書

責任表示:

edited by Jean-Pierre Jouannaud

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1985

形態:

vi, 440 p. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 202 <BA00009279>

書誌ID:

BA00508585

ISBN:

9783540159766 [3540159762] (: gw)

9780387159768 [0387159762] (: us)

子書誌情報

所蔵情報

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

詳細

主題:	アルゴリズム; 電子計算機
分類・件名:	LCC : QA76.6 DDC : 005 NDC8 : 007.63 NDC8 : 548.2 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Algorithms -- Congresses NDLSH : 電子計算機 NDLSH : アルゴリズム
LCCN:	85022164
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 Jouannaud, Jean-Pierre, Conference on Functional Programming Languages and Computer Architecture Springer-Verlag	7 図書 Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 EUROCRYPT, Beth, Thomas, 1949-, Cot, Norbert, 1945-, Ingemarsson, Ingemar, 1938- Springer-Verlag
2 図書 Cohomology of arithmetic groups and automorphic forms : proceedings of a conference held in Luminy/Marseille, France, May 22-27, 1989 Conference 'Cohomology of Arithmetic Groups', Labesse, Jean-Pierre, 1943-, Schwermer, Joachim, 1950- Springer-Verlag	8 図書 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, Dershowitz, Nachum, 1951- Springer-Verlag
3 図書 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	9 図書 Fifth generation computer systems : proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981 International Conference on Fifth Generation Computer Systems, 元岡, 達(1929-), 日本情報処理開発協会 North-Holland Pub. Co., Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
4 図書 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954- Springer-Verlag	10 図書 Modelling techniques and tools for performance analysis : proceedings of the International Conference on Modelling Techniques and Tools for Performance … International Conference on Modelling Techniques and Tools for Performance Analysis, Potier, D., Institut national de … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
5 図書 Advances in cryptology, EUROCRYPT '95 : International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995 … EUROCRYPT, Guillou, Louis C., 1947-, Quisquater, J.-J. (Jean-Jacques), 1945- Springer-Verlag	11 図書 Advances in cryptology - EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May … EUROCRYPT, Cramer, Ronald L. Springer
6 図書 Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings International Conference on Rewriting Techniques and Applications, Narendran, Paliath, 1955-, Rusinowitch, M. (Michael) Springer	12 図書 Algebraic algorithms and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings AAECC, Calmet, Jacques, 1941-, Laboratoire d'informatique fondamentale et d'intelligence artificielle (Saint-Martin … Springer-Verlag