Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 858 obiektów cyfrowych
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: 465
Golub, Kristina Kuczyński, Tadeusz - red.
Saad, Mohamed Ali Stankiewicz, Janina - red. nacz. Preston, Peter- red. jęz. Zmyślony, Roman - red. statyst. Skalik, Jan - red. Moczulska, Marta - red. Adamczyk, Janusz- red.
Jacewicz, Przemysław
Pastruch, Magdalena Hawrysz, Magdalena - red. nauk. Uździcka, Marzanna - red. nauk.
Kowal, Marek
Andrzejewski, Grzegorz
Markowski, Adam
Bukowiec, Arkadiusz
Feldshtein, Eugene Leksycki, Kamil
