Algebraic methods : theory, tools and applications

>> Amazon.co.jp

このページのQRコード

Algebraic methods : theory, tools and applications

種類:

図書

責任表示:

M. Wirsing, J.A. Bergstra, eds

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989-c1991

著者名:

シリーズ名:

Lecture notes in computer science ; 394, 490 <BA00009279>

ISBN:

9783540516989 [3540516980] ([1] : gw)

9780387516981 [0387516980] ([1] : us)

9783540539124 [3540539123] (2 : gw)

9780387539126 [0387539123] (2 : us)

注記:

[1]: Proceedings of a workshop held on June 9-11 1987 in Passau, Germany
2: Based on a workshop held in Mierlo, The Netherlands, in September 1989
2: J.A. Bergstra, L.M.G. Feijs (eds)

所蔵情報

子書誌情報

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

詳細

その他の標題:	Algebraic methods II Algebraic methods 2
主題:	Algebra--Congresses; Computer software--Development--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Computer software -- Development -- Congresses LCSH : Algebra -- Congresses
LCCN:	89021810
LCCN:	91002815
TTLL:	eng
言語:	英語
形態:	2 v. ; 25 cm
書誌ID:	BA07485342

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Algebraic Methods II: Theory, Tools and Applications Bergstra, Jan A., Feijs, Loe M.G., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J Springer-Verlag
2 電子ブック Algebraic Methods II: Theory, Tools and Applications Bergstra, J. A., Feijs, L. M. G., SpringerLink (Online service) Springer-Verlag	8 図書 Algebra and number theory : proceedings of a conference held at the Institute of Experimental Mathematics, University of Essen (Germany), December 2-4, 1992 Frey, Gerhard, 1944-, Ritter, J. (Jürgen), 1943-, Conference on Algebra and Number Theory (1992 : Essen) W. de Gruyter
3 電子ブック Algebraic Methods: Theory, Tools and Applications Wirsing, Martin, Bergstra, Jan A., SpringerLink (Online service) Springer-Verlag	9 図書 Algebraic structures and applications : proceedings of the First Western Australian Conference on Algebra Western Australian Conference on Algebra, Schultz, P. (Phillip), 1933-, Praeger, Cheryl E., 1948-, Sullivan, Robert P., … M. Dekker
4 電子ブック Algebraic Methods: Theory, Tools and Applications Wirsing, Martin., Bergstra, Jan A., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : … Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed Springer
5 図書 Algebra and its applications Manocha, H. L., 1929-, Srivastava, J. B., 1942-, International Symposium on Algebra and Its Applications Marcel Dekker	11 図書 Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers TACAS, Brinksma, Ed Springer
6 図書 Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May … Workshop on the Algebra of Communicating Processes (1st : 1994 : Utrecht, Netherlands), Ponse, A. (Alban), 1955-, … Springer-Verlag	12 図書 Algebraic analysis, geometry, and number theory : proceedings of the JAMI Inaugural Conference JAMI Inaugural Conference, 井草, 準一(1924-), Japan-U.S. Mathematics Institute Johns Hopkins University Press