Temat: computer systems - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Java SAM Typed Closures : A Sound and Complete Type Inference System for Nominal Types
Autorzy:: Bellia, M.
Occhiuto, M. E.
Data publikacji:: 2013
Słowa kluczowe:: Java
computer systems
technological innovations
software compatibility
annotation
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Proving Propositional Tautologies in a Natural Dialogue
Autorzy:: Yaskorska, O.
Budzynska, K.
Kacprzak, M.
Data publikacji:: 2013
Słowa kluczowe:: pleonasm
dialogue
communication
mathematical formulas
computer systems
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Using Computer Mathematics Systems in the Learning Process of Computer Mathematics at Pedagogical University via Distance Learning
Autorzy:: Efymenko, Vasyl
Współwytwórcy:: Dragomanov National Pedagogical University in Kyiv, Ukraine
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: informatics science
e-learning
Computer Mathematics Systems
distance learning
computer science; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Using Computer Mathematics Systems in the Learning Process of Computer Mathematics at Pedagogical University via Distance Learning
Autorzy:: Efymenko, Vasyl
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: Computer Mathematics Systems
e-learning
informatics science
distance learning
computer science; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks
Autorzy:: Chen, Qian Matteo
Finzi, Alberto
Mancini, Toni
Melatti, Igor
Tronci, Enrico
Data publikacji:: 2020
Słowa kluczowe:: telecommunication systems
radio
satisfiability
computer science
radio networks
electromagnetic interference
artificial intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Concept Blueprints Serving More Focused User Queries
Autorzy:: Englmeier, Kurt
Data publikacji:: 2020
Słowa kluczowe:: computer science
semantics
information retrieval
information systems
informatyka
semantyka
wyszukiwanie informacji
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Discovering relationships between data in enterprise system using log analysis
Autorzy:: Korzeniowski, Łukasz
Goczyła, Krzysztof
Data publikacji:: 2023
Słowa kluczowe:: computer science
benchmark testing
search problems
information systems
informatyka
testy porównawcze
problemy wyszukiwawcze
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Extended distributive contact lattices and extended contact algebras
Autorzy:: Ivanova, Tatyana
Data publikacji:: 2020
Słowa kluczowe:: computer science
algebra
cognition
complexity theory
information systems
informatyka
poznanie
teoria złożoności
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Reinforcement Learning based Intelligent System for Personalized Exam Schedule
Autorzy:: Barone, Marco
Ciaschi, Matteo
Ullah, Zaib
Piccardi, Armando
Data publikacji:: 2024
Słowa kluczowe:: training
learning systems
computer science
reinforcement learning
artificial intelligence
intelligent systems
szkolenia
systemy uczące się
informatyka
uczenie ze wzmocnieniem
sztuczna inteligencja
systemy inteligentne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Computing Duals of Finite Gödel Algebras
Autorzy:: Codara, Pietro
Maurina, Gabriele
Valota, Diego
Data publikacji:: 2020
Słowa kluczowe:: computer science
algebra
finite element analysis
computational efficiency
information systems
informatyka
analiza elementów skończonych
wydajność obliczeniowa
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computer systems" wg kryterium: Temat