Filters
  • Collections
  • Group objects
  • File type
  • Content format

Search for: [Subject and Keywords = sterowanie] OR [Subject and Keywords = sterowanie\-teoria] OR [Subject and Keywords = sztuczna inteligencja] OR [Subject and Keywords = matematyka stosowana] OR [Subject and Keywords = informatyka] OR [Title = Towards automatic correctness verification of real\-time programs] OR [Creator = Szmuc, Tomasz Bartłomiej \(1948\- \)] OR [Creator = Szwed, Piotr]

Number of results: 401

items per page
AMCS, volume 1 (1991)

Szmuc, Tomasz Bartłomiej (1948- ) Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

1991
artykuł
AMCS, volume 8 (1998)

Elliott, Stephen J. Logemann, Hartmut - red. Townley, Stuart - red.

1998
artykuł
AMCS, volume 8 (1998)

Christofides, Panagiotis D. Daoutidis, Prodromos Skliar, Mikhail - red. Ramirez, W. Fred - red.

1998
artykuł
AMCS, volume 8 (1998)

Skliar, Mikhail Ramirez, W. Fred Skliar, Mikhail - red. Ramirez, W. Fred - red.

1998
artykuł
AMCS, volume 8 (1998)

Obuchowicz, Andrzej D'Souza, Kelwyn A. Banaszak, Zbigniew Logemann, Hartmut - red. Townley, Stuart - red.

1998
artykuł
AMCS, volume 8 (1998)

El Yacoubi, Samira El Jai, Abdelahaq Karrakchou, Jamila Logemann, Hartmut - red. Townley, Stuart - red.

1998
artykuł
AMCS, volume 8 (1998)

Yin, K. Karen Li, Xing Bonde, John Richards, Carl Cholwek, Gary Skliar, Mikhail - red. Ramirez, W. Fred - red.

1998
artykuł
AMCS, volume 7 (1997)

Armstrong, Brian McPherson, Joseph Li, Yonggang Kozłowski, Krzysztof - ed.

1997
artykuł
AMCS, volume 7 (1997)

Chiaverini, Stefano Siciliano, Bruno Villani, Luigi Kozłowski, Krzysztof - ed.

1997
artykuł
AMCS, volume 7 (1997)

Galicki, Mirosław Pająk, Grzegorz Pająk, Iwona Kozłowski, Krzysztof - ed.

1997
artykuł

This page uses 'cookies'. More information