>> Amazon.co.jp
このページのQRコード

SDL 2001 : meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001 : proceedings

種類:
図書
責任表示:
Rick Reed, Jeanne Reed (eds.)
出版情報:
Berlin : Springer, c2001
著者名:
シリーズ名:
Lecture notes in computer science ; 2078 <BA00009279>
ISBN:
9783540422815 [3540422811]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

DIKU International Summer School on Partial Evaluation, Hatcliff, John, Mogensen, Torben Æ, Thiemann, P. (Peter), 1964-

Springer
7 図書 Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer
2 図書 Integer programming and combinatorial optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Balas, Egon, Clausen, Jens, 1950-

Springer-Verlag
8 図書 Biomechanics VI : proceedings of the Sixth International Congress of Biomechanics, Copenhagen, Denmark

International Congress of Biomechanics, Asmussen, Erling, 1907-, Jørgensen, Kurt, 1937-

University Park Press
3 電子ブック Integer Programming and Combinatorial Optimization : 4th International IPCO Conference Copenhagen, Denmark, May 29–31, 1995 Proceedings

Balas, Egon, Clausen, Jens, SpringerLink (Online service)

Springer-Verlag
9 図書 Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

International Symposium on the Semantics of Data Types, Kahn, G., MacQueen, D. B. (David B.), 1946-, Plotkin, G. &hellip;

Springer-Verlag
4 電子ブック Integer Programming and Combinatorial Optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings

Balas, Egon., Clausen, Jens., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Kahn, Gilles, MacQueen, David B., Plotkin, Gordon, SpringerLink (Online service)

Springer-Verlag
5 図書 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

CAV (Conference), Brinksma, Ed, Larsen, K. G. (Kim G.), 1957-

Springer
11 電子ブック Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

Kahn, G., MacQueen, D.B., Plotkin, G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 New approaches to research on cereal carbohydrates : proceedings of the International Conference on New Approaches to Research on Cereal Carbohydrates, …

International Conference on New Approaches to Research on Cereal Carbohydrates, Hill, Robert D., 1937-, Munck, Lars

Elsevier
12 電子ブック Molecules in the Stellar Environment : Proceedings of IAU Colloquium No. 146 Held at Copenhagen, Denmark, May 24–29, 1993

Jorgensen, Uffe G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer