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
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
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
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
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