Wszystkie pola: declarative programming

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
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: 4.

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: 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ł:: Designing a hybrid declarative-imperative programming language
Budowa hybrydowego deklaratywno-imperatywnego języka programowania
Autorzy:: Poleski, Maciej
Słowa kluczowe:: kompilator, język deklaratywny, język imperatywny, prolog
compiler, declarative language, imperative language, prolog; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

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: 9.

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: 10.

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: 11.

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

Skocz do pozycji: 12.

Tytuł:: Zastosowanie konstrukcji deklaratywnych do rozpraszania i optymalizacji przetwarzania danych
Autorzy:: Dąbkiewicz, M.
Koszela, J.
Data publikacji:: 2012
Słowa kluczowe:: język programowania
rozproszenie przetwarzania
optymalizacja przetwarzania
programming language
distributing of data processing
optimizing of data processing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Autorzy:: Montali, M.
Torroni, P.
Chesani, F.
Mello, P.
Alberti, M.
Lamma, E.
Data publikacji:: 2010
Słowa kluczowe:: static verification
business process management
declarative business process modeling
Abductive Logic Programming (ALP)
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Implementation of declarative framework for decision support system in scheduling problems
Autorzy:: Sitek, P.
Wikarek, J.
Data publikacji:: 2007
Słowa kluczowe:: constraint programming
decision support
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Implementation of declarative framework for decision support system in scheduling problems
Autorzy:: Sitek, P.
Wikarek, J.
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: constraint programming
decision support
scheduling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Scheduling for Multi-modal Cyclic Transport Systems
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2012
Słowa kluczowe:: harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Scheduling for Multi-modal Cyclic Transport Systems
Harmonogramowanie multimodalnych cyklicznych systemów transportowych
Autorzy:: Bocewicz, G.
Banaszak, Z.
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Deklaratywny model wielorobotowego systemu inspekcji pomieszczeń zamkniętych
Autorzy:: Bocewicz, G.
Muszyński, W.
Banaszak, Z.
Data publikacji:: 2011
Słowa kluczowe:: wieloobrotowe systemy inspekcyjne
roboty mobilne
model deklaratywny
ruchome przeszkody
multi mobile robot system
indoor inspection
constraints programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Integracja problemów doboru, alokacji i planowania działań zespołu mobilnych robotów inspekcyjnych: model deklaratywny
Autorzy:: Bocewicz, G.
Bzdyra, K.
Banaszak, Z.
Data publikacji:: 2011
Słowa kluczowe:: system robotów mobilnych
inspekcja pomieszczeń
programowanie z graniczeniami
multi mobile robot system
indoor inspection
constraints programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Integracja problemów doboru, alokacji i planowania działań zespołu mobilnych robotów inspekcyjnych: model deklaratywny
Integrated approach to selection, docking and routing planning of multi mobile robot inspection system: declarative modeling perspective
Autorzy:: Bocewicz, G.
Bzdyra, K.
Banaszak, Z.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: system robotów mobilnych
inspekcja pomieszczeń
programowanie z graniczeniami
multi mobile robot system
indoor inspection
constraints programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "declarative programming" wg kryterium: Wszystkie pola