Библиотека на Университет по архитектура, строителство и геодезия

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

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

Търсене в

Подредба

Намерени са 10 резултата

Разширено търсене

Класификационен индекс да съдържа 51(05)
Rechnerunterstutzung formaler Beweissprachen
ЦБ Пр II 160
Каталог "Книги" | Книги
Rechnerunterstutzung formaler Beweissprachen
Monogr. (1995)
Matthias Anlauff
Declarative Development of Interactive Systems
ЦБ Пр II 160
Каталог "Книги" | Книги
Declarative Development of Interactive Systems
Monogr. (1995)
T. 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 SCHIEFERDECKER
Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX
ЦБ Пр II 160
Каталог "Книги" | Книги
Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX
Monogr. (1995)
Wolfgang LUX
Aktionsunterstutzung fur verteilte, kooperative Anwendungen - Konzept und Realisierung
ЦБ Пр II 160
Каталог "Книги" | Книги
Aktionsunterstutzung fur verteilte, kooperative Anwendungen - Konzept und Realisierung
Monogr. (1995)
Michael MOCK; M. Mock
Codeselektion mit regular gesteuerter Termersetzung
ЦБ Пр II 160
Каталог "Книги" | Книги
Codeselektion mit regular gesteuerter Termersetzung
Monogr. (1994)
Helnut EMMELMANN; H. Emelmann
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
Математика, механика и вопросы управления
ПРII206
Каталог "Книги" | Книги
Математика, механика и вопросы управления
Сборник статей (1987)
Отв. ред. И. Е. Тарапов
Математика, механика
ПРII206
Каталог "Книги" | Книги
Математика, механика
Сборник статей (1986)
Отв. ред. Тарапов И. Е.
Внутризаводское, региональное и отрасловое планирование и управление
ПРI38
Каталог "Книги" | Книги
Внутризаводское, региональное и отрасловое планирование и управление
Межвуз. сборник : Вып. 1- (1986)