Results 41 to 50 of about 3,135,943 (59)

Experiences using Z animation tools. [PDF]

open access: yes, 2001
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  

Tou En Hagiois Patros Hemon Epiphaniou Episkopou Konstanteias Tes Kyprou Hapanta Ta Sozomena = Sancti Patris Nostri Epiphanii Constantiae, Sive Salaminis In Cypro, Episcopi, Opera Omnia : in duos Tomos distributa / Dionysius Petavius [...] recensuit, Latine vertit, & Animadversionibus illustravit. [T. 1

open access: yes
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

open access: yes, 2012
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

open access: yes
<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]

open access: yes, 2000
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

open access: yes, 2016
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

open access: yes, 2010
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

open access: yes, 2014
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

De Palencia á La Coruña

open access: yes, 1883
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]

open access: yes, 2007
ISSN 0209 ...
Mimouni, Simon Claude
core  

Home - About - Disclaimer - Privacy