Results 41 to 50 of about 3,135,943 (59)
Experiences using Z animation tools. [PDF]
In this paper we describe our experience of using three different animation systems. We searched for and decided to use these tools in the context of a project which involved developing formal versions (in Z) of informal requirements documents, and then ...
Reeves, Steve, Reeve, Greg
core
Editio Nova juxta Parisinam Anni MDCXXII adornata\; Cui accessit Vita Dionysii Petavii ab Henr. Valesio Oratione descripta\; et appendices geminae pro vindicandis Animadversionibus, altera adversus Maturinum Simonium\; altera adversus Claudium Salmasium,
Epifaniusz z Salaminy (święty ; ok. 315-403)
core
Zaburzenia lipidowe u pacjentów z zawrotami głowy
Wprowadzenie: Celem pracy była ocena zaburzeń lipidowych u pacjentów z zawrotami głowy. Materiał i metody: Badania przeprowadzono na grupie 918 chorych, w tym 598 kobiet i 320 mężczyzn, w wieku 18–83 lat (średnia wieku 55±0,5), leczonych w latach 2009 ...
Jurek Olszewski +4 more
core
z-haiman/RBC-GEM: RBC-GEM 1.0.0
<p>First major release of RBC-GEM, changes will be outlined in upcoming manuscript!</p> <p><strong>Full Changelog</strong>: https://github.com/z-haiman/RBC-GEM/compare/0.3.0...1.0.0</p ...
z-haiman
core +1 more source
Data structures for Z testing tools. [PDF]
This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation.
Utting, Mark
core
Trening siłowy w rehabilitacji osób dorosłych z mózgowym porażeniem dziecięcym
W artykule zaprezentowano przegląd piśmiennictwa dotyczącego zastosowania treningu siłowego kończyn dolnych w rehabilitacji dorosłych pacjentów z mózgowym porażeniem dziecięcym.
Jakub Sławomir Gąsior +3 more
core +1 more source
Powikłania neurologiczne współistniejące z niewydolnością nerek
Powikłania neurologiczne w przebiegu niewydolności nerek, zarówno te spowodowane mocznicą, jak i wynikające z jej leczenia, dotyczą ośrodkowego oraz obwodowego układu nerwowego, jak również tkanki mięśniowej i stanowią przyczynę zwiększonej śmiertelności
Maria Łukasik
core
Rzadkie – monogenetyczne – przyczyny udaru mózgu związanego z małymi naczyniami
Udar mózgu to najczęstsza przyczyna niepełnosprawności i trzeci co do częstości powód zgonów wśród osób dorosłych. Wskutek udaru corocznie umiera na świecie około 6,15 mln ludzi.
Karol Jastrzębski +2 more
core +1 more source
Con [32] p. de propaganda editorialLos mapas pleg. litogr.: "Imp. lit. de Alonso y Z.
Becerro de Bengoa, Ricardo, 1845-1902
core
Kwestia kollyridianek / kollyridian Epifaniusza z Salaminy [PDF]
ISSN 0209 ...
Mimouni, Simon Claude
core

