>> Google Books
タイトル、所在を表示します

Types in compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers

フォーマット:
図書
責任表示:
Robert Harper (ed.)
言語:
英語
出版情報:
Berlin : Springer, c2001
形態:
206 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 2071 <BA00009279>
書誌ID:
BA52461484
ISBN:
9783540421962 [3540421963]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings

TIC, Leroy, Xavier, 1968-, 大堀, 淳(1957-)

Springer
7 図書 Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings

International Workshop on Compiler Construction, Hammer, Dieter, 1938-

Springer-Verlag
2 図書 Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Cunningham, William H., McCormick, S. Thomas, &hellip;

Springer
8 図書 Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October …

International Workshop on Formal Approaches to Testing of Software, Petrenko, Alexandre, Ulrich, Andreas

Springer
3 図書 Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Bixby, Robert E., Boyd, E. Andrew, Ríos-Mercado, &hellip;

Springer
9 図書 Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings

CCHSC Workshop, Hammer, Dieter

Springer-Verlag
4 図書 Integer programming and combinatorial optimization : 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Aardal, K. (Karen), Gerards, A. M. H.

Springer
10 図書 Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

International Workshop on Formal Approaches to Testing of Software, Grabowski, Jens, Nielsen, Brian

Springer
5 図書 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
11 図書 Combinatorial algorithms : 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers

International Workshop on Combinatorial Algorithms, Iliopoulos, Costas S., Smyth, William F.

Springer
6 図書 Integer programming and combinatorial optimization : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Bienstock, Daniel, Nemhause, George

Springer
12 図書 Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions

AOSE, Wooldridge, Michael J., 1966-, Weiss, Gerhard, 1962-, Ciancarini, Paolo, 1959-

Springer