Temat: declarative programming

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ę "declarative programming" wg kryterium: Temat

Wyświetlanie 1-10 z 13

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Combining Static and Dynamic Contract Checking for Curry
Autorzy:: Hanus, Michael
Data publikacji:: 2020
Słowa kluczowe:: contracts
declarative programming
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: SAT as a Programming Environment for Linear Algebra
Autorzy:: Srebrny, M.
Stępień, L.
Data publikacji:: 2010
Słowa kluczowe:: satisfiability
linear algebra
orthogonal matrices
orthogonal groups
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: From arithmetic expressions to propositional formulae
Autorzy:: Stępień, L.
Stępień, M. R.
Data publikacji:: 2016
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From arithmetic expressions to propositional formulae
Autorzy:: Stępień, L.
Stępień, M. R.
Data publikacji:: 2016
Słowa kluczowe:: algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Wyrażanie kontekstu w przestrzeniach informacji
Autorzy:: Bartoszek, J.
Brzykcy, G.
Data publikacji:: 2005
Słowa kluczowe:: przestrzeń informacyjna
systemy informatyczne
programowanie deklaratywne
information space
IT systems
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Debugger for the reName language.
Debugger dla języka reName
Autorzy:: Kalita, Konrad
Słowa kluczowe:: name binding, debuggery, kompilatory, programowanie deklaratywne, analiza działania programu
name binding, debuggers, compilers, declarative programming, code analysis; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The Topological Structures of Membrane Computing
Autorzy:: Giavitto, J-L.
Michel, O.
Data publikacji:: 2002
Słowa kluczowe:: membrane computing
gamma
CHAM
P systems
L system
cellular automata
group based fields
rewriting
topological collection
declarative programming language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Słowa kluczowe:: język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Współczesne narzędzia informatyczne wspomagające modelowanie i symulacje procesów dynamicznych
Autorzy:: Molenda, K.
Dąbkowski, J.
Data publikacji:: 2002
Słowa kluczowe:: modelowanie komputerowe
symulacja komputerowa
język specyfikacji modelu
programowanie deklaratywne
środowisko modelowania wizualnego
procesy dynamiczne
dynamika systemów
computer modelling
computer simulation
language of model specification
declarative programming
visual software environment
dynamic processes
system dynamics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 13

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ę "declarative programming" wg kryterium: Temat