Treffer 1 – 12 von 12 für Suche 'Konikowska, Beata', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Reasoning with nondeterministic specifications

    Reasoning with nondeterministic specifications von Białasik, Marcin, Konikowska, Beata

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A three-valued logic for software specification and validation

    A three-valued logic for software specification and validation von Konikowska, Beata, Tarlecki, Andrzej, Blikle, Andrzej 1939-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proof systems for logics based on non-deterministic multiple-valued structures

    Proof systems for logics based on non-deterministic multiple-valued structures von Avron, Arnon, Konikowska, Beata

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Rasiowa-Sikorski deduction systems in computer science applications

    Rasiowa-Sikorski deduction systems in computer science applications von Konikowska, Beata

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Reasoning with first-order nondeterministic specifications

    Reasoning with first-order nondeterministic specifications von Białasik, Marcin, Konikowska, Beata

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Information systems: on queries containing k-ary descriptors

    Information systems: on queries containing k-ary descriptors von Konikowska, Beata

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A query language with conditions of equality and inequality type

    A query language with conditions of equality and inequality type von Konikowska, Beata

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A theory of information systems

    A theory of information systems von Konikowska, Beata, Me̜żyńska, Ewa, Sendova, Evgenija

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Constrained continuous information systems

    Constrained continuous information systems von Konikowska, Beata

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A note on inverted files for binary attributes

    A note on inverted files for binary attributes von Konikowska, Beata, Lipski, Witold

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Continuous information systems

    Continuous information systems von Konikowska, Beata

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Maszyny liczące o czasie ciągłym

    Maszyny liczące o czasie ciągłym von Konikowska, Beata

    Veröffentlicht 1973
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: