Partner

4 Treffer in 0.005 Sek.

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