No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
SAT-based searching for k-quasi-optimal runs in weighted timed automataSAT-based searching for k-quasi-optimal runs in weighted timed automata
Find similar objects | Add to bibliography
An influence of service discipline on characteristics of a single-server queue with non-homogeneous customersAn influence of service discipline on characteristics of a single-server queue with non-homogeneous customers
Processor sharing queueing systems with non-homogeneous customersProcessor sharing queueing systems with non-homogeneous customers
Valuation graphs for propositional logicValuation graphs for propositional logic
Modular number systems in the complex planeModular number systems in the complex plane
On some specification languages of cryptographic protocolsOn some specification languages of cryptographic protocols
Axisymmetric solutions to the Cauchy problem for time-fractional diffusion equation in a circleAxisymmetric solutions to the Cauchy problem for time-fractional diffusion equation in a circle
A note on SI-spaces and MI-spacesA note on SI-spaces and MI-spaces
The bounded local operators in the Banach space of Holder functionsThe bounded local operators in the Banach space of Holder functions
On some generalizations of Gołąb-Schinzel functional equationOn some generalizations of Gołąb-Schinzel functional equation
[...]-density topology[...]-density topology
Endomorphism monoid of diamond product of two common complete bipartite graphsEndomorphism monoid of diamond product of two common complete bipartite graphs
On connected functions in ordered spacesOn connected functions in ordered spaces
Some counting formulas for finite distributive latticesSome counting formulas for finite distributive lattices
The logic dual to Sobociński's n-valued logicThe logic dual to Sobociński's n-valued logic