92 Treffer in 0.007 Sek.
Pervasive verification of distributed real-time systems
[Relevanz: 100%]
Autor / Herausgeber: Knapp, Steffen; Paul, Wolfgang J. | Verlagsort: Amsterdam [u.a.] | Verlag: IOS Press | Erscheinungsjahr: 2007 | 59 S.
Zeitschrift / Sammelband: Software system reliability and security
Fachgebiet: Informatik
Autor / Herausgeber: Knapp, Steffen; Paul, Wolfgang J. | Verlagsort: Amsterdam [u.a.] | Verlag: IOS Press | Erscheinungsjahr: 2007 | 59 S.
Zeitschrift / Sammelband: Software system reliability and security
Fachgebiet: Informatik
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
Ginzburg-Landau phase transition theory and superconductivity
[Relevanz: 100%]
Autor / Herausgeber: Hoffmann, Karl-Heinz; Tang, Qi | Verlagsort: Basel [u.a.] | Verlag: Birkhäuser | Erscheinungsjahr: 2001 | 394 S.
Zeitschrift / Sammelband: International series of numerical mathematics; 134
Fachgebiet: Physik; Informatik; Mathematik
Autor / Herausgeber: Hoffmann, Karl-Heinz; Tang, Qi | Verlagsort: Basel [u.a.] | Verlag: Birkhäuser | Erscheinungsjahr: 2001 | 394 S.
Zeitschrift / Sammelband: International series of numerical mathematics; 134
Fachgebiet: Physik; Informatik; Mathematik
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
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
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
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
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
Arkadenfadendarstellung von Knoten und eine neue Darstellung der Knotengruppe
[Relevanz: 100%]
Autor / Herausgeber: Hotz, Günter | Verlagsort: Göttingen | Verlag: Vandenhoeck & Ruprecht | Erscheinungsjahr: 1960 | 17 S.
Zeitschrift / Sammelband: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg; 24
Fachgebiet: Mathematik; Informatik
Autor / Herausgeber: Hotz, Günter | Verlagsort: Göttingen | Verlag: Vandenhoeck & Ruprecht | Erscheinungsjahr: 1960 | 17 S.
Zeitschrift / Sammelband: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg; 24
Fachgebiet: Mathematik; 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
Convex quadrilaterals and k-sets
[Relevanz: 100%]
Autor / Herausgeber: Lovász, László; Welzl, Emo | Verlagsort: Providence, RI | Verlag: American Mathematical Society | Erscheinungsjahr: 2004 | 10 S.
Zeitschrift / Sammelband: Towards a theory of geometric graphs
Fachgebiet: Mathematik; Informatik
Autor / Herausgeber: Lovász, László; Welzl, Emo | Verlagsort: Providence, RI | Verlag: American Mathematical Society | Erscheinungsjahr: 2004 | 10 S.
Zeitschrift / Sammelband: Towards a theory of geometric graphs
Fachgebiet: Mathematik; Informatik
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
Autor / Herausgeber: Matousek, Jiri; Sarir, Mika; Welzl, Emo | Verlagsort: New York | Verlag: Springer | Erscheinungsjahr: 1996 | 19 S.
Zeitschrift / Sammelband: Algorithmica; 16
Fachgebiet: Informatik