Suggested Topics within your search.
Search alternatives:
informatik » information (Expand Search)
Showing 1 - 18 results of 18 for search '"Informatik"', query time: 0.29s Refine Results
  1. 1
    REALISTIC CORRECT SYSTEMS IMPLEMENTATION
    by Goerigk, W.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
    by Goerigk, W., Langmaack, H.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
    by Goerigk, Wolfgang, Langmaack, Hans
    Published 2003
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    I/O benchmarking of data intensive applications
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Разработка и исследование эффективности метаэвристических алгоритмов решения задач планирования работы независимых машин
    Get full text
    Save to List
    Saved in:
  6. 6
    Defining and resolving Web-services discovery problems using description logics formalism
    by Zakharova, O.V.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Определение позиций изменения диктора в речевом сигнале
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Науково-методологічні засади інформатики як предметної галузі
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    The technique of using Description Logics in the process of constructing a composite service at the functional level
    by Zakharova, O.V.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Узагальнена модель негомогенного пуассонівського процесу для оцінювання надійності програмного забезпечення
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
    by Матвеева, Л.Е.
    Published 2004
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Опыт разработки семейства кластерных комплексов Инпарком
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Проблеми побудови сервіс-орієнтованих прикладних інформаційних систем в semantic web середовищі на основі агентного підходу
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    An Approach for Object-Component Model Engineering of Software Product Line
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Pseudo-Exponential-Type Solutions of Wave Equations Depending on Several Variables
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Delayed feedback makes neuronal firing statistics non-Markovian
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Orthogonal Rational Functions on the Unit Circle with Prescribed Poles not on the Unit Circle
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Rank 2 Nichols Algebras of Diagonal Type over Fields of Positive Characteristic
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search