Algebraic methods : theory, tools and applications

>> Google Books

Algebraic methods : theory, tools and applications

フォーマット:

図書

責任表示:

M. Wirsing, J.A. Bergstra, eds

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989-c1991

形態:

2 v. ; 25 cm

著者名:

シリーズ名:

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

書誌ID:

BA07485342

ISBN:

9783540516989 [3540516980] ([1] : gw)

9780387516981 [0387516980] ([1] : us)

9783540539124 [3540539123] (2 : gw)

9780387539126 [0387539123] (2 : us)

子書誌情報

所蔵情報

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

詳細

その他の標題:	Algebraic methods II Algebraic methods 2
主題:	Algebra--Congresses; Computer software--Development--Congresses
分類・件名:	LCC : QA76.76.D47 DDC : 005.1/01/512 NDC8 : 007.6 LCSH : Computer software -- Development -- Congresses LCSH : Algebra -- Congresses
LCCN:	89021810
注記:	[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) Includes bibliographical references and indexes
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Algebraic methods in statistics and probability : AMS special session on Algebraic Methods in Statistics, April 8-9, 2000, University of Notre Dame, Notre Dame, … Viana, Marlos A. G., Richards, Donald St. P. American Mathematical Society	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 図書 Neonatal monitoring technologies : design for integrated solutions Chen, Wei, Oetomo, Sidarto Bambang, Feijs, L. M. G. (Loe M. G.) Medical Information Science Reference	8 図書 Algebra and coding theory : virtual conference in honor of Tariq Rizvi, Noncommutative rings and their Applications VII, July 5-7, 2021, Université d'Artois, … Noncommutative Rings and Their Applications (Conference), Conference on Quadratic Forms, Rings and Codes, Leroy, Andre … American Mathematical Society
3 図書 Algebra and number theory : proceedings of a conference held in Fez, Morocco Boulagouaz, M'hammed, Tignol, Jean-Pierre Marcel Dekker	9 図書 Second International Conference on Algebra International Conference on Algebra, Bokut, L. A. (Leonid A.), 1937-, Kostrikin, Alekseĭ Ivanovich, 1929-, Kutateladze, … American Mathematical Society
4 図書 Contributions in algebra and algebraic geometry : International Conference, Algebra, Discrete Mathematics and Applications, December 9-11, 2017, Dr. Babasaheb … International Conference on Algebra, Discrete Mathematics, and Applications, Dani, S. G., Jain, S. K. (Surender Kumar), … American Mathematical Society	10 電子ブック Operator Algebras, Operator Theory and Applications : 18th International Workshop on Operator Theory and Applications, Potchefstroom, July 2007 Grobler, J. J., Labuschagne, L. E., Moller, M., SpringerLink (Online service) Birkhauser Basel
5 図書 Representations of algebras : 17th Workshop and International Conference on Representation of Algebras, August 10-19, 2016, Syracuse University, Syracuse, New … Workshop and International Conference on Representations of Algebras, Leuschke, Graham J., 1973-, Bleher, Frauke, 1968-, … American Mathematical Society	11 図書 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964- Springer-Verlag
6 図書 Model theory of modules, algebras and categories : International Conference Model Theory of Modules, Algebras and Categories, July 28-August 2, 2017, Ettore … International Conference Model Theory of Modules, Algebras, and Categories, Facchini, Alberto, 1954-, Gregory, Lorna, … American Mathematical Society	12 図書 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on … TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software Springer