>> Google Books
所蔵情報QRコード

Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings / Teodor Rus (ed.)

資料種別:
図書
出版情報:
Berlin : Springer, c2000
形態:
xi, 544 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1816 <BA00009279>
著者名:
ISBN:
9783540675303 [3540675302]
書誌ID:
BA46589778
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings

International Conference on Algebraic Methodology and Software Technology, Haeberer, Armando Martín, 1947-

Springer
7 図書 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
2 図書 Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings

International Conference on Algebraic Methodology and Software Technology, Johnson, Michael, Vene, Varmo

Springer
8 図書 The 3rd ACM International Workshop on Traceability in Emerging Forms of Software Engineering : TEFSE 2005 : proceedings : 8 November 2005, Long Beach, …

ACM International Workshop on Traceability in Emerging Forms of Software Engineering, Maletic, Jonathan I. (Jonathan …

Association for Computing Machinery
3 図書 Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings

International Conference on Algebraic Methodology and Software Technology, Johnson, Michael

Springer-Verlag
9 図書 FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Kapoor, Sanjiv, 1959-, Prasad, …

Springer
4 図書 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

International Conference on Algebraic Methodology and Software Technology, Wirsing, M. (Martin), Nivat, Maurice

Springer
10 図書 Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 : proceedings

CBSE, Heineman, George T.

Springer
5 図書 Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw)

International Conference on Algebraic Methodology and Software Technology, Alagar, Vangalur S., 1940-, Nivat, Maurice

Springer-Verlag
11 図書 Product focused software process improvement : 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings

PROFES, Bomarius, Frank, Iida, Hajimu

Springer
6 図書 Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

International Conference on Algebraic Methodology and Software Technology, Rattray, Charles, Maharaj, Savitri, …

Springer
12 図書 5th International Workshop on Scenarios and State Machines : Models, Algorithms and Tools : SCESM '06 : held at the 28th International Conference on Software …

International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, International Conference on …

Association for Computing Machinery
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12