Wszystkie pola: Abstract - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Model Checking Abstract State Machines with Answer Set Programming
Autorzy:: Tang, C.K.F.
Ternovska, E.
Data publikacji:: 2007
Słowa kluczowe:: abstract state machines; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Fifty years history of JEOL [abstract]
Autorzy:: Asanuma, M.
Data publikacji:: 2000
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Abstract as a tool for organizing and managing information and knowledge
Abstrakt jako narzędzie organizacji i zarządzania informacją i wiedzą
Autorzy:: Szyszkowska, Kinga
Słowa kluczowe:: Abstrakt, Adnotacja, Analiza dokumentacyjna, Analiza dokumentacyjna deskryptorowa, Analiza dokumentacyjna omawiająca, Analiza dokumentacyjna wskazująca, Informacja, Wiedza, Zarządzanie informacją, Zarządzanie wiedzą.
Abstract, annotation, slanted abstract, descriptive abstract, informative abstract, indicative abstract, information, knowledge, information management, knowledge management.; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Observational Completeness on Abstract Interpretation
Autorzy:: Amato, G.
Scozzari, F.
Data publikacji:: 2011
Słowa kluczowe:: abstract interpretation
completeness
static analysis
cellular automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Personifikacje maszyn abstrakcyjnych
PERSONIFICATIONS OF ABSTRACT MACHINES
Autorzy:: Jan Potkański
Data publikacji:: 2012-10
Tematy:: ABSTRACT MACHINES
ANTHROPOMORPHIC MONSTERS
CYBORGS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: RAM Simulation of BGS Model of Abstract-state Machines
Autorzy:: Seshadhri, S.
Seth, A.
Biswas, S.
Data publikacji:: 2007
Słowa kluczowe:: abstract state machines
BGS model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: First and Second Order Recursion on Abstract Data Types
Autorzy:: Xu, J.
Zucker, J.
Data publikacji:: 2005
Słowa kluczowe:: model of computation
many-sorted algebras
recursive schems
recursive procedures
fixed point
computation on abstract data types
abstract computability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Abstract Interpretation against Races
Autorzy:: Barbuti, R.
Cataudella, S.
Tesei, L.
Data publikacji:: 2004
Słowa kluczowe:: calculus
mathematical function
mathematical analysis
computer software
abstract; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Invariant approximations
Autorzy:: Smoluk, Antoni
Data publikacji:: 1981
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Abstract approximation theory (approximation in normed linear spaces and other abstract spaces); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The Transfiguration of the Real in Abstract Painting
Autorzy:: Jean-Jacques Wunenburger
Data publikacji:: 2016-06-01
Tematy:: Abstract Painting
Representation
Reproduction
Invisible
Transfiguration; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: On the relations between abstract and geometrical equivalence of abstract objects
Autorzy:: Kucharzewski, Mieczysław
Szociński, Brunon
Żabka, Marek
Data publikacji:: 1990
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Embodied cognition and the problem of abstract concepts
Autorzy:: Balcerak, Paweł
Data publikacji:: 2021
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Tematy:: embodiment
meaning
abstract and concrete concepts
language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
Autorzy:: De Francesco, N.
Santone, A.
Tesei, L.
Data publikacji:: 2003
Słowa kluczowe:: model checking
abstract interpretation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Minimal projective operators
Autorzy:: Lewanowicz, Stanisław
Data publikacji:: 1979
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Abstract approximation theory (approximation in normed linear spaces and other abstract spaces); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Forward and backward static analysis for critical numerical accuracy in floating-point programs
Autorzy:: Thushara, M. G.
Somasundaram, K.
Data publikacji:: 2020
Słowa kluczowe:: abstract interpretation
backward static analysis
floating-point numbers
round-off errors
abstract domain; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Standard Models of Abstract Intersection Theory for Operators in Hilbert Space
Autorzy:: Banaszak, G.
Uetake, Y.
Data publikacji:: 2015
Słowa kluczowe:: abstract intersection theory
Riemann hypothesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Abstract Objects in a Metaphysical Perspective
Autorzy:: Kulieshov Aleksandr
Data publikacji:: 2018-02-25
Tematy:: metaphysics
abstract objects
metaphysical realism
nominalism
forms
spatio-temporal characteristics
grounding; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework
Autorzy:: Alpuente, Maria
Pardo, Daniel
Villanueva, Alicia
Data publikacji:: 2020
Słowa kluczowe:: contract inference
symbolic execution
abstract subsumption
deductive verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: A relation between unambiguous regular expressions and abstract data types
Autorzy:: Preoteasa, V.
Data publikacji:: 1999
Słowa kluczowe:: abstract data types
categorical model
unambiguous regular expressions
finite automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Abstract Interpretations in the Framework of Invariant Sets
Autorzy:: Alexandru, A.
Ciobanu, G.
Data publikacji:: 2016
Słowa kluczowe:: invariant sets
finitely supported object
invariant Galois connection
abstract analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Abstract simplicial complexes
Autorzy:: Pąk, Karol
Data publikacji:: 2010
Tematy:: Topologia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Abstract
Tematy:: Nauki Humanistyczne i Społeczne; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Abstract
Tematy:: Nauki Humanistyczne i Społeczne; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Abstract Grothendieck rings
Autorzy:: Szymiczek, Kazimierz
Data publikacji:: 1987
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Abstract linear dependence
Autorzy:: Rado, R.
Data publikacji:: 1966
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Abstract covariant derivative
Autorzy:: Sikorski, Roman
Data publikacji:: 1967
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Solving the abstract planning problem using genetic algorithms
Autorzy:: Skaruz, J.
Niewiadomski, A.
Penczek, W.
Data publikacji:: 2013
Słowa kluczowe:: abstract planning
genetic algorithms
web service composition; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Abstract exterior differential
Autorzy:: Sikorski, Roman
Data publikacji:: 1972
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Abstract covering theorems
Autorzy:: Fine, A.
Data publikacji:: 1963
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Abstraktní autor a abstraktní čtenář
THE ABSTRACT AUTHOR AND THE ABSTRACT READER
Autorzy:: Schmid Wolf
Tematy:: AUTHOR
LITERARY THEORY
NARATOLOGY
PHILOLOGY & LINGUISTICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs
Autorzy:: Bernardeschi, C.
De Francesco, N.
Lettieri, G.
Data publikacji:: 2004
Słowa kluczowe:: language
security model
concrete semantics
abstract semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Structural logic and abstract elementary classes with intersections
Autorzy:: Boney, Will
Vasey, Sebastien
Data publikacji:: 2019
Słowa kluczowe:: abstract elementary classes
intersections
universal classes
structural logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: The Usefulness of the Definitions of Abstract Nouns in OALD7 and NODE
Autorzy:: Marta Grochocka
Data publikacji:: 2008-12-01
Tematy:: Abstract nouns
definitions
OALD7
NODE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Solving the abstract planning problem using genetic algorithms
Autorzy:: Skaruz, J.
Niewiadomski, A.
Penczek, W.
Data publikacji:: 2013
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: abstract planning
genetic algorithms
web service composition; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Abstract logic of oppositions
Autorzy:: Schang, Fabien
Data publikacji:: 2012
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Products of abstract algebras
Autorzy:: Sikorski, Roman
Data publikacji:: 1952
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: THE MINDS ANCHORAGE IN ABSTRACT OBJECTS (Zakorzenienie umyslu w obiektach abstrakcyjnych)
Autorzy:: Pilat Robert
Tematy:: ABSTRACT OBJECTS
CONCEPTUAL INTUITION
EMPTY NAMES
FREGEAN SENSE
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Models of a Computer System with an Abstract Graphic Element
Autorzy:: Ovsyak, V.
Ovsyak, O.
Kozelko, M.
Petrushka, J.
Data publikacji:: 2016
Słowa kluczowe:: computer system model
abstract graphic element
graph
class diagram; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: A note on stability of solutions for abstract semilinear Dirichlet problems
Autorzy:: Galewski, M
Data publikacji:: 2006
Słowa kluczowe:: abstract Dirichlet problem
dual variational method
stability
continuous dependence on parameters; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Spojrzenie na chińską sztukę abstrakcyjnego malowania tuszem [recenzja książki Breaking the Ink: Abstract Ink Art in Mainland China]
A look at the Chinese art of abstract ink painting [book review Breaking the Ink: Abstract Ink Art in Mainland China]
Взгляд на китайское искусство абстрактной живописи тушью [рецензия книги Breaking the Ink: Abstract Ink Art in Mainland China]
Autorzy:: Hanna Kupś
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Abstrakcyjna tradycja
Autorzy:: Janowski, M.
Data publikacji:: 2011
Słowa kluczowe:: dom prywatny
historyzm
tradycja
forma konwencjonalna
forma abstrakcyjna
private house
historism
tradition
conventional form
abstract form; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars
Autorzy:: Pogodalla, S.
Data publikacji:: 2017
Słowa kluczowe:: TAGs
Tree-Adjoining Grammars
syntax-semantics interface
ACGs
Abstract Categorial Grammars; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A Comparative Test on the Enumeration of Extensions in Abstract Argumentation
Autorzy:: Bistarelli, S.
Rossi, F.
Santini, F.
Data publikacji:: 2015
Słowa kluczowe:: combinatorial enumeration problems
group extensions
mathematical models
comparative studies
abstract algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Spojrzenie na chińską sztukę abstrakcyjnego malowania tuszem [recenzja książki Breaking the Ink: Abstract Ink Art in Mainland China]
A look at the Chinese art of abstract ink painting [book review Breaking the Ink: Abstract Ink Art in Mainland China]
Взгляд на китайское искусство абстрактной живописи тушью [рецензия книги Breaking the Ink: Abstract Ink Art in Mainland China]
Autorzy:: Kupś, Hanna
Data publikacji:: 2021-09-30
Wydawca:: Wydawnictwo Adam Marszałek
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Linear independence in abstract algebras
Autorzy:: Urbanik, Kazimierz
Data publikacji:: 1966
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: The Color Red and its Pathetic Value in Abstract Expressionism and Late Surrealism
Autorzy:: Christophe Ippolito
Data publikacji:: 2020-07-14
Tematy:: red
Surrealism
Abstract Expressionism
Riopelle
Breton
rouge
surréalisme
expressionnisme abstrait; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars
Autorzy:: Pogodalla, S.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: TAGs
Tree-Adjoining Grammars
syntax-semantics interface
ACGs
Abstract Categorial Grammars; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Hoare-Style Verification of Graph Programs
Autorzy:: Poskitt, C. M.
Plump, D.
Data publikacji:: 2012
Słowa kluczowe:: Graph Programs
graph transformation
abstract syntax; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Baire category from an abstract viewpoint
Autorzy:: Morgan, John
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Categorical abstract algebraic : referental π-institutions
Autorzy:: Voutsadakis, George
Data publikacji:: 2015
Tematy:: Algebra
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Abstract" wg kryterium: Wszystkie pola