Wszystkie pola: programming languages

Skocz do pozycji: 1.

Tytuł:: Modern Programming Languages
Współczesne języki programowania
Autorzy:: Lorys, Zofia
Słowa kluczowe:: programming, languages, developer, programmer, job
programowanie, języki, praca, programista, programistka, informatyka; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Models of quantum computation and quantum programming languages
Autorzy:: Miszczak, Jarosław Adam
Data publikacji:: 2011-09
Wydawca:: Polish Academy of Sciences
Słowa kluczowe:: quantum programming
models of quantum computation; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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

Tytuł:: Models of quantum computation and quantum programming languages
Autorzy:: Miszczak, Jarosław Adam
Współwytwórcy:: Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Data publikacji:: 2011-09
Wydawca:: Polish Academy of Sciences
Słowa kluczowe:: models of quantum computation
quantum programming; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Algorithmic Completeness of Imperative Programming Languages
Autorzy:: Marquer, Yoann
Data publikacji:: 2019
Słowa kluczowe:: algorithm
ASM
completeness
computability
imperative
simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Models of quantum computation and quantum programming languages
Autorzy:: Miszczak, J.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: programming languages
models of computation
Turing machine; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Models of quantum computation and quantum programming languages
Autorzy:: Miszczak, Jarosław Adam
Współwytwórcy:: Instytut Informatyki Teoretycznej i Stosowanej PAN
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Terminological bundles in ICT textbooks and documentation of programming languages
Autorzy:: Weber, Marek
Data publikacji:: 2013
Tematy:: Informatyka - terminologia
Programowanie (informatyka)
Języki programowania; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The efficiency of the A* algorithm’s implementations in selected programming languages
Autorzy:: Klimaszewski, Jacek
Data publikacji:: 2014
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Metaprogramowanie w językach programowania wysokiego poziomu
Metaprogramming in high level programming languages
Autorzy:: Wnukowski, Michał
Słowa kluczowe:: metaprogramming DSL abstraction paradigm C#
metaprogramowanie DSL abstrakcja paradygmaty C#; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Effective similarity measures in electronic testing at programming languages
Autorzy:: Akinwale, A.
Niewiadomski, A.
Data publikacji:: 2012
Słowa kluczowe:: miara podobieństwa
miara odległości
relacje rozmyte
n-gram
kody programowania
similarity and distance measures
fuzzy relations
programming codes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: E-Assessment Tools for Programming Languages: A Review
Autorzy:: Gupta, S.
Gupta, A.
Data publikacji:: 2018
Słowa kluczowe:: assessment
automated tool
programming languages
static analysis
dynamic analysis
LMS based tools
oszacowanie
zautomatyzowane narzędzie
języki programowania
analiza statyczna
analiza dynamiczna
narzędzia oparte na LMS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Infinite Unfolding and Transformations of Nondeterministic Programs
Autorzy:: Lisper, B.
Data publikacji:: 2005
Słowa kluczowe:: logic programming
computer programming
functional programming languages
functional programming
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Reference Abstract Domains and Applications to String Analysis
Autorzy:: Amadini, R.
Gange, G.
Gauthier, F.
Jordan, A.
Schachte, P.
Søndergaard, H.
Stuckey, P. J.
Zhang, C.
Data publikacji:: 2018
Słowa kluczowe:: programming languages
domain-specific programming languages
information sharing
javascript
dynamic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Models of quantum computation and quantum programming languages
Autorzy:: Miszczak, J.
Data publikacji:: 2011
Słowa kluczowe:: programming languages
models of computation
Turing machine; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Performance comparison of Julia and Python programming languages based on available literature
Autorzy:: Maj, Mateusz
Data publikacji:: 2024
Słowa kluczowe:: Python
Julia
comparison
performance
porównanie
wydajność; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Porównanie pomiędzy językami programowania C oraz Rust na mikrokontrolerach
Comparison between C and Rust programming languages on microcontrollers
Autorzy:: Goworko, Damian
Słowa kluczowe:: C, Rust, mikrokontroler, mikroprocesor, programowanie niskopoziomowe
C, Rust, microcontroller, microprocessor, embedded programming; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Porównanie wydajności wysokopoziomowych języków programowania w systemach mikroprocesorowych
Comparison of high-level programming languages efficiency in embedded systems
Autorzy:: Choroszucho, Agnieszka
Golonko, Piotr
Sumorek, Mateusz
Żukowski, Jakub
Data publikacji:: 2019
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: mikrokontrolery
C/C++
Python
Arduino
ESP32
ESP8266; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Zarządzanie Zasobami w Językach Programowania z Handlerami Efektów Algebraicznych
Resource Management in Programming Languages with Algebraic Effect Handlers.
Autorzy:: Wajgelt, Juliusz
Słowa kluczowe:: języki programowania, efekty algebraiczne, handlery efektów, systemy efektów, systemy typów, zarządzanie zasobami, liniowe systemy typów, substrukturalne systemy typów
programming languages, algebraic effects, effect handlers, effect systems, type systems, resource management, linear type systems, substructural type systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: From EBNF to PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2013
Słowa kluczowe:: language
linear systems
programming languages
computer systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Nauka języków programowania sterowników PLC w dobie obecnego rozwoju
Learning PLC programming languages in the era of current development
Autorzy:: Piotr Wilk
Data publikacji:: 2025-05-15
Tematy:: sterowanie
sterownik PLC
programowanie PLC
języki programowania
sztuczna inteligencja
control
PLC controller
PLC programming
programming languages
artificial intelligence; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Ewolucja systemów operacyjnych, języków programowania a kod virusów
Operation systems and programming languages evolution impact on Virus source code
Autorzy:: Sobczak, Marcin
Apiecionek, Łukasz
Data publikacji:: 2014
Wydawca:: Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:: bezpieczeństwo systemów operacyjnych
kod źródłowy virusów
języki programowania
operation system security
viruse source code
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Nauka języków programowania sterowników PLC w dobie obecnego rozwoju
Learning PLC programming languages in the era of current development
Autorzy:: Wilk, Piotr
Data publikacji:: 2025-05-15
Wydawca:: Akademia Nauk Stosowanych w Raciborzu
Tematy:: sterowanie
sterownik PLC
programowanie PLC
języki programowania
sztuczna inteligencja
control
PLC controller
PLC programming
programming languages
artificial intelligence; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Adding parallelism to sequential programs : a combined method
Autorzy:: Daszczuk, Wiktor B.
Czejdo, Danny B.
Grześkowiak, Wojciech
Data publikacji:: 2024
Słowa kluczowe:: programming languages
algorithms
concurrency
parallelism
parallel programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: The efficiency of the A* algorithm’s implementations in selected programming languages
Autorzy:: Klimaszewski, J.
Data publikacji:: 2014
Słowa kluczowe:: path finding
data structures
artificial intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Mapping SBQL Query Results to XML
Autorzy:: Kowalski, T.
Adamus, R.
Wiślicki, J.
Data publikacji:: 2012
Słowa kluczowe:: Stack-Based Approach (SBA)
programming languages
XML technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Adding parallelism to sequential programs : a combined method
Autorzy:: Daszczuk, Wiktor B.
Czejdo, Danny B.
Grześkowiak, Wojciech
Data publikacji:: 2024
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: programming languages
algorithms
concurrency
parallelism
parallel programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Application of the computer tools used in the creation of websites for numerical calculation
Autorzy:: Kamińska-Macek, K.
Kamiński, M.
Data publikacji:: 2015
Słowa kluczowe:: programming languages
numerical methods
języki programowania
metody obliczeniowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

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

Tytuł:: On the Accuracy of Rough Approximations of Regular Languages
Autorzy:: Torres, G. M.
Data publikacji:: 2014
Słowa kluczowe:: rough sets
approximation theory
programming languages
congruences
measure theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Comparison of programming languages on the iOS platform in terms of performance
Autorzy:: Gut, K.
Skublewska-Paszkowska, M.
Łukasik, E.
Smołka, J.
Data publikacji:: 2017
Słowa kluczowe:: Swift
Objective-C
performance
time of sorting algorithms
wydajność
czas sortowania algorytmów; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Zastosowanie narzędzi informatycznych stosowanych w tworzeniu stron internetowych do obliczeń symulacyjnych
Application of it tools used in the creation of websites to numerical calculations
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Data publikacji:: 2016
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:: języki programowania
metody obliczeniowe
programming languages
numerical methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Zastosowanie narzędzi informatycznych stosowanych w tworzeniu stron internetowych do obliczeń symulacyjnych
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Data publikacji:: 2016
Słowa kluczowe:: języki programowania
metody obliczeniowe
programming languages
numerical methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Comparative analysis of the efficiency of Julia language against the other classic programming languages
Autorzy:: Januszek, T.
Pleszczyński, M.
Data publikacji:: 2018
Słowa kluczowe:: computational complexity
programming languages
Julia language
złożoność obliczeniowa
język programowania
język Julia; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Python and C#: a comparative analysis from Students’ perspective
Autorzy:: Swacha, J.
Muszyńska, K.
Data publikacji:: 2011
Słowa kluczowe:: Python
C#
programming languages
students
Analytic Hierarchy Process
AHP; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: More About Converting BNF to PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2014
Słowa kluczowe:: parsing
coding theory
computer systems
computer software
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Acyclic and Cyclic Reversing Computations in Petri Nets
Autorzy:: Barylska, Kamila
Gogolińska, Anna
Data publikacji:: 2021
Słowa kluczowe:: Computer Science - Computation and Language
Computer Science - Programming Languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: A Hierarchy of Languages with Catenation and Shuffle
Autorzy:: Kudlek, M.
Flick, N. E.
Data publikacji:: 2013
Słowa kluczowe:: hierarchy
programming languages
iterative methods
fixed point theory
computer systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Asynchronous Systems of Parallel Communicating Finite Automata
Autorzy:: Vollweiler, M.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
finite state machine
robots
computer simulation
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Język C++/CLI – narzędzie do tworzenia aplikacji
C++/CLI language - application development tool
Autorzy:: Jastrzębski, G.
Data publikacji:: 2012
Wydawca:: Uczelnia Jana Wyżykowskiego
Tematy:: C++
CLI
Common Language Infrastructure
języki programowania
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Comparison of programming languages on the iOS platform in terms of performance
Porównanie języków programowania na platformie iOS pod względem wydajności
Autorzy:: Gut, K.
Skublewska-Paszkowska, M.
Łukasik, E.
Smołka, J.
Data publikacji:: 2017
Wydawca:: Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:: Swift
Objective-C
performance
time of sorting algorithms
wydajność
czas sortowania algorytmów; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: A Nonarchimedian Discretization for Timed Languages
Autorzy:: Dima, C.
Data publikacji:: 2014
Słowa kluczowe:: discretization method
programming languages
machine theory
set theory
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A Secure Non-monotonic Soft Concurrent Constraint Language
Autorzy:: Bistarelli, S.
Santini, F.
Data publikacji:: 2014
Słowa kluczowe:: monotonic functions
constraint satisfaction
programming languages
mathematical models
information theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Porównanie implementacji programowych automatów sterujących w sterownikach wbudowanych
Comparison of software implementations of controlling automatons in embedded controllers
Autorzy:: Grodzki, L.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterowniki wbudowane
automaty
języki programowania
embedded microcontrollers
automatons
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Porównanie implementacji programowych automatów sterujących w sterownikach wbudowanych
Autorzy:: Grodzki, L.
Data publikacji:: 2007
Słowa kluczowe:: sterowniki wbudowane
automat
języki programowania
embedded microcontrollers
automatons
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing : A Petri Net Model Approach
Autorzy:: Schumann, A.
Pancerz, K.
Data publikacji:: 2014
Słowa kluczowe:: object-oriented methods
programming languages
Petri nets
computer architecture
combinational circuits; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: DNA Tiles, Wang Tiles and Combinators
Autorzy:: Bellia, M.
Occhiuto, M. E.
Data publikacji:: 2014
Słowa kluczowe:: combinatory logic
combinatorial analysis
programming languages
set theory
nonclassical mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Clinical database – neonatology
Autorzy:: Sarapata, K.
Woźniak, J.
Walecki, P.
Kieczeń, W.
Lauterbach, R.
Data publikacji:: 2006
Słowa kluczowe:: medical databases
neonatology
programming languages
medyczna bazy danych
neonatologia
języki programowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Polski kompilator oraz sterowniki programowane za pomocą języka IL normy IEC 61131-3
Autorzy:: Sadolewski, J.
Szmyd, E.
Data publikacji:: 2009
Słowa kluczowe:: systemy kontrolno-pomiarowe
języki programowania
control and measurement systems
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Universal Query Language for Unified State Model
Autorzy:: Wiśniewski, P.
Stencel, K.
Data publikacji:: 2014
Słowa kluczowe:: query languages
mathematical models
programming languages
operator theory
electronic data processing
databases; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

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