>> Google Books

Algebraic Methodology and Software Technology / International Conference on Algebraic Methodology and Software Technology, Hélène Kirchner, Christophe Ringeissen

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2002
著者名:
ISBN:
9783540441441 [3540441441]
9783540457190 [3540457194]
書誌ID:
OB00486852
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 図書 Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : …

International Conference on Algebraic Methodology and Software Technology, Kirchner, Hélène, Ringeissen, Christophe, …

Springer
7 電子ブック Trees in Algebra and Programming — CAAP '96

CAAP '96, Kirchner, Hélène

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings

International Workshop on Frontiers of Combining Systems, Kirchner, Hélène, Ringeissen, Christophe, 1967-

Springer-Verlag
8 図書 Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings

Colloquium on Trees in Algebra and Programming, Kirchner, Hélène

Springer
3 電子ブック Frontiers of Combining Systems

FroCoS 2000, Kirchner, Hélène, Ringeissen, Christophe

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk)

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer
4 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us)

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag
10 電子ブック Algebraic and Logic Programming

Kirchner, Kirchner, Hélène, Wechler, Wolfgang, Centre national de la recherche scientifique (France)

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings (: gw ; : us)

International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940-

Springer-Verlag
11 電子ブック Algebraic Methodology and Software Technology

Johnson, Michael, Kanade, Takeo, Pavlovic, Dusko

Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Algebraic and Logic Programming

Kirchner, Kirchner, Hélène, Levi, Giorgio

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Algebraic Methodology and Software Technology

Meseguer, Jos??, Kanade, Takeo, Ro?�u, Grigore

Springer eBooks Computer Science, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12