Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • 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 = Balanced Pattern Specification Language \(BPSL\)] lub [Temat i słowa kluczowe = First\-Order Logic \(FOL\)] lub [Temat i słowa kluczowe = Temporal Logic of Actions \(TLA\)] lub [Temat i słowa kluczowe = substitution] lub [Temat i słowa kluczowe = addition] lub [Temat i słowa kluczowe = elimination] lub [Tytuł = Modeling of distributed objects computing design pattern combinations using a formal specification language] lub [Autor = Taibi, Toufik] lub [Autor = Ngo, David Chek Ling]

Wyników: 6

obiektów na stronie
AMCS, volume 11 (2001)

Ngo, David Chek Ling Byrne, John G. Korbicz, Józef - red. Uciński, Dariusz - red.

2001
artykuł
AMCS, volume 10 (2000)

Ngo, David Chek Ling Teo, Lian Seng Byrne, John G. Korbicz, Józef - red. Uciński, Dariusz - red.

2000
artykuł
CEER, nr 32, vol. 2 (2022)

Ramdane, Rihab Kherraf, Leila Abdelouahed, Assia Belachia, Mouloud Kuczyński, Tadeusz - red.

2022
artykuł
CEER, nr 30, vol. 1 (2020)

Bebhalilou, Mohamed Ichem Belachia, Mouloud Houari, Hacene Abdelouahed, Assia Kuczyński, Tadeusz - red.

2020
artykuł
CEER, nr 29, vol. 4 (2019)

Rihla, Chaher Hebhoub, Houria Djebien, Rachid Abdelouahed, Assia Kuczyński, Tadeusz - red.

2019
artykuł

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