Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

20 139 (0,157s)

Výsledek výzkumu

Formal Methods for Higher Reliability of the Industrial Automation

JS - Řízení spolehlivosti a kvality, zkušebnictví

  • 2003
  • D
Výsledek výzkumu

Train Maintenence Routing

JC - Počítačový hardware a software

  • 2003
  • D
Výsledek výzkumu

"Words against words". "Entformeln" as a formal method? Kurt Schwitters' poetry and the formalist school

AL - Umění, architektura, kulturní dědictví

  • 2016
  • C
Výsledek výzkumu

Boris Eikhenbaum in Ukraine; Discussion Around the Article "The Theory of the 'Formal Method'" in the Journals "Chervonyi Sliakh" and "Krasnoie slovo"

Literary theory

  • 2019
  • Jimp
  • Odkaz
Výsledek výzkumu

Detecting, Modeling and Quantifying Differences in Terms Meaning, in BIM Environment

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018
  • D
  • Odkaz
Výsledek výzkumu

Process Mining Approach to Formal Business Process Modelling and Verification: A Case Study

Business and management

  • 2020
  • JSC
  • Odkaz
Výsledek výzkumu

FINDING ZEROS OF ANALYTIC FUNCTIONS AND LOCAL EIGENVALUE ANALYSIS USING CONTOUR INTEGRAL METHOD IN EXAMPLES

Applied mathematics

  • 2017
  • JSC
  • Odkaz
Výsledek výzkumu

Detecting, Modeling and Quantifying Differences in Terms Meaning, in BIM Environment

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2017
  • D
Výsledek výzkumu

A SYSTEMIC ACCESS TO A VALUE ASSESSMENT OF A MIDDLE-SIZE BUILDING ENTERPRISE

Civil engineering

  • 2017
  • Jost
  • 1 - 10 z 20 139