4 Treffer in 0.01 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
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
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
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
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