Temat: FORMAL - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Computing Formal Concepts by Attribute Sorting
Autorzy:: Krajca, P.
Outrata, J.
Vychodil, V.
Data publikacji:: 2012
Słowa kluczowe:: compute formal concepts
formal contexts
formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The role of formal semantics in linguistics
Autorzy:: Walter Swetly
Data publikacji:: 2012
Tematy:: formal semantics
donkey sentences
formal languages; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: 'Det' – som formelt subjekt, objekt og prædikativ i dansk
Autorzy:: Szubert, Andrzej
Data publikacji:: 2009-01-01
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: det
formelt subjekt
formelt objekt
formelt prædikativ
formal subject
formal object
formal predicative; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: 'Det' – som formelt subjekt, objekt og prædikativ i dansk
Autorzy:: Andrzej Szubert
Data publikacji:: 2009
Tematy:: det
formelt subjekt
formelt objekt
formelt prædikativ
formal subject
formal object
formal predicative; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Continuous Domains in Formal Concept Analysis
Autorzy:: Wang, Longchun
Guo, Lankun
Li, Qingguo
Data publikacji:: 2021
Słowa kluczowe:: attribute continuous formal context
categorical equivalence
continuous formal concept
domain theory
formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Finite Systems Handling Language (YAFOLL message 1)
Autorzy:: Alex Shkotin
Data publikacji:: 2015-12-01
Tematy:: finite model
formal ontology
formal language
knowledge representation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Gatunki wypowiedzi urzędowych w getcie warszawskim (na podstawie zbiorów archiwalnych Ringelbluma)
Types of official announcements in the Warsaw Ghetto (based on Ringelblum’s archival collections)
Autorzy:: Leszek Tymiakin
Data publikacji:: 2018
Tematy:: Warsaw Ghetto
formal genre
appraisal
Warsaw Ghetto
formal genres; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Otrzymywanie formalu glicerolu przez transacetalizację metylalu
Autorzy:: Trybuła, S.
Terelak, K.
Olejarz, A.
Brekier, S.
Data publikacji:: 2010
Słowa kluczowe:: formal glicerolu
transacetalizacja metylalu
glycerol formal
transacetalization of methylal; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Data publikacji:: 2005
Słowa kluczowe:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Possibility-Theoretic View of Formal Concept Analysis
Autorzy:: Dubois, D.
Dupin de Saint-Cyr, F.
Data publikacji:: 2007
Słowa kluczowe:: formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: E-learning & Lifelong Learning
Autorzy:: Smyrnova-Trybulska, Eugenia
Współwytwórcy:: University of Silesia in Katowice, Faculty of Ethnology and Educational Science in Cieszyn, Poland
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: e-learning
non-formal
formal
informal learning
education
lifelong learning; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Związki frazeologiczne identyczne oraz podobne formalnie w językach indonezyjskim i polskim
Formally identical and formally similar phraseological units in the Indonesian and Polish languages
Autorzy:: Przemysław Wiatrowski
Data publikacji:: 2018
Tematy:: Indonesian language
Polish language
phraseological unit
formal identicality
formal similarity; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: E-learning & Lifelong Learning
Autorzy:: Smyrnova-Trybulska, Eugenia
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: informal learning
education
lifelong learning
e-learning
formal
non-formal; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Związki frazeologiczne identyczne oraz podobne formalnie w językach indonezyjskim i polskim
Formally identical and formally similar phraseological units in the Indonesian and Polish languages
Autorzy:: Wiatrowski, Przemysław
Data publikacji:: 2018-08-28
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: Indonesian language
Polish language
phraseological unit
formal identicality
formal similarity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:: Singh, P. K.
Aswani Kumar, C.
Gani, A.
Data publikacji:: 2016
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Sustainable development in terms of health education as a part of students-future teachers training
Autorzy:: Czerwiec Karolina
Potyrała Katarzyna
Jancarz-Lanczkowska Beata
Tematy:: education for sustainable development,
formal and non-formal education,
health education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Environmental education in Poland : its present status
Autorzy:: Grodzińska-Jurczak, Małgorzata
Data publikacji:: 2004
Słowa kluczowe:: ecology
environmental education
formal education
non-formal education
Poland
educational outcomes; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:: Singh, P. K.
Aswani Kumar, C.
Gani, A.
Data publikacji:: 2016
Słowa kluczowe:: concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Sustainable development in terms of health education as a part of students-future teachers training
Autorzy:: Czerwiec, Karolina
Potyrała, Katarzyna
Jancarz-Lanczkowska, Beata
Data publikacji:: 2017
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: education for sustainable development,
formal and non-formal education,
health education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Object Oriented Database with Authorization Policies
Autorzy:: Bai, Y.
Varadharajan, V.
Data publikacji:: 2002
Słowa kluczowe:: formal specifications
security
database; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Une mise en mots de la formation pour adultes
Kształcenie dorosłych – narzędzia konceptualne
Autorzy:: Jean-Pierre Boutinet
Data publikacji:: 2016
Tematy:: -
adult education
discourse
adult
requirement of individuality
formal education
non-formal education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: ІНТЕРПРЕТАЦІЯ ПОНЯТТЯ НЕФОРМАЛЬНА ОСВІТА: ПОГЛЯД НІМЕЦЬКОМОВНОГО СУСПІЛЬСТВА
Interpretation of concept of informal education: outlook of German-speaking society
Autorzy:: Вікторія Солощенко
Data publikacji:: 2014-11-24
Tematy:: formal education
non-formal education
informal education
adult
German-speaking countries development; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Convergents of folded continued fractions
Autorzy:: Allouche, Jean-Paul
Lubiw, Anna
France, Michel
van der Poorten, Alfred
Shallit, Jeffrey
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: continued fraction
convergent
formal Laurent series
formal power series
paperfolding
automatic sequence; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Relational Contexts and Relational Concepts
Autorzy:: Jiang, F.
Sui, Y.
Cao, C.
Data publikacji:: 2010
Słowa kluczowe:: formal concept analysis
FCA
formal contexts
relational contexts
concept lattices
supply chain; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Przebieg kontroli skarbowej zgodny z przepisami prawa – zadania i kompetencje urzędów skarbowych
Fiscal Control as Compliant with the Legal Regulations – Tasks and Mandate of Tax Offices
Autorzy:: Magdalena Kowalczyk
Data publikacji:: 2013-12
Tematy:: control powers
formal requirements; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Convergence of formal solutions of first order singular nonlinear partial differential equations in the complex domain
Autorzy:: Miyake, Masatake
Shirai, Akira
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: singular equation
formal solution; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Formal language recognition by stochastic cellular automata
Autorzy:: Merkle, D.
Worsch, T.
Data publikacji:: 2002
Słowa kluczowe:: cellular automata
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Algebras of Definable Sets vs. Concept Lattices
Autorzy:: Wasilewski, Piotr
Data publikacji:: 2019
Słowa kluczowe:: formal concept
formal concept analysis
granular set
lattice
rough set
rough set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Formal asynchronous systems modelling
Autorzy:: Kohn, M.
Schmeck, H.
Data publikacji:: 2000
Słowa kluczowe:: asynchronous systems
asynchronous computations
formal methods in systems modelling
abstract computations
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

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

Tytuł:: Lifelong Learning as Form of Human Resources Development
Autorzy:: Hečko, Štefan
Řihák, Radim
Malátek, Vojtěch
Data publikacji:: 2014
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: lifelong learning
human resources development
employer
employee
formal education
non‑formal education
informal education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Gatunki wypowiedzi urzędowych w getcie warszawskim (na podstawie zbiorów archiwalnych Ringelbluma)
Autorzy:: TYMIAKIN, LESZEK
Data publikacji:: 2018
Wydawca:: Uniwersytet Opolski
Tematy:: Warsaw Ghetto
formal genres
appraisal; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Formalna analiza albańskich derywatów przymiotnikowych
Autorzy:: Karasiński, Artur
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:: Albanian
word formation
formal analysis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Formal model of time point-based sequential data for OLAP-like analysis
Autorzy:: Bębel, B.
Morzy, T.
Królikowski, Z.
Wrembel, R.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: OLAP
sequential data
formal model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: In good form : arguing for epistemic norms of credence
Autorzy:: Wroński, Leszek
Data publikacji:: 2018
Wydawca:: Jagiellonian University Press
Słowa kluczowe:: Dutch books
formal epistemology
accuracy; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Czy mówiąc prostszym językiem, mówimy prościej? Formalnie narzędnikowe frazy charakteryzujące mówienie
Autorzy:: Kubicka Emilia
Tematy:: metatext
formal instrumental case
adverbials; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Logical Analysis of the Concept of Beauty
Autorzy:: Bertato Fábio Maia
San Martin Gabriel
Tematy:: beauty
logic
aesthetics
formal approaches; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Neformální praxe a prostředí byrokracie: role habitu při formování rezistence
Informal practices and bureaucracy: the role of habitus in resistence
Autorzy:: Hulec Pavel
Tematy:: bureaucracy
resistance
habitus
formal organisation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: ‘OSOBA’ – kategoria gramatyczna?
‘PERSON’ – A GRAMMATICAL CATEGORY?
Autorzy:: Topolińska Zuzanna
Tematy:: person
semantic paradigm
formal paradigm; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Formal model of time point-based sequential data for OLAP-like analysis
Autorzy:: Bębel, B.
Morzy, T.
Królikowski, Z.
Wrembel, R.
Data publikacji:: 2014
Słowa kluczowe:: OLAP
sequential data
formal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Time-Varying Distributed H Systems: An Overview
Autorzy:: Margenstern, M.
Verlan, S.
Rogozhin, Y.
Data publikacji:: 2005
Słowa kluczowe:: biomolecular computing
splicing
formal grammars; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: On the Density of Regular Languages
Autorzy:: Koga, Toshihiro
Data publikacji:: 2019
Słowa kluczowe:: formal languages
regular languages
density; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A Formal Model of Multi-Agent Organisations
Autorzy:: Köhler, M.
Data publikacji:: 2007
Słowa kluczowe:: multi-agent systems
formal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Update of Probabilistic Beliefs: Implementation and Parametric Verification
Autorzy:: Budzyńska, K.
Kacprzak, M.
Rembelski, P.
Data publikacji:: 2010
Słowa kluczowe:: formal frameworks
uncertainty in persuasion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Formal verification of STPA with model checking
Autorzy:: Kwon, Ryeonggu
Kwon, Gihwon
Data publikacji:: 2023
Słowa kluczowe:: formal verification
model checking
STPA; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: The formative role of media and social transformation on attitudes to sex education
Autorzy:: Karolina Czerwiec
Katarzyna Potyrała
Data publikacji:: 2014-03-28
Tematy:: formal and non-formal education
media
sex education
social transformation
teacher and student attitudes; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Edukacyjne walory gry "Minecraft". Analiza narracji uczniów i edukatorów
Educational aspects of video game Minecraft. An analysis of students’ and educators’ narratives
Autorzy:: Zaworska-Nikoniuk, Dorota
Data publikacji:: 2020-03-31
Wydawca:: Uniwersytet Gdański. Wydawnictwo Uniwersytetu Gdańskiego
Tematy:: video games
formal education
non-formal education
media education
game research
ludology
new media; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek, Janusz
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Formalna analiza albańskich derywatów przymiotnikowych
Autorzy:: Artur Karasiński
Data publikacji:: 2015-05-01
Tematy:: Albanian
word formation
formal analysis; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: The Specific of Scholar Dropout in Students’ Opinion
Autorzy:: Valentin Cosmin Blândul
Adela Bradea
Data publikacji:: 2016-02-01
Tematy:: attitude
formal education
scholar dropout; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: The principles of non-formal, free education on the examples of schools described by David Gribble in World Apart and Lifelines
Autorzy:: Arleta Suwalska
Tematy:: NON-FORMAL EDUCATION
FREE EDUCATION; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: ‘OSOBA’ – kategoria gramatyczna?
Autorzy:: Topolińska, Zuzanna
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: person
semantic paradigm
formal paradigm; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: ‘OSOBA’ – kategoria gramatyczna?
Autorzy:: Zuzanna Topolińska
Data publikacji:: 2017
Tematy:: person
semantic paradigm
formal paradigm; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: On naturality of the formal Euler operator
Autorzy:: Mikulski, Włodzimierz
Data publikacji:: 2005
Słowa kluczowe:: natural operator
formal Euler operator; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Wsparcie edukacji formalnej z wykorzystaniem edukacji pozaformalnej – warsztaty interaktywne
Support for Formal Education with the Use of Non-Formal Education – Interactive Workshops
Autorzy:: WARCHOŁ, TOMASZ
Data publikacji:: 2017
Wydawca:: Uniwersytet Rzeszowski
Tematy:: warsztaty interaktywne
edukacja formalna
technologia
edukacja pozaformalna
interactive workshops
formal education
technology
non-formal education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Kształcenie osób dorosłych jako czynnik zwiększania poziomu innowacyjności krajów Unii Europejskiej
Adult Education as a Factor Increasing the Innovativeness of European Union Countries
Autorzy:: Grażyna Węgrzyn
Data publikacji:: 2019
Tematy:: innowacyjność
kształcenie dorosłych
kształcenie formalne
kształcenie pozaformalne
adult education
formal education; innovativeness
non-formal education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Wsparcie edukacji formalnej z wykorzystaniem edukacji pozaformalnej – warsztaty interaktywne
Support for Formal Education with the Use of Non-Formal Education – Interactive Workshops
Autorzy:: WARCHOŁ TOMASZ
Data publikacji:: 2017
Tematy:: warsztaty interaktywne
edukacja formalna
technologia
edukacja pozaformalna
interactive workshops
formal education
technology
non-formal education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Uwarunkowania i znaczenie szkoleń w zdobywaniu i rozwijaniu wiedzy pracowników małych firmach technologicznych
Factors and the Importance of Formal Training in Knowledge and Skills Acquisition and Development of Employees in Small Technology Firms
Autorzy:: Jaskanis Adrianna
Data publikacji:: 2016-12-12
Tematy:: szkolenie
firma technologiczna
formalne procesy uczenia się
formal training
technology firm
learning
formal learning processes; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Gramatyki formalne - kilka sposobów rozwiązania prostego zadania
Autorzy:: Momot, Alina
Data publikacji:: 2019
Słowa kluczowe:: język formalny
gramatyki formalne
lingwistyka formalna
lingwistyka komputerowa
formal language
formal grammars
linguistics
computational linguistics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek Janusz
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: The formal inverse function theorem
Twierdzenie o formalnym odwrotnym
Autorzy:: Gawron, Beata
Słowa kluczowe:: formal power series, ring of formal power series, formal inverse function theorem, Jacobian conjecture
szereg formalny, pierścień szeregów formalnych, twierdzenie o formalnym odwrotnym, hipoteza Jakobianowa; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Някои формообразувателни типове при глаголи от първо спрежение в българския книжовен език
Autorzy:: Татяна [Tatiana] Александрова [Aleksandrova]
Руска [Ruska] Станчева [Stancheva]
Data publikacji:: 2018-12-24
Tematy:: Bulgarian verbs
formal structure
inflection types in Bulgarian verbs
formal features
classification criteria
normative grammar; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Kształcenie osób dorosłych jako czynnik zwiększania poziomu innowacyjności krajów Unii Europejskiej
Adult Education as a Factor Increasing the Innovativeness of European Union Countries
Autorzy:: Węgrzyn, Grażyna
Data publikacji:: 2019
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: innowacyjność
kształcenie dorosłych
kształcenie formalne
kształcenie pozaformalne
adult education
formal education; innovativeness
non-formal education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Uwarunkowania i znaczenie szkoleń w zdobywaniu i rozwijaniu wiedzy pracowników małych firmach technologicznych
Factors and the Importance of Formal Training in Knowledge and Skills Acquisition and Development of Employees in Small Technology Firms
Autorzy:: Jaskanis, Adrianna
Data publikacji:: 2016-12-12
Wydawca:: Uniwersytet Warszawski. Wydawnictwo Naukowe Wydziału Zarządzania
Tematy:: szkolenie
firma technologiczna
formalne procesy uczenia się
formal training
technology firm
learning
formal learning processes; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Някои формообразувателни типове при глаголи от първо спрежение в българския книжовен език
Autorzy:: Александрова [Aleksandrova], Татяна [Tatiana]
Станчева [Stancheva], Руска [Ruska]
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:: Bulgarian verbs
formal structure
inflection types in Bulgarian verbs
formal features
classification criteria
normative grammar; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Sculpture as a Code – Rhetorical Devices Used by the Sculptor
Autorzy:: Władyka-Łuczak, Zofia
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: visual communication
composition
formal image structure
formal narration
theory of vision and rhetoric
verbal communication
visual; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Anna Maria Kozanecka-Dymek
Data publikacji:: 2021-07-12
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Sculpture as a Code – Rhetorical Devices Used by the Sculptor
Autorzy:: Zofia Władyka-Łuczak
Data publikacji:: 2016
Tematy:: visual communication
composition
formal image structure
formal narration
theory of vision and rhetoric
verbal communication
visual; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Nondeterminism in Constructive Z
Autorzy:: Haghigh, H.
Mirian-Hosseinabadi, S-H.
Data publikacji:: 2008
Słowa kluczowe:: formal specifications
formal program development
constructive Z
Martin-Löf's theory of types
nondeterminism
modalities of nondeterminism; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Poincaré theorem and nonlinear PDEs
Autorzy:: Pliś, Maria
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: Laplace distributions
Laplace transforms
formal solutions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Borel resummation of formal solutions to nonlinear Laplace equations in 2 variables
Autorzy:: Pliś, Maria Ewa
Ziemian, Bogdan
Data publikacji:: 1997
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: Borel resummation
formal solutions
Laplace equation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Formal Theory and Value Judgments
Autorzy:: Kamiński, Marek
Lissowski, Grzegorz
Świstak, Piotr
Data publikacji:: 2014-01-07
Wydawca:: Polskie Towarzystwo Socjologiczne
Tematy:: formal theory
experiments
value judgments
rationality; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Принципи на изследването на формалните класове при глаголните лексеми в съвременния български книжовен език
Autorzy:: Станчева [Stancheva], Руска [Ruska]
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:: grammar
formal classification
verb lexemes
criteria; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Принципи на изследването на формалните класове при глаголните лексеми в съвременния български книжовен език
Autorzy:: Руска [Ruska] Станчева [Stancheva]
Data publikacji:: 2018-12-24
Tematy:: grammar
formal classification
verb lexemes
criteria; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Assessing FL pronunciation in a semi-immersion setting: The effects of CLIL instruction on Spanish-Catalan learners’ perceived comprehensibility and accentedness
Autorzy:: Lucrecia Rallo Fabra
María Juan-Garau
Data publikacji:: 2011
Tematy:: intelligibility
foreign accent
formal instruction
CLIL; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: FORMAL SEMANTICS AND PRAGMATICS: AN OVERVIEW OF SELECTED DEFINITIONS
Autorzy:: Stalmaszczyk P
Tematy:: CONTEXT
FORMAL SEMANTICS
PRAGMATICS
PHILOLOGY & LINGUISTICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Eugène Savitzkaya : une quête formelle pour savourer la vie
Eugène Svitzkaya: formal experiments in an effort to make the most of life
Autorzy:: Joanna Teklik
Data publikacji:: 2013
Tematy:: Belgium
contemporary novel
Savitzkaya
formal experiments; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: The Role of Associations of Municipalities in Non-formal Education
Autorzy:: Nieszporek Katarzyna
Grodzińska-Jurczak Małgorzata
Tematy:: non-formal education,
municipality,
sustainable development; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Autonomous Units to Model Interacting Sequential and Parallel Processes
Autorzy:: Hölscher, K.
Kreowski, H-J.
Kuske, S.
Data publikacji:: 2009
Słowa kluczowe:: autonomous units
graph transformation
formal semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Effective nuclear charge of an ion
Autorzy:: Stokłosa, A.
Zajęcki, J.
Kurek, S. S.
Data publikacji:: 2004
Słowa kluczowe:: effective nuclear charge
formal charge
ions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: A Quantifier-free First-order Knowledge Logic of Authentication
Autorzy:: Kurkowski, M.
Srebrny, M.
Data publikacji:: 2006
Słowa kluczowe:: verification
formal method
authentication
security
knowledge; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Row and Column Spaces of Matrices over Residuated Lattices
Autorzy:: Belohlavek, R.
Konecny, J.
Data publikacji:: 2012
Słowa kluczowe:: graded matrix
formal concept analysis
morphism; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: The equivalence problem of DOL and DFOL power series
Autorzy:: Honkala, J.
Data publikacji:: 1999
Słowa kluczowe:: DOL system
formal power series
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: A Formalization of Transition P Systems
Autorzy:: Jiménez, M.J.
Sancho-Caparrini, F.
Data publikacji:: 2002
Słowa kluczowe:: natural computing
P systems
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Autorzy:: Tveretina, O.
Data publikacji:: 2009
Słowa kluczowe:: formal methods
real-time
theorem proving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: ЄВРОПЕЙСЬКИЙ ГЛОСАРІЙ ОСВІТИ ДОРОСЛИХ
European Glossary of Adult Education
Autorzy:: Наталія Махиня
Data publikacji:: 2015-11-23
Tematy:: adult education
continuing education
lifelong education
theoretical directions
vocational education
communal education formal/non-formal education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Designing a modern cloud-oriented virtual personalized educational environment
Autorzy:: Nataliia Morze
Svitlana Spivak
Eugenia Smyrnova-Trybulska
Data publikacji:: 2015-06-30
Tematy:: personal e-learning environment
cloud computing
network services
distance courses
formal
informal and non-formal learning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Sculpture as a Code – Rhetorical Devices Used by the Sculptor
Autorzy:: Władyka-Łuczak, Zofia
Współwytwórcy:: The University of Lodz, Faculty of Philology, Department of Journalism and Public Communication
zet-zet@zet-zet.com.pl
Data publikacji:: 2017-04-27T12:11:15Z
Wydawca:: Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: visual communication
composition
formal image structure
formal narration
theory of vision and rhetoric
verbal communication
visual; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: Warunki i braki formalne pism procesowych w cywilnym postępowaniu nieprocesowym
Conditions and Formal Deficiencies of Pleadings in Civil Non-litigious Proceedings
Autorzy:: Edyta Gapska
Data publikacji:: 2022-02-28
Tematy:: pisma procesowe
postępowanie nieprocesowe
warunki formalne
braki formalne
pleadings
non-litigious proceedings
formal conditions
formal deficiences; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Kozanecka-Dymek, Anna Maria
Data publikacji:: 2021-07-12
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: Designing a modern cloud-oriented virtual personalized educational environment
Autorzy:: Morze, Nataliia
Spivak, Svitlana
Smyrnova-Trybulska, Eugenia
Data publikacji:: 2015-06-30
Wydawca:: Wydawnictwo Adam Marszałek
Tematy:: personal e-learning environment
cloud computing
network services
distance courses
formal
informal and non-formal learning; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Formal Theory and Value Judgments
Autorzy:: Marek Kamiński
Grzegorz Lissowski
Piotr Świstak
Data publikacji:: 2014-01-07
Tematy:: formal theory
experiments
value judgments
rationality; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: LOGICKÁ (NE)KONZISTENTNOSŤ NORMATÍVNEHO SYSTÉMU A JEJ METODOLOGICKÉ KOREKCIE
Logical (in)consistency of a normative system and its methodical corrections
Autorzy:: Gahér František
Števček Marek
Tematy:: LOGICAL INCONSISTENCY
FORMAL LOGIC
METHODOLOGY
INTERPRETATION; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: O frazie nominalnej liczebnikowej w pozycji podmiotu po raz kolejny
Again on numeral-nominal phrases in subject position
Autorzy:: Świdziński Marek
Tematy:: formal grammar
nominal phrase
subject
numerals; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: A Formal Model of an Argumentative Dialogue in the Management of Emotions
Autorzy:: Kacprzak Magdalena
Sawicka Anna
Zbrzezny Andrzej
Rzeńca Krzysztof
Żukowska Katarzyna
Data publikacji:: 2018-12-15
Tematy:: argumentative dialogue
emotions
protocol
formal model; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: High-level methodologies for grammar engineering. Introduction to the special issue
Autorzy:: Duchier, D.
Parmentier, Y.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: grammar engineering
formal language
syntax
semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Autorzy:: Tveretina, O.
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: formal methods
real-time
theorem proving; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: The Role of Associations of Municipalities in Non-formal Education
Autorzy:: Nieszporek, Katarzyna
Grodzińska-Jurczak, Małgorzata
Data publikacji:: 2014
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: non-formal education,
municipality,
sustainable development; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Eugène Savitzkaya: une quête formelle pour savourer la vie
Eugène Svitzkaya: formal experiments in an effort to make the most of life
Autorzy:: Teklik, Joanna
Data publikacji:: 2013-01-01
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: Belgium
contemporary novel
Savitzkaya
formal experiments; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: High-level methodologies for grammar engineering. Introduction to the special issue
Autorzy:: Duchier, D.
Parmentier, Y.
Data publikacji:: 2015
Słowa kluczowe:: grammar engineering
formal language
syntax
semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Temat