Results 11 to 20 of about 3,164,470 (70)
Object orientation without extending Z [PDF]
, 2002 The good news of this paper is that without extending Z, we can elegantly specify object-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch).
Mark Utting +3 more
core +1 more source
Potencjalna toksyczność klozapiny wynikająca z interakcji [PDF]
, 2015 Klozapina to lek podlegający intensywnemu metabolizmowi wątrobowemu z udziałem izoenzymów cytochromu P450 (głównie 1A2, w mniejszym stopniu 3A4 i 2D6). Łączne stosowanie leków hamujących wymienione izoenzymy, czyli np.
Siwek, Marcin, Marcin Siwek
core +2 more sources
Kiedy specjalista z zakresu zdrowia psychicznego spotyka się z przemocą – rozpoznawanie i zgłaszanie krzywdzenia dziecka [PDF]
, 2014 Specjaliści pracujący z dziećmi i rodzinami z reguły nie mają wątpliwości, że dzieciom krzywdzonym w rodzinie należy pomagać. Ale między deklaracjami pomocy a praktyką istnieje przepaść.
Krzysztof Szwajca, Szwajca, Krzysztof
core +2 more sources
Optat De Milève. Traité contre les donatistes.
, 2001 Savon Hervé. Optat De Milève. Traité contre les donatistes.. In: Revue belge de philologie et d'histoire, tome 79, fasc. 1, 2001. Antiquité - Oudheid. pp.
Savon, Hervé
core +1 more source
Sur une inscription concernant Optat de Timgad
, 1978 Marrou Henri-Irénée. Sur une inscription concernant Optat de Timgad. In: Christiana tempora. Mélanges d'histoire, d'archéologie, d'épigraphie et de patristique. Rome : École Française de Rome, 1978. pp. 145-148. (Publications de l'École française de Rome,
Marrou, Henri-Irénée
core +1 more source
Revising Z: part II - logical development [PDF]
, 1999 This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journal) we introduced a simple specification logic ZC comprising a logic and a semantics (in ZF set theory). We then provided an interpretation for (a rational
Reeves, Steve, Henson, Martin C.
core +1 more source
Constraints on Reionization and Source Properties from the Absorption Spectra of z > 6.2 Quasars
, 2007 We make use of hydrodynamical simulations of the intergalactic medium (IGM) to create model quasar absorption spectra. We compare these model spectra with the observed Keck spectra of three z > 6.2 quasars with full GunnPeterson troughs: SDSS J1148+5251 (
Haiman Z., MESINGER, ANDREI ALBERT
core +1 more source
Revising Z: part I - logic and semantics [PDF]
, 1999 This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Reeves, Steve, Henson, Martin C.
core +1 more source
[archive] Huwelijksaankondiging Léonie De Rycker en Optat Scailquin.
, 1880 Monsieur Jean De Rycker a l'honneur de vous faire part du mariage de sa fille avec Monsieur Optat Scailquin, Avocat, membre de la Chambre des ReprésentantsBijzondere collectiesGenealogische ...
core
, 2003 In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound.
Reeves, Steve, Henson, Martin C.
core +1 more source