Komplexitätstheoretische Untersuchungen verschiedener Analyse- und Syntheseprobleme für eingeschränkte Branching-Programm-Modelle von Gergov, Jordan

Combinational logic verification with FBDDs von Gergov, Jordan

Mod-2-OBDD's a generalization of OBDD's and EXOR-sum-of-products von Gergov, Jordan, Meinel, Christoph

Efficient Boolean manipulation with OBDD's can be extended to FBDD's von Gergov, Jordan, Meinel, Christoph

Efficient Boolean manipulation with OBDD's can be extended to FBDD's von Gergov, Jordan

Analysis and manipulation of Boolean functions in terms of decision graphs von Gergov, Jordan, Meinel, Christoph

Mod-2-OBDD's a generalization of OBDD's and EXOR sum of products von Gergov, Jordan

Efficient analysis and manipulation of OBDDs can be extended to read-once-only branching programs von Gergov, Jordan, Meinel, Christoph

Algorithms and computations 6th international symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995 ; proceedings

Inhaltsverzeichnis

Prae: in honorem Henrieta Todorova

Inhaltsverzeichnis

Druga Wielka Emigracja 1945 - 1990 słownik biograficzny von Danel, Jacek Krzysztof

Register // Personenregister

Slavjanski i grăcki răkopisi v Regionalen istoričeski muzej - Loveč = Slavonic and Greek manuscripts in the Regional Historical Museum - Lovech

Славянски и гръцки ръкописи в Регионален исторически музей - Ловеч

von Christova, Borjana 1952-

Inhaltsverzeichnis
Inhaltsverzeichnis
Register // Personenregister
Register // Ortsregister