( en | de | ru )

 

Disambiguierung von "Fischer, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bildregistrierung zur Verbrennungsanalyse.

, , , und . Bildverarbeitung für die Medizin, Seite 159-163. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

 

Weitere Publikationen von Autoren mit dem selben Namen

Single-Focus Broadening Navigation in Concept Lattices., und . CDUD@CLA, Volume 1625 von CEUR Workshop Proceedings, Seite 32-43. CEUR-WS.org, (2016)Empirically Successful Automated Reasoning: Systems Issue., , und . J. Autom. Reason., 36 (4): 287 (2006)Beitrag zur Verbesserung der numerischen Magnetfeldberechnung durch einen grafikorientierten Preprozessor für das Multigridverfahren.. Technische Hochschule Karl-Marx-Stadt, Germany, (1988)Deduction-based software component retrieval.. University of Passau, Germany, (2002)Ein PASCAL-Compiler für das DIETZ-System 621x2., , , und . PASCAL, Volume 1 von Berichte des German Chapter of the ACM, Seite 84-94. Teubner, (1979)Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models., , , , und . SEFM, Volume 10469 von Lecture Notes in Computer Science, Seite 185-202. Springer, (2017)SETHEO Goes Software Engineering: Application of ATP to Software Reuse., und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 65-68. Springer, (1997)Free-Form Registration Using Mutual Information and Curvature Regularization., , , , , und . WBIR, Volume 2717 von Lecture Notes in Computer Science, Seite 11-20. Springer, (2003)Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking., , und . ICTAC, Volume 6255 von Lecture Notes in Computer Science, Seite 260-274. Springer, (2010)Breaking parsers: mutation-based generation of programs with guaranteed syntax errors., , und . SLE, Seite 83-87. ACM, (2019)