Университет по архитектура, строителство и геодезия
Библиотека - lib1@uacg.bg

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерени са 212 резултата.
Rechnerunterstutzung formaler Beweissprachen
ЦБ Пр II 160
Каталог "Книги" | Книги
Rechnerunterstutzung formaler Beweissprachen
Monogr. (1995)
Matthias Anlauff

Lean Resource Management in ATM-Based Integrated Networks
ЦБ Пр II 160
Каталог "Книги" | Книги
Lean Resource Management in ATM-Based Integrated Networks
Monogr. (1995)
Mihai Mateescu

User Interface Evaluation and Desine.Research Results of the Projects Evalution of Dialogue Systems (EVADIS) and User Interface Desine Assistance (IDA)
ЦБ Пр II 160
Каталог "Книги" | Книги
User Interface Evaluation and Desine.Research Results of the Projects Evalution of Dialogue Systems (EVADIS) and User Interface Desine Assistance (IDA)
Monogr. (1994)
Harald Reiterer

Design Automation for Embedded Systems
ЦБ Пр II 160
Каталог "Книги" | Книги
Design Automation for Embedded Systems
Monogr. (1995)
Paul Stravers; Patrick Groeneveld

Declarative Development of Interactive Systems
ЦБ Пр II 160
Каталог "Книги" | Книги
Declarative Development of Interactive Systems
Monogr. (1995)
T. C. Nicholas Graham

Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of their QoS Characteristics
ЦБ Пр II 160
Каталог "Книги" | Книги
Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of their QoS Characteristics
Monogr. (1995)
Ina Kathrin SCHIEFERDECKER

Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen fur Parallelrechner mit verteiltem Speicher
ЦБ Пр II 160
Каталог "Книги" | Книги
Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen fur Parallelrechner mit verteiltem Speicher
Monogr (1994)
Max Lemke

Partitionierung und Analyse statischer, digitaler CMOS - Schaltungen auf der Schalterebene zur Vorbereitung einer Mixed - Level Testgenerierung
ЦБ Пр II 160
Каталог "Книги" | Книги
Partitionierung und Analyse statischer, digitaler CMOS - Schaltungen auf der Schalterebene zur Vorbereitung einer Mixed - Level Testgenerierung
Monogr. (1994)
Uwe Hudner

Flux - Splitting - Methoden und Mehrgitterverfahren fur hyperbolische Systeme mit Beispielen aus der Stromungsmechanik
ЦБ Пр II 160
Каталог "Книги" | Книги
Flux - Splitting - Methoden und Mehrgitterverfahren fur hyperbolische Systeme mit Beispielen aus der Stromungsmechanik
Monogr. (1993)
Claudia Frohn-Schauf

Diskretisierungen und Mehrgitteralgorithmen zur Losung hyperbolischer Differentialgleichungen, am Beispiel der Wellengleichung, der Advektionsgleichung und der verallgemeinerten Stokes - Gleichungen
ЦБ Пр II 160
Каталог "Книги" | Книги
Diskretisierungen und Mehrgitteralgorithmen zur Losung hyperbolischer Differentialgleichungen, am Beispiel der Wellengleichung, der Advektionsgleichung und der verallgemeinerten Stokes - Gleichungen
Monogr. (1992)
Yvonne LUH; Y. Luh

Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX
ЦБ Пр II 160
Каталог "Книги" | Книги
Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX
Monogr. (1995)
Wolfgang LUX

Codeselektion mit regular gesteuerter Termersetzung
ЦБ Пр II 160
Каталог "Книги" | Книги
Codeselektion mit regular gesteuerter Termersetzung
Monogr. (1994)
Helnut EMMELMANN; H. Emelmann

Mehrebenen - Testgenerierung fur synchrone Schaltwerke
ЦБ Пр II 160
Каталог "Книги" | Книги
Mehrebenen - Testgenerierung fur synchrone Schaltwerke
Monogr. (1994)
Uwe Gaser

Hierarchische Mehr - Ebenen - Fehler - simulation mit Modellen der Schalter - Ebene
ЦБ Пр II 160
Каталог "Книги" | Книги
Hierarchische Mehr - Ebenen - Fehler - simulation mit Modellen der Schalter - Ebene
Monogr. (1994)
Wolfgang Meyer

Stochastic Modeling using DSPNexpress
ЦБ Пр II 160
Каталог "Книги" | Книги
Stochastic Modeling using DSPNexpress
Monogr. (1994)
Christoph Lindemann

Duale Objekte. Ein Modell zur objektorientierten Konstruktion von Programmfamilien fur massiv parallele Systeme
ЦБ Пр II 160
Каталог "Книги" | Книги
Duale Objekte. Ein Modell zur objektorientierten Konstruktion von Programmfamilien fur massiv parallele Systeme
Monogr. (1994)
Jorg Noite

Unterstutzung applikationsspezifischer Anforderungen durch Reflexion uber der Infrastruktur in objektorientierten Betriebssystemen
ЦБ Пр II 160
Каталог "Книги" | Книги
Unterstutzung applikationsspezifischer Anforderungen durch Reflexion uber der Infrastruktur in objektorientierten Betriebssystemen
Monogr. (1994)
Susann Sonntag

Fixpoint Transformations and Parallel Asynchronous Iterative Algorithms
ЦБ Пр II 160
Каталог "Книги" | Книги
Fixpoint Transformations and Parallel Asynchronous Iterative Algorithms
Monogr. (1994)
Jiawang Wei

Aktionsunterstutzung fur verteilte, kooperative Anwendungen - Konzept und Realisierung
ЦБ Пр II 160
Каталог "Книги" | Книги
Aktionsunterstutzung fur verteilte, kooperative Anwendungen - Konzept und Realisierung
Monogr. (1995)
Michael MOCK; M. Mock

Maschinelle Assistenz bei der Korrektur von Zeichnungen
ЦБ Пр II 160
Каталог "Книги" | Книги
Maschinelle Assistenz bei der Korrektur von Zeichnungen
Monogr. (1994)
Dieter Bolz