Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • Format treści
  • Autor
  • Współtwórca
  • Tytuł
  • Temat i słowa kluczowe
  • Data wydania
  • Typ zasobu
  • Jezyk
  • Prawa do dysponowania publikacją

Szukana fraza: [Temat i słowa kluczowe = sterowanie] lub [Temat i słowa kluczowe = sterowanie\-teoria] lub [Temat i słowa kluczowe = sztuczna inteligencja] lub [Temat i słowa kluczowe = matematyka stosowana] lub [Temat i słowa kluczowe = informatyka] lub [Tytuł = Towards automatic correctness verification of real\-time programs] lub [Autor = Szmuc, Tomasz Bartłomiej \(1948\- \)] lub [Autor = Szwed, Piotr]

Wyników: 457

AMCS, volume 31 (2021)

Pięta, Piotr Szmuc, Tomasz Bartłomiej (1948- ) Kusy, Maciej - ed. Scherer, Rafał - ed. Krzyżak, Adam - ed.

2021
artykuł
Systemy pomiarowe w badaniach'20

Michta, Emil Piotrowski, Krzysztof Powroźnik, Piotr Rybski, Ryszard Szulim, Robert Kołodziejczyk, Urszula Kostecki, Jakub

2020
rozdział w książce

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji