Partner

Partners | Springer

29 hits in 0.008 sec.

1 - 10    
A descartes algorithm for polynomials with Bit-Stream coefficients [Score: 100%]
Author / Editor: Eigenwillig, Arno; Mehlhorn, Kurt |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Computer algebra in scientific computing
Subject Area: Informatik
[Search within document] [PDF-Download]
Specification and development of interactive systems : focus on streams, interfaces and refinement [Score: 100%]
Author / Editor: Broy, Manfred; Stølen, Ketil |  Place of publication: New York [u.a.] |  Publisher: Springer |  Year of Publication: 2001 | 365 s.
Journal / Series / Collection: Monographs in computer science
Subject Area: Informatik
[Search within document] [PDF-Download]
On the correctness of operating system kernels [Score: 100%]
Author / Editor: Gargano, Mauro; Paul, Wolfgang J. |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2005 | 16 s.
Journal / Series / Collection: Theorem proving in higher order logics
Subject Area: Informatik
[Search within document] [PDF-Download]
Zufälligkeit und Wahrscheinlichkeit : eine algorithmische Begründung der Wahrscheinlichkeitstheorie [Score: 100%]
Author / Editor: Schnorr, Claus Peter |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 1971 | 218 s.
Journal / Series / Collection: Lecture notes in mathematics; 218
Subject Area: Mathematik; Wirtschaftswissenschaften; Informatik
[Search within document] [PDF-Download]
A faster combinatorial approximation algorithm for scheduling unrelated parallel machines [Score: 100%]
Author / Editor: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Automata, languages and programming
Subject Area: Informatik
[Search within document] [PDF-Download]
A subexponential bound for linear programming [Score: 100%]
Author / Editor: Matousek, Jiri; Sarir, Mika; Welzl, Emo |  Place of publication: New York |  Publisher: Springer |  Year of Publication: 1996 | 19 s.
Journal / Series / Collection: Algorithmica; 16
Subject Area: Informatik
[Search within document] [PDF-Download]
Numerical solution of 2- or 3-dimensional nonlinear field problems by means of the computer program PROFI [Score: 100%]
Author / Editor: Müller, W.; Weiland, Thomas |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 1982 | 9 s.
Journal / Series / Collection: Archiv für Elektrotechnik; 65
Subject Area: Physik; Informatik
[Search within document] [PDF-Download]
Exact price of anarchy for polynomial congestion games [Score: 100%]
Author / Editor: Aland, Sebastian; Monien, Burkhard |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2006 | 12 s.
Journal / Series / Collection: STACS 2006
Subject Area: Informatik
[Search within document] [PDF-Download]
Polynomial time algorithms for finding integer relations among real numbers [Score: 100%]
Author / Editor: Schnorr, Claus Peter |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 1986 | 14 s.
Journal / Series / Collection: Stacs 86
Subject Area: Mathematik; Informatik
[Search within document] [PDF-Download]
Smallest enclosing disks (balls and ellipsoids) [Score: 100%]
Author / Editor: Welzl, Emo |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 1991 | 12 s.
Journal / Series / Collection: New results and new trends in computer science
Subject Area: Informatik
[Search within document] [PDF-Download]
1 - 10    

Active filters [Remove filter]

Drill down result