机读格式显示(MARC)

• 000 01251cam 2200325 a 4500

• 001 0000590820

• 003 CAL

• 005 20061114073400.0

• 008 061114s2001 gw a b 101 0 eng

• 010 __ |a 98030696

• 020 __ |a 3540421963

• 040 __ |a DLC |c DLC |d SCT

• 050 00 |a QA76.76.C65 |b T52 1998

• 082 00 |a 005.4/53 |2 21

• 090 __ |a TP314/T991

• 093 __ |a TP314-532 |2 4

• 093 __ |a TP314 |2 4

• 099 __ |a CAL 022001410067 |a CAL 022001460408 |a CAL 022001419810

• 111 2_ |a TIC 2000 |d (2000 : |c Montreal, Canada)

• 245 10 |a Types in compilation : |b Third International Workshop, TIC 2000 : Montreal, Canada, September 21, 2000 : revised selected papers / |c Robert Harper (ed.).

• 246 30 |a TIC 2000

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a 206 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2071

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through Springer LINK.

• 650 _0 |a Compiling (Electronic computers) |v Congresses.

• 700 1_ |a Harper, Robert William, |d 1957-

• 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2071&issue=preprint |z Springer LINK version

• 950 __ |a JHUL |b TP314 |c T991