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

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>
著者名:
ISBN:
9783540421962 [3540421963]
書誌ID:
BA52461484
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings

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

Springer
7 電子ブック Types in Compilation

TIC 2000, Harper, Robert William

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
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, …

Springer
8 図書 Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings (: gw ; : us)

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

Springer-Verlag
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, …

Springer
9 図書 Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers

Combinatorics and Computer Science, Deza, M., 1934-, Euler, Reinhardt, 1950-, Manoussakis, Ioannis, 1957-

Springer
4 図書 Integer programming and combinatorial optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995 : proceedings (: us ; : gw)

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

Springer-Verlag
10 図書 Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings (: gw ; : us)

CCHSC Workshop, Hammer, Dieter

Springer-Verlag
5 図書 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
11 電子ブック Reproducible Research in Pattern Recognition : Fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022, Revised Selected Papers

Kerautret, Bertrand., Colom, Miguel, Krähenbühl, Adrien, Lopresti, Daniel, Monasse, Pascal, Perret, Benjamin

SpringerLink Books - AutoHoldings, 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 図書 Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

International Workshop on TYPES, Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12