Branimir Lambov - Wissenschaftliche Veröffentlichungen

(1 - 6 von 7

)

dblp: Branimir Lambov

dblp2.uni-trier.de

List of computer science publications by Branimir Lambov

dblp: Branimir Lambov

dblp.org

Branimir Lambov: Interval Arithmetic Using SSE-2. Reliable Implementation of Real Number Algorithms 2008:

dblp: Mathematical Structures in Computer Science, Volume 17

dblp.uni-trier.de

Bibliographic content of Mathematical Structures in Computer Science, Volume 17

dblp: Reliable Implementation of Real Number Algorithms

dblp.uni-trier.de

Bibliographic content of Reliable Implementation of Real Number Algorithms

Personenliste – Fachbereich Mathematik Arbeitsgruppe Logik ...

www.mathematik.tu-darmstadt.de

Prof. Dr. Thomas Ihringer (†) Dr. Steffen Jost Prof. Achim Jung Dr. Tim Kaiser Dr. Alexander Kartzow Mathias Kegelmann, PhD Prof. Dr. Klaus Keimel (†) Dr. Aqeel Ahmad Khan Dr. Julia Klinger Dr. Daniel Körnlein Dr. Angeliki Koutsoukou-Argyraki Dr. Alexander Kreuzer Dr. Branimir Lambov Dr. Stéphane Le Roux Dr. Ioana Leuştean Prof ...

kohlenb

www2.mathematik.tu-darmstadt.de

Ulrich Kohlenbach . Professor of Mathematics Research Group Logic ... Branimir Lambov (PhD 2006, Aarhus,Thesis) Eyvind Briseid (PhD 2009, TU Darmstadt,Thesis)

Verwandte Suchanfragen zu Branimir Lambov

Personen
Vorname "Branimir" (146)
Name "Lambov" (5)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Branimir Lambov

dblp: Branimir Lambov

dblp: Branimir Lambov

dblp: Mathematical Structures in Computer Science, Volume 17

dblp: Reliable Implementation of Real Number Algorithms

Personenliste – Fachbereich Mathematik Arbeitsgruppe Logik ...

kohlenb