92 hits in 0.006 sec.
Pervasive verification of distributed real-time systems
[Score: 100%]
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. | Place of publication: Amsterdam [u.a.] | Publisher: IOS Press | Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. | Place of publication: Amsterdam [u.a.] | Publisher: IOS Press | Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
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
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
Ginzburg-Landau phase transition theory and superconductivity
[Score: 100%]
Author / Editor: Hoffmann, Karl-Heinz; Tang, Qi | Place of publication: Basel [u.a.] | Publisher: Birkhäuser | Year of Publication: 2001 | 394 s.
Journal / Series / Collection: International series of numerical mathematics; 134
Subject Area: Physik; Informatik; Mathematik
Author / Editor: Hoffmann, Karl-Heinz; Tang, Qi | Place of publication: Basel [u.a.] | Publisher: Birkhäuser | Year of Publication: 2001 | 394 s.
Journal / Series / Collection: International series of numerical mathematics; 134
Subject Area: Physik; Informatik; Mathematik
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
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
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
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
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
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
Arkadenfadendarstellung von Knoten und eine neue Darstellung der Knotengruppe
[Score: 100%]
Author / Editor: Hotz, Günter | Place of publication: Göttingen | Publisher: Vandenhoeck & Ruprecht | Year of Publication: 1960 | 17 s.
Journal / Series / Collection: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg; 24
Subject Area: Mathematik; Informatik
Author / Editor: Hotz, Günter | Place of publication: Göttingen | Publisher: Vandenhoeck & Ruprecht | Year of Publication: 1960 | 17 s.
Journal / Series / Collection: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg; 24
Subject Area: Mathematik; Informatik
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
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
Convex quadrilaterals and k-sets
[Score: 100%]
Author / Editor: Lovász, László; Welzl, Emo | Place of publication: Providence, RI | Publisher: American Mathematical Society | Year of Publication: 2004 | 10 s.
Journal / Series / Collection: Towards a theory of geometric graphs
Subject Area: Mathematik; Informatik
Author / Editor: Lovász, László; Welzl, Emo | Place of publication: Providence, RI | Publisher: American Mathematical Society | Year of Publication: 2004 | 10 s.
Journal / Series / Collection: Towards a theory of geometric graphs
Subject Area: Mathematik; Informatik
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
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