Wszystkie pola: Lambda prace

Skocz do pozycji: 1.

Tytuł:: Quantitative analysis of linear lambda terms.
Ilościowa analiza liniowego rachunku lambda.
Autorzy:: Kaczmarek, Mateusz
Słowa kluczowe:: rachunek lambda, liniowy rachunek lambda, afiniczny rachunek lambda, analiza ilościowa, mapy, mapy kombinatoryczne
lambda calculus, linear lambda calculus, affine lambda calculus, quantitative analysis, map, combinatorial map; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Lambda-Pi - innowacyjne rozwiazania dla przetworstwa
Tematy:: przemysl spozywczy
maszyny i urzadzenia produkcyjne
linie technologiczne
prace wdrozeniowe
oferty handlowe
firma Lambda-Pi
prace badawcze; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Asymptotyczne własności rachunku lambda i logiki kombinatorycznej
Asymptotic properties of lambda calculus and combinatory logic
Autorzy:: Grygiel, Katarzyna
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2013-05-23
Słowa kluczowe:: combinatory logic
rachunek lambda
lambda calculus
gęstość
asymptotic investigations in logic
density
badania asymptotyczne w logikach
logika kombinatoryczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Quantitative aspects and generation of random lambda and combinatory logic terms
Ilościowe aspekty oraz generowanie losowych termów rachunku lambda oraz termów rachunku kombinatorów
Autorzy:: Bendkowski, Maciej
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2017-11-27
Słowa kluczowe:: rachunek kombinatorów
combinatorics
combinatory logic
analytic combinatorics
kombinatoryka analityczna
lambda calculus
kombinatoryka
rachunek lambda; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Uniwersalny adaptacyjny układ lambda-śledzenia trajektorii dla robotów mobilnych poruszających się po powierzchniach trójwymiarowych.
Autorzy:: Mazur, A.
Data publikacji:: 1998
Słowa kluczowe:: lambda-śledzenie
kołowy robot mobilny
dynamika
uniwersalne sterowanie adaptacyjne
sprzężanie zwrotne dynamiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Quantification in Programming Languages.
Kwantyfikacja w Językach Programowania
Autorzy:: Gaiński, Piotr
Słowa kluczowe:: teoria typów, rachunek lambda, sprawdzanie typu, kwantyfikacja, języki programowania, systemy typów
type theory, lambda calculus, type-checking, quantification, programming languages, type systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Social media data analysis with Apache Spark
Analiza danych sieci społecznościowych za pomocą Apache Spark
Autorzy:: Kownacki, Aron
Słowa kluczowe:: Big Data, Apache Spark, Twitter, stream processing, Lambda architecture, Spring
Big Data, Apache Spark, Twitter, przetwarzanie strumieniowe, architektura Lambda,Spring; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Proces formułowania i wdrażania strategii przedsiębiorstwa na przykładzie przedsiębiorstwa Lambda
The process of formulating and implementing strategies on an example enterprise Lambda
Autorzy:: Ziarko, Kaja
Słowa kluczowe:: strategic management-company strategy- strategic analysis
zarządzanie strategiczne– strategia przedsiębiorstw– analiza strategiczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Kombinatoryczne interpretacje rekurencji holonomicznych
Autorzy:: Puget, Bartłomiej
Słowa kluczowe:: holonomic recurrence, lambda terms, de Bruijn, generating functions, counting, tree, binary tree, unary-binary tree, Schröder tree
rekurencja holonomiczna, rachunek lambda, de Bruijn, funkcje tworzące, zliczanie, drzewa, drzewa binarne, drzewa unarno-binarne, drzewa Schrödera; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Learning stable mutation in (1, lambda)ES evolutionary strategy
Autorzy:: Prętki, P.
Data publikacji:: 2007
Słowa kluczowe:: evolutionary strategy
discrete spectral measure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Lambda prace" wg kryterium: Wszystkie pola