Temat: Computer Science - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Note on Calculi for Non-deterministic Many-valued Logics
Autorzy:: Kaminski, Michael
Data publikacji:: 2022
Słowa kluczowe:: computer science
logic in computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
Autorzy:: Amat, Nicolas
Berthomieu, Bernard
Dal Zilio, Silvano
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Logic in Computer Science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Solving Infinite Games in the Baire Space
Autorzy:: Brütsch, Benedikt
Thomas, Wolfgang
Data publikacji:: 2022
Słowa kluczowe:: computer science
game theory
logic in computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Filozoficzna refleksja nad istotą informatyki. Recenzja książki: Izabela Bondecka-Krzykowska, O przedmiocie badań informatyki. Studium filozoficzne, Wydawnictwo Naukowe UAM, Poznań 2023
A philosophical reflection on the essence of computer science
Autorzy:: Paweł Stacewicz
Data publikacji:: 2024
Tematy:: philosophy of computer science
computer science methodology
computer
computer program
algorithm
information; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

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

Tytuł:: Trudne pytanie o tożsamość informatyki. O podstawowych sposobach rozumienia terminu informatyka
A difficult question about the identity of computer science. On the fundamental ways of understanding the term computer science
Autorzy:: Mariusz Szynkiewicz
Data publikacji:: 2024
Tematy:: definition
computer science
computer
science
technology; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Morphisms and minimisation of weighted automata
Autorzy:: Lombardy, Sylvain
Sakarovitch, Jacques
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory Licence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Filozoficzna refleksja nad istotą informatyki. Recenzja książki: Izabela Bondecka-Krzykowska, O przedmiocie badań informatyki. Studium filozoficzne, Wydawnictwo Naukowe UAM, Poznań 2023
A philosophical reflection on the essence of computer science
Autorzy:: Stacewicz, Paweł
Data publikacji:: 2024
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: philosophy of computer science
computer science methodology
computer
computer program
algorithm
information; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Echis - wirtualne przedszkole
Echis - the virtual nursery school
Autorzy:: Szczygieł, Karolina
Słowa kluczowe:: INTERNET, INFORMATYKA
INTERNET, COMPUTER SCIENCE; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: INFORMATION ETHICS - REASONS AND BEGINNINGS
Autorzy:: Trzesicki K.
Tematy:: COMPUTER SCIENCE
ETHICS
PROGRESS
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Kanon wiedzy informatycznej, czyli "co każdy informatyk wiedzieć powinien"
Autorzy:: Sankowski, D.
Data publikacji:: 2004
Słowa kluczowe:: informatyka
program nauczania
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Przygotowanie publikacji do rocznika "Computer Science"
Autorzy:: Kmiecik, J.
Data publikacji:: 2004
Słowa kluczowe:: LaTeX
"Computer Science"
UWND AGH; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: W cyklu spotkania z mistrzami: o potrzebie kształcenia oraz badań naukowych w obszarze informatyki stosowanej
Autorzy:: Tadeusiewicz, R.
Data publikacji:: 2009
Słowa kluczowe:: informatyka stosowana
społeczeństwo informacyjne
edukacja informatyczna
applied computer science
information society
education in computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Preface to special issue on contemporary problems of computer science, physics and applied mathematics
Autorzy:: Kowalski, Piotr A.
Łukasik, Szymon
Kulczycki, Piotr
Data publikacji:: 2019
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: computer science
physics
applied mathematics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Constructive Consistent Approximations in Pairwise Comparisons
Autorzy:: Smarzewski, Ryszard
Kozera, Ryszard
Data publikacji:: 2022
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: cryptography
computer science
applied mathematics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Preface to special issue on contemporary problems of computer science, physics and applied mathematics
Autorzy:: Kowalski, Piotr A.
Łukasik, Szymon
Kulczycki, Piotr
Data publikacji:: 2019
Słowa kluczowe:: computer science
physics
applied mathematics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Constructive Consistent Approximations in Pairwise Comparisons
Autorzy:: Smarzewski, Ryszard
Kozera, Ryszard
Data publikacji:: 2022
Słowa kluczowe:: cryptography
computer science
applied mathematics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Condition of IT educational infrastructure in selected schools of the province of Lublin
Autorzy:: Malec, M.
Drankowska-Kłyż, B.
Szydłowski, P.
Data publikacji:: 2006
Słowa kluczowe:: badanie ankietowe
baza dydaktyczna
edukacja informatyczna
education computer science
school computer rooms
educational infrastructure of computer science
IT; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Założenia systemu wspomagania zarządzania infrastrukturą PKP PLK S.A. na przykładzie infrastruktury drogowej
Assumptions for infrastructure management support system for PKP PLK S.A. on case of road infrastructure
Autorzy:: Dąbrowski, A.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:: infrastruktura
informatyka
system
infrastructure
computer science; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Learning specific academic vocabulary using mall: experience from computer science students
Autorzy:: Simanjuntak, Risa Rumentha
Data publikacji:: 2020
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej w Lublinie. IATEFL Poland Computer Special Interest Group
Tematy:: ESAP
MALL
mobile dictionary
Computer Science; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Using Twitter to enhance writing skill with senior high school students: a case study
Autorzy:: Espinoza-Celi, Verónica
Morocho Pintado, Cristina
Data publikacji:: 2020
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej w Lublinie. IATEFL Poland Computer Special Interest Group
Tematy:: ESAP
MALL
mobile dictionary
Computer Science; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: USING TWITTER TO ENHANCE WRITING SKILL WITH SENIOR HIGH SCHOOL STUDENTS: A CASE STUDY
Autorzy:: Espinoza-Celi Verónica
Morocho Pintado Cristina
Tematy:: ESAP
MALL
mobile dictionary
Computer Science; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Założenia systemu wspomagania zarządzania infrastrukturą PKP PLK S.A. na przykładzie infrastruktury drogowej
Autorzy:: Dąbrowski, A.
Data publikacji:: 2012
Słowa kluczowe:: infrastruktura
informatyka
system
infrastructure
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Determination of rheological properties using hybrid optimisation method
Autorzy:: Foder, B.
Sołek, K.
Data publikacji:: 2012
Słowa kluczowe:: rheological properties
optimization methods
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: On Rotation Distance of Rank Bounded Trees
Autorzy:: Anoop, S.K.M.
Sarma, Jayalal
Data publikacji:: 2024
Słowa kluczowe:: Computer Science
Data Structures and Algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Computer Science" wg kryterium: Temat