Wszystkie pola: abstract systems

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "abstract systems" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 25

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Small-gain theorem for a class of abstract parabolic systems
Autorzy:: Grabowski, P.
Data publikacji:: 2018
Słowa kluczowe:: control of infinite-dimensional systems semigroups
infinite-time LQ-control problem
Lur'e feedback systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Approximate constrained controllability of mechanical system
Autorzy:: Klamka, J.
Data publikacji:: 2005
Słowa kluczowe:: linear infinite-dimensional control systems
mechanical flexible structure vibratory systems
controllability of abstract dynamical systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
Autorzy:: Sadowski, Z.
Data publikacji:: 2007
Słowa kluczowe:: abstract propositional proof systems
automatizable proof systems
recursive presentability
disjoint NP-pairs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Satisfiability Calculus : An Abstract Formulation of Semantic Proof Systems
Autorzy:: Lopez Pombo, Carlos G.
Castro, Pablo F.
Aguirre, Nazareno M.
Maibaum, Thomas S. E.
Data publikacji:: 2019
Słowa kluczowe:: formal methods
institution theory
semantic proof systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: An Abstract Interpretation Framework for Type and Effect Systems
Autorzy:: Galletta, L.
Data publikacji:: 2014
Słowa kluczowe:: semantics
programming languages
software frameworks
computer programming
systems theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Verification of Concurrent Systems with Parametric Delays Using Octahedra
Autorzy:: Clarisó, R.
Cortadella, J.
Data publikacji:: 2007
Słowa kluczowe:: formal verification
abstract interpretation
parametric timed systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formal asynchronous systems modelling
Autorzy:: Kohn, M.
Schmeck, H.
Data publikacji:: 2000
Słowa kluczowe:: asynchronous systems
asynchronous computations
formal methods in systems modelling
abstract computations
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
Autorzy:: De Francesco, N.
Santone, A.
Tesei, L.
Data publikacji:: 2003
Słowa kluczowe:: model checking
abstract interpretation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Solving the abstract planning problem using genetic algorithms
Autorzy:: Skaruz, J.
Niewiadomski, A.
Penczek, W.
Data publikacji:: 2013
Słowa kluczowe:: abstract planning
genetic algorithms
web service composition; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formal Refinement Checking in a System-level Design Methodology
Autorzy:: Talpin, J.-P.
Le Guernic, P.
Shukla, S.K.
Doucet, F.
Gupta, R.
Data publikacji:: 2004
Słowa kluczowe:: embedded computer systems
abstract thought
intellectual property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 25

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "abstract systems" wg kryterium: Wszystkie pola