Partner

Partner | Springer

29 Treffer in 0.006 Sek.

1 - 10    
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
[Suche in der Publikation] [PDF-Download]
Specification and development of interactive systems : focus on streams, interfaces and refinement [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Stølen, Ketil |  Verlagsort: New York [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 2001 | 365 S.
Zeitschrift / Sammelband: Monographs in computer science
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
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
[Suche in der Publikation] [PDF-Download]
Zufälligkeit und Wahrscheinlichkeit : eine algorithmische Begründung der Wahrscheinlichkeitstheorie [Relevanz: 100%]
Autor / Herausgeber: Schnorr, Claus Peter |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 1971 | 218 S.
Zeitschrift / Sammelband: Lecture notes in mathematics; 218
Fachgebiet: Mathematik; Wirtschaftswissenschaften; Informatik
[Suche in der Publikation] [PDF-Download]
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
[Suche in der Publikation] [PDF-Download]
A subexponential bound for linear programming [Relevanz: 100%]
Autor / Herausgeber: Matousek, Jiri; Sarir, Mika; Welzl, Emo |  Verlagsort: New York |  Verlag: Springer |  Erscheinungsjahr: 1996 | 19 S.
Zeitschrift / Sammelband: Algorithmica; 16
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Numerical solution of 2- or 3-dimensional nonlinear field problems by means of the computer program PROFI [Relevanz: 100%]
Autor / Herausgeber: Müller, W.; Weiland, Thomas |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 1982 | 9 S.
Zeitschrift / Sammelband: Archiv für Elektrotechnik; 65
Fachgebiet: Physik; Informatik
[Suche in der Publikation] [PDF-Download]
Exact price of anarchy for polynomial congestion games [Relevanz: 100%]
Autor / Herausgeber: Aland, Sebastian; Monien, Burkhard |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 2006 | 12 S.
Zeitschrift / Sammelband: STACS 2006
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Polynomial time algorithms for finding integer relations among real numbers [Relevanz: 100%]
Autor / Herausgeber: Schnorr, Claus Peter |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 1986 | 14 S.
Zeitschrift / Sammelband: Stacs 86
Fachgebiet: Mathematik; Informatik
[Suche in der Publikation] [PDF-Download]
Smallest enclosing disks (balls and ellipsoids) [Relevanz: 100%]
Autor / Herausgeber: Welzl, Emo |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 1991 | 12 S.
Zeitschrift / Sammelband: New results and new trends in computer science
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
1 - 10    

Aktive Filter [Filter entfernen]

Suchergebnis einschränken