CLU reference manual /

出版事項 1981

Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings /

出版事項 1981

P-adic analysis : a short course on recent work /

著者: Koblitz, Neal, 1948-
出版事項 1980

A calculus of communicating systems /

著者: Milner, R. (Robin), 1934-
出版事項 1980

Context-free grammars : covers, normal forms, and parsing /

著者: Nijholt, Anton, 1946-
出版事項 1980

The adaptation of virtual man-computer interfaces to user requirements in dialogs /

著者: Dehning, Waltraud, 1952-
出版事項 1981

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /

出版事項 1981

CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981 : proceedings /

出版事項 1981

A revision of the Australian genera Austroaeschna Selys and Notoaeschna Tillyard : (Odonata : Aeshnidae : Brachytroninae) /

著者: Theischinger, G.
出版事項 1982

A revision of the Australian Chrysopidae : (Insecta : Neuroptera) /

著者: New, T. R.
出版事項 1980

A revision of the Australian chafers : (Coleoptera: Scarabaeidae : Melolonthinae) Vol. 3. Tribe Liparetrini : Genus Liparetrus /

著者: Britton, E. B.
出版事項 1980

Cumulative subject index [to] volumes XXXI, XXXII, XXXIV-LX [of Methods in enzymology] /

出版事項 1982

A new diplurid genus from eastern Australia and a related Aname species : (Diplurinae : Dipluridae : Araneae) /

著者: Raven, Robert J.
出版事項 1984

Oxygen radicals in biological systems /

出版事項 1984

Posttranslational modifications /

出版事項 1984

Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 /

出版事項 1982

Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /

出版事項 1982

Commutative algebra : Durham 1981 /

出版事項 1982

The genus Cryptotermes in Australia (Isoptera : Kalotermitidae) /

著者: Gay, F. J. (Francis Joseph), 1910-
出版事項 1982

La Rivista del Nuovo cimento /

出版事項 1969