No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Spis treściSpis treści
Find similar objects | Add to bibliography
WstępWstęp
Comparing SAT- and SMT- based bounded model checking for ECTL propertiesComparing SAT- and SMT- based bounded model checking for ECTL properties
Some properties of generalized Tribonacci quaternionsSome properties of generalized Tribonacci quaternions
The Concept of Implementation of the Decentralized Application Level Structure for Providers of a Typical Next Generation NetworkThe Concept of Implementation of the Decentralized Application Level Structure for Providers of a Typical Next Generation Network
Some remarks on strong sequencesSome remarks on strong sequences
Sangaku fan shape problemsSangaku fan shape problems
On F(p, n)-Fibonacci bicomplex numbersOn F(p, n)-Fibonacci bicomplex numbers
How Hungarian teachers think about combinatorics and its teachingHow Hungarian teachers think about combinatorics and its teaching
GeoGebra and problems of tangent circlesGeoGebra and problems of tangent circles
An Estimation Method of Traffic Safety Level of Vehicles on a Level CrossingAn Estimation Method of Traffic Safety Level of Vehicles on a Level Crossing
SMT-based reachability analysis for Simply-Timed SystemsSMT-based reachability analysis for Simply-Timed Systems
Expected Volumes of Requests in Systems of the Queueing Network with a Limited Number of Waiting PlacesExpected Volumes of Requests in Systems of the Queueing Network with a Limited Number of Waiting Places