Temat: programming languages

Skocz do pozycji: 1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skocz do pozycji: 16.

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

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

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

Tytuł:: Nowe sposoby nauki programowania w edukacji wczesnoszkolnej
The new ways of teaching software in early school education
Autorzy:: Czerski, Wojciech
Data publikacji:: 2018
Wydawca:: Uniwersytet Rzeszowski
Tematy:: programowanie,
edukacja wczesnoszkolna,
kodowanie,
języki programowania
programming,
primary education,
coding,
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

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

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

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

Tytuł:: Knowledge-Based Asynchronous Programming
Autorzy:: de Haan, H. W.
Hesselink, W. H.
Renardel de Lavalette, G. R.
Data publikacji:: 2004
Słowa kluczowe:: knowledge based programming
semantics of programming languages
concurrent programming
asynchronicity
unexpected hanging paradox; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Nowe sposoby nauki programowania w edukacji wczesnoszkolnej
The new ways of teaching software in early school education
Autorzy:: Czerski Wojciech
Data publikacji:: 2018
Tematy:: programowanie,
edukacja wczesnoszkolna,
kodowanie,
języki programowania
programming,
primary education,
coding,
programming languages; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Zastosowania skryptowych języków programowania w działalności informacyjnej
APPLICATIONS OF SCRIPTING LANGUAGES IN INFORMATION SERVICES
Autorzy:: Mariusz Jarocki
Tematy:: DOCUMENT PROCESSING
INFORMATION SCIENCE
PROGRAMMING LANGUAGES
PROGRAMMING LIBRARIES IN PYTHON
PYTHON
SCRIPTING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Zwiększenie funkcjonalności środowisk IDE z wykorzystaniem wizualnego języka VORL i pseudo -VORL
Autorzy:: Iwański, J.
Data publikacji:: 2007
Słowa kluczowe:: obiektowe programowanie wizualne
języki programowania
IDE
UML
object-oriented programming visual
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

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

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

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

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

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

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

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

Tytuł:: Dobór języka programowania kontrolera PLC
Autorzy:: Sumorek, A.
Buczaj, M.
Horyński, M.
Boguta, A.
Styła, S.
Data publikacji:: 2013
Słowa kluczowe:: sterownik PLC
programowanie sterowników PLC
języki programowania
PLC controllers
PLC programming
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

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

Tytuł:: Analyzing Compatibility of Services via Resource Conformance
Autorzy:: Lomazova, I. A.
Romanov, I. V.
Data publikacji:: 2013
Słowa kluczowe:: software compatibility
conformance testing
workflow software
Petri nets
computer systems
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Logic-based Verification of the Distributed Dining Philosophers Protocol
Autorzy:: Delzanno, G.
Data publikacji:: 2018
Słowa kluczowe:: mathematical models
mathematical analysis
programming languages
arbitrary constants
graph theory
probability theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: On the π-calculus and Co-intuitionistic Logic : Notes on Logic for Concurrency and λP Systems
Autorzy:: Bellin, G.
Menti, A.
Data publikacji:: 2014
Słowa kluczowe:: calculus
intuitionistic mathematics
encoding
linear systems
mathematical proofs
distributed computing
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Programowanie obiektowe w symulacji układów elektromechanicznych i estymacji parametrów
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Korbaś, G. P.
Data publikacji:: 2011
Słowa kluczowe:: układy elektromechaniczne
modelowanie
języki programowania
programowanie obiektowe
electromechanical systems
modeling
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

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

Tytuł:: Programowanie obiektowe w symulacji układów elektromechanicznych i estymacji parametrów
Object oriented programming in simulation of electromechanical systems and parameter estimation
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Korbaś, G. P.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: układy elektromechaniczne
modelowanie
języki programowania
programowanie obiektowe
electromechanical systems
modeling
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: On Language Equations with One-sided Concatenation
Autorzy:: Baader, F.
Okhotin, A.
Data publikacji:: 2013
Słowa kluczowe:: computer science
programming languages
equations
Boolean functions
problem solving
decision making
infinite; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Model checking of java programs using networks of fadds
Autorzy:: Woźna, B.
Zbrzezny, A.
Data publikacji:: 2009
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Narzędzia budowy systemu z temporalną bazą wiedzy wspomagającego twórczość organizacyjną
Tools for developing a system with temporal knowledge base to support organizational creativity
Autorzy:: Mach-Król, Maria
Data publikacji:: 2014
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: organizational creativity
system with temporal knowledge base
programming languages
expert system shells
Golog; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: About Implementation of IEC 61131-3 IL Function Blocks in Standard Microcontrollers
Autorzy:: Chmiel, M.
Mocha, J.
Hrynkiewicz, E.
Polok, D.
Data publikacji:: 2014
Słowa kluczowe:: central processing unit
programmable logic controller
microprocessor control
microprogramming
programming languages
language operators; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Model checking of java programs using networks of fadds
Autorzy:: Woźna, B.
Zbrzezny, A.
Data publikacji:: 2009
Słowa kluczowe:: język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Narzędzia budowy systemu z temporalną bazą wiedzy wspomagającego twórczość organizacyjną
Tools for developing a system with temporal knowledge base to support organizational creativity
Autorzy:: Maria Mach-Król
Tematy:: organizational creativity
system with temporal knowledge base
programming languages
expert system shells
Golog; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: About Implementation of IEC 61131-3 IL Function Blocks in Standard Microcontrollers
Autorzy:: Chmiel, M.
Mocha, J.
Hrynkiewicz, E.
Polok, D.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: central processing unit
programmable logic controller
microprocessor control
microprogramming
programming languages
language operators; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Application of graftech method for pro-gramming of discrete technological process
Autorzy:: Pigiel, M.
Więcławek, R.
Wikiera, R.
Data publikacji:: 2007
Słowa kluczowe:: automatyka
sterownik PLC
języki programowania
metoda Graftech
automation
PLC controller
programming languages
Graftech method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Podstawowe modele zapisu koloru i ich zastosowania
Autorzy:: Żabka, Marek
Data publikacji:: 2020
Słowa kluczowe:: kolory
programy graficzne
model barwy
języki programowania
colors
graphics programs
color model
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Zastosowanie nowoczesnych narzędzi informatycznych w obliczeniach symulacyjnych układów elektromechanicznych
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Data publikacji:: 2009
Słowa kluczowe:: badania symulacyjne
układy elektromechaniczne
programowanie
języki programowania
techniki informatyczne
simulation test
electromechanical systems
programming
programming languages
information technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Programowanie obiektowe w modelowaniu układów napędowych w energetyce
Autorzy:: Kamiński, M.
Data publikacji:: 2011
Słowa kluczowe:: badania symulacyjne
układy elektromechaniczne
programowanie
języki programowania
techniki informatyczne
simulation test
electromechanical systems
programming
programming languages
information technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Język C++/CLI – narzędzie do tworzenia aplikacji
Autorzy:: Jastrzębski, G.
Data publikacji:: 2012
Słowa kluczowe:: C++
CLI
common language infrastructure
architektura wspólnego języka
języki programowania
Common Language Infrastructure
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

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

Tytuł:: Homoikoniczny język grafowy
A homoiconic graph rewriting language.
Autorzy:: Mysak, Vitaliy
Słowa kluczowe:: Przepisywanie grafów, przepisywanie, wyrażalność, języki programowania
Graph rewriting, term-graph rewriting, rewriting, expressiveness, programming languages; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 56.

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

Tytuł:: Programowe struktury ramowe do tworzenia sterowników robotów
Programming frameworks for development of robot controllers
Autorzy:: Zieliński, C.
Kornuta, T.
Data publikacji:: 2015
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: metody programowania robotów
języki programowania robotów
programowe struktury ramowe
sterowniki robotów
robot programming methods
robot programming languages
programming frameworks
robot controllers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Programowe struktury ramowe do tworzenia sterowników robotów
Autorzy:: Zieliński, C.
Kornuta, T.
Data publikacji:: 2015
Słowa kluczowe:: metody programowania robotów
języki programowania robotów
programowe struktury ramowe
sterowniki robotów
robot programming methods
robot programming languages
programming frameworks
robot controllers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Ewolucja systemów operacyjnych, języków programowania a kod virusów
Autorzy:: Sobczak, M.
Apiecionek, Ł.
Data publikacji:: 2014
Słowa kluczowe:: 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:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Adaptive Virtual Organisms : A Compositional Model for Complex Hardware-software Binding
Autorzy:: Paduraru, Ciprian Ionut
Stefanescu, Gheorghe
Data publikacji:: 2020
Słowa kluczowe:: 2D regular expressions
agapia programming
distributed programming languages
hardware-software binding
heterogeneous systems
hybrid systems
self-organizing autonomic computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Wtyczka do środowiska "Eclipse" dla edytora kodów źródłowych VHDL z zaawansowanym systemem formatowania tekstu
Autorzy:: Niton, B.
Poźniak, K. T.
Romaniuk, R. S.
Data publikacji:: 2011
Słowa kluczowe:: VHDL
kod źródłowy
formatowanie kodów źródłowych
Eclipse
języki programowania
source code
programming languages
formatting of source codes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

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

Tytuł:: A Formal Syntax of Natural Languages and the Deductive Grammar
Autorzy:: Wang, Y.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
linguistics
computational linguistics
formal languages
universal grammar
deductive grammar
formal syntax
formal semantics
EBNF
RTPA
comparative linguistics
software engineering
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

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

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

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

Tytuł:: Graficzne języki programowania w systemach pomiarowych. Porównanie programów HP VEE i LabVIEW
Autorzy:: Kaczmarek, G.
Data publikacji:: 2001
Słowa kluczowe:: program HP Vee
program LabVIEW
języki graficzne
graficzne języki programowania
systemy pomiarowe
HP Vee program
LabVIEW program
graphic programming languages
measuring systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Interactive Systems with Registers and Voices
Autorzy:: Stefanescu, G.
Data publikacji:: 2006
Słowa kluczowe:: interactive systems
programming languages
syntax
semantics
temporal specifications
registers
voice
object oriented
finite interactive systems
rv-systems
rv-programs
grids
space-time duality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

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

Tytuł:: The Impact of seq on Free Theorems-Based Program Transformations
Autorzy:: Johann, P.
Voigtländer, J.
Data publikacji:: 2006
Słowa kluczowe:: Haskell
control primitives
correctness proofs
denotational semantics
functional programming languages
logical relations
mixing strict and nonstrict evaluation
parametricity
polymorphism
program transformation
rank - 2 types
short cut fusion
theorems for free; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: An intelligent application for learning foreign languages designed for Android devices
Inteligentna aplikacja do nauki języków obcych na urządzenia z systemem Android
Autorzy:: Włodarska, Katarzyna
Słowa kluczowe:: an application, Android system, learning foreign languages, programming, java
aplikacja, system Android, nauka języków obcych, programowanie, java; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Application in Qt enviroment
Aplikacja w środowisku QT
Autorzy:: Kułach-Maślany, Szymon
Słowa kluczowe:: Qt, zintegrowane środowisko programistyczne, języki programowania, C++, QML, Qt Creator, Qt Designer, aplikacja, baza danych, Qt Quick, wieloplatformowość
Qt, Integrated Development Environment, programming languages, C++, QML, Qt Creator, Qt Designer, application, data base, Qt Quick, cross-platform; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 73.

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

Tytuł:: Graphics editors in CPDev environment
Autorzy:: Jamro, M.
Data publikacji:: 2012
Słowa kluczowe:: IEC 61131-3
graphical languages
visual programming
control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: An Investigation of Multi-Agent Planning in CLP
Autorzy:: Dovier, A.
Formisano, A.
Pontelli, E.
Data publikacji:: 2011
Słowa kluczowe:: Action Description Languages
multi-agent planning
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Goliath, a Programming Exercises Generator Supported by AI
Autorzy:: Freitas, Tiago Carvalho
João Varanda Pereira, Maria
Neto, Alvaro Costa
Rangel Henriques, Pedro
Data publikacji:: 2024
Słowa kluczowe:: computer programming
programming education
artificial intelligence
domain specific languages
programming exercises
programowanie komputerowe
edukacja programistyczna
sztuczna inteligencja
języki dziedzinowe
ćwiczenia programistyczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Composition of languages embedded in scala
Autorzy:: Haeri, Seyed Hossein
Keir, Paul
Data publikacji:: 2019
Słowa kluczowe:: object-oriented languages
object-oriented programming
software engineering
specification languages
języki obiektowe
programowanie obiektowe
inżynieria oprogramowania
języki specyfikacji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Towards a Formal Representation of Interactive Systems
Autorzy:: Banu-Demergian, I. T.
Stefanescu, G.
Data publikacji:: 2014
Słowa kluczowe:: parallel programming
interactive programming
regular expressions
regular algebra
Kleene theorem
network algebra
2-dimensional languages
finite interactive systems
relational semantics
specification
verification
structured interactive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Praktyczne nauczanie systemów wbudowanych z wykorzystaniem platformy Arduino
Autorzy:: Rabczuk, D.
Data publikacji:: 2015
Słowa kluczowe:: systemy wbudowane
mikrokontrolery
programowanie
język C/C++
embedded system
microcontrollers
programming
C/C++ languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Comparative Study of AMPL, Pyomo and JuMP Optimization Modeling Languages on a Flood Control Problem Example
Studium porównawcze języków modelowania optymalizacyjnego AMPL, Pyomo i JuMP na przykładzie zadania sterowania falą powodziową
Autorzy:: Karbowski, Andrzej
Wyskiel, Krzysztof
Data publikacji:: 2021
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: optimization
modeling languages
programming
flood control problem
nonlinear programming
optimal control
optymalizacja
języki modelowania
programowanie
sterowanie falą powodziową
programowanie nieliniowe
sterowanie optymalne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Comparative Study of AMPL, Pyomo and JuMP Optimization Modeling Languages on a Flood Control Problem Example
Autorzy:: Karbowski, Andrzej
Wyskiel, Krzysztof
Data publikacji:: 2021
Słowa kluczowe:: optimization
modeling languages
programming
flood control problem
nonlinear programming
optimal control
optymalizacja
języki modelowania
programowanie
sterowanie falą powodziową
programowanie nieliniowe
sterowanie optymalne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Comparative Study of AMPL, Pyomo and JuMP Optimization Modeling Languages on a Network Linear Programming Problem Example
Studium porównawcze języków modelowania optymalizacyjnego AMPL, Pyomo i JuMP na przykładzie liniowego zadania programowania sieciowego
Autorzy:: Karbowski, Andrzej
Wyskiel, Krzysztof
Data publikacji:: 2021
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: optimization
modeling languages
programming
shortest path problem
network problems
linear programming
optymalizacja
języki modelowania
zadanie najkrótszej ścieżki
zadania sieciowe
programowanie liniowe
zadania grafowe; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Comparative Study of AMPL, Pyomo and JuMP Optimization Modeling Languages on a Network Linear Programming Problem Example
Autorzy:: Karbowski, Andrzej
Wyskiel, Krzysztof
Data publikacji:: 2021
Słowa kluczowe:: optimization
modeling languages
programming
shortest path problem
network problems
linear programming
optymalizacja
języki modelowania
zadanie najkrótszej ścieżki
zadania sieciowe
programowanie liniowe
zadania grafowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Zastosowanie standardu OpenMP do projektowania systemów wbudowanych
Autorzy:: Wierciński, T.
Data publikacji:: 2009
Słowa kluczowe:: systemy wbudowane
programowanie równoległe
OpenMP
języki opisu sprzętu
SystemC
embedded system
parallel programming
hardware description languages
VHDL; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Zastosowanie standardu OpenMP do projektowania systemów wbudowanych
Use of OpenMP standard for embedded systems describing
Autorzy:: Wierciński, T.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy wbudowane
programowanie równoległe
OpenMP
języki opisu sprzętu
SystemC
embedded systems
parallel programming
hardware description languages
VHDL; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Usage of C/C++ languages with OpenMP directives to embedded systems design
Autorzy:: Wierciński, T.
Data publikacji:: 2009
Słowa kluczowe:: system wbudowany
programowanie równoległe
OpenMP
języki opisu sprzętu
SystemC
VHDL
embedded system
parallel programming
hardware description languages
SystemsC; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Programming the Polish language in bilingual children
Programowanie języka polskiego u dzieci dwujęzycznych
Autorzy:: Ciszewska-Psujek, Urszula
Data publikacji:: 2021-12-31
Wydawca:: Wydawnictwo Uniwersytetu Śląskiego
Tematy:: bilingwizm (dwujęzyczność)
programowanie języka
metody uczenia dzieci języków obcych
bilingualism
language programming
the methods of teaching foreign languages to children; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Programming the Polish language in bilingual children
Programowanie języka polskiego u dzieci dwujęzycznych
Autorzy:: Urszula Ciszewska-Psujek
Data publikacji:: 2021-12-31
Tematy:: bilingwizm (dwujęzyczność)
programowanie języka
metody uczenia dzieci języków obcych
bilingualism
language programming
the methods of teaching foreign languages to children; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: The Syntax of a Multi-Level Production Process Modeling Language
Autorzy:: Vještica, Marko
Dimitrieski, Vladimir
Kordić, Slavica
Ristić, Sonja
Luković, Ivan
Pisarić, Milan
Data publikacji:: 2020
Słowa kluczowe:: formal specification
manufacturing systems
object-oriented programming
production engineering
software architecture
specification languages
Unified Modeling Language
specyfikacja formalna
systemy produkcyjne
programowanie obiektowe
inżynieria produkcji
architektura oprogramowania
języki specyfikacji
Zunifikowany Język Modelowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "programming languages" wg kryterium: Temat