4 hits in 0.006 sec.

Feature logic for dotted types : a formalism for complex word meanings [Score: 100%]
Author / Editor: Pinkal, Manfred; Kohlhase, Michael |  Place of publication: San Francisco |  Publisher: Morgan Kaufmann |  Year of Publication: 2000 | 8 s.
Journal / Series / Collection: 38th annual meeting of the Association for Computational Linguistics
Subject Area: Informatik; Allgemeine und vergleichende Sprach- und Literaturwissenschaft. Indogermanistik. Außereuropäische Sprachen und Literaturen
Computer architecture : complexity and correctness ; with 185 tables [Score: 100%]
Author / Editor: Müller, Silvia Melitta; Paul, Wolfgang J. |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2000 | 567 s.
Subject Area: Informatik
Stronger security proofs for RSA and rabin bits; 2 [Score: 100%]
Author / Editor: Fischlin, Roger; Schnorr, Claus Peter |  Place of publication: New York, NY |  Publisher: Springer |  Year of Publication: 2000 | 24 s.
Journal / Series / Collection: Journal of cryptology; 13
Subject Area: Informatik
Fast priority queues for cached memory; Art. 7 [Score: 100%]
Author / Editor: Sanders, Peter |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2000 | 25 s.
Journal / Series / Collection: Journal of experimental algorithmics; 5
Subject Area: Mathematik; Informatik