6 Treffer in 0.007 Sek.
A descartes algorithm for polynomials with Bit-Stream coefficients
[Relevanz: 100%]
Autor / Herausgeber: Eigenwillig, Arno; Mehlhorn, Kurt | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 12 S.
Zeitschrift / Sammelband: Computer algebra in scientific computing
Fachgebiet: Informatik
Autor / Herausgeber: Eigenwillig, Arno; Mehlhorn, Kurt | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 12 S.
Zeitschrift / Sammelband: Computer algebra in scientific computing
Fachgebiet: Informatik
On the correctness of operating system kernels
[Relevanz: 100%]
Autor / Herausgeber: Gargano, Mauro; Paul, Wolfgang J. | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 16 S.
Zeitschrift / Sammelband: Theorem proving in higher order logics
Fachgebiet: Informatik
Autor / Herausgeber: Gargano, Mauro; Paul, Wolfgang J. | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 16 S.
Zeitschrift / Sammelband: Theorem proving in higher order logics
Fachgebiet: Informatik
A faster combinatorial approximation algorithm for scheduling unrelated parallel machines
[Relevanz: 100%]
Autor / Herausgeber: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 12 S.
Zeitschrift / Sammelband: Automata, languages and programming
Fachgebiet: Informatik
Autor / Herausgeber: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 12 S.
Zeitschrift / Sammelband: Automata, languages and programming
Fachgebiet: Informatik
Computational linguistic support for legal ontology construction
[Relevanz: 100%]
Autor / Herausgeber: Walter, Stephan; Pinkal, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2005 | 27 S.
Zeitschrift / Sammelband: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Fachgebiet: Informatik
Autor / Herausgeber: Walter, Stephan; Pinkal, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2005 | 27 S.
Zeitschrift / Sammelband: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Fachgebiet: Informatik
Selfish routing with incomplete information
[Relevanz: 100%]
Autor / Herausgeber: Gairing, Martin; Monien, Burkhard; Tiemann, Karsten | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2005 | 10 S.
Zeitschrift / Sammelband: SPAA 2005 : Seventeenth Annual ACM Symposium on parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
Fachgebiet: Informatik
Autor / Herausgeber: Gairing, Martin; Monien, Burkhard; Tiemann, Karsten | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2005 | 10 S.
Zeitschrift / Sammelband: SPAA 2005 : Seventeenth Annual ACM Symposium on parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
Fachgebiet: Informatik
Computational linguistic support for legal ontology construction
[Relevanz: 100%]
Autor / Herausgeber: Walter, Stephan; Pinkal, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2005 | 2 S.
Zeitschrift / Sammelband: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Fachgebiet: Informatik
Autor / Herausgeber: Walter, Stephan; Pinkal, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2005 | 2 S.
Zeitschrift / Sammelband: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Fachgebiet: Informatik