Preeminence of Staphylococcus aureus in Infective Endocarditis: A 1-Year Population-Based Survey von Selton-Suty, Christine, Célard, Marie, Le Moing, Vincent, Doco-Lecompte, Thanh, Chirouze, Catherine, Iung, Bernard, Strady, Christophe, Revest, Matthieu, Vandenesch, François, Bouvet, Anne, Delahaye, François, Alla, François, Duval, Xavier, Hoen, Bruno

Volltext

EB3: an entity-based black-box specification method for information systems von Frappier, M., St-Denis, R.

Volltext

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications von Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Volltext

Supporting Reuse in Event B Development: Modularisation Approach von Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo

Volltext

Simple Scoring System to Predict In‐Hospital Mortality After Surgery for Infective Endocarditis von Gatti, Giuseppe, Obadia, Jean‐François, Alla, François, Tattevin, Pierre, Celard, M., Iung, B., Poyart, C., Selton‐Suty, C., Strady, C., Vandenesch, F., Hoen, B., Tattevin, P., Revest, M., Carteaux, J. P., Lion, C., Aissa, N., Strady, C., Vernet, V., Iung, B., Celard, M., Obadia, J. F., Frappier, J. M., Sotto, A., Poyart, C., Vandenesch, F., Abrial, E., Baille, N., Battistella, P., Baumard, S., Bialek, S., Bourdon, J. L., Bouvet, A., Bricaire, F., Brochet, E., Bruntz, J. F., Cady, A., Caplan, M. P., Carette, B., Chamagne, H., Champagne, H., Chanques, G., Chastre, J., Chirouze, C., Chometon, F., Daneluzzi, V., David, L., Delahaye, F., Delcey, V., Duval, X., Descotes‐Genon, V., Duchene, F., Ederhy, S., Epaulard, O., Fauveau, E., Freysz, L., Gandjbach, I., Grentzinger, A., Groben, L., Guéret, P., Henry, P., Herson, S., Hoen, B., Hustache‐Mathieu, L., Huttin, O., Imbert, S., Iung, B., Kaaki, M., Konate, A., Kural Menasche, S., Lafitte, A., Lefort, A., Leguerrier, A., Leport, C., Leroy, J., Lesprit, P., Letranchant, L., Lorentz, C., Mabo, P., May, T., Michelet, C., Mouly, S., Nataf, P., Papo, T., Perez, P., Philippart, F., Pradier, P., Richemond, J., Rodermann, M., Roigt, I., Ruyer, O., Saada, M., Schwartz, J., Sudrial, J., Terrier De La Chaise, A., Thomas, M., Tristan, A., Trouillet, J. L., Tual, L., Verdier, F., Wolff, M.

Volltext

Combining UML, ASTD and B for the formal specification of an access control filter von Milhau, J., Idani, A., Laleau, R., Labiadh, M. A., Ledru, Y., Frappier, M.

Volltext

Proving the Absence Property Pattern Using the B Method von Mammar, A., Frappier, M., Chane-Yack-Fa, R.

Volltext

Écriture, performance et théâtralité dans l'œuvre de Georges Sand von Auraix-Jonchière, Pascale, Bara, Olivier, Boutin, Aimée, Bray, Patrick M, Bui, Véronique, Colombo, Laura, Corkle, Rachel, Crummy, M. Ione, Didier, Béatrice, Frappier-Mazur, Lucienne, Ghillebaert, Françoise, Gould, Evlyn, Grossir, Claudine, Kafanova, Olga, Kallel, Monia, Kerlouégan, François, Laporte, Dominique, Le Mens, Magali, Long, Daniel, Malkin, Shira, Marcoline, Anne, Masson, Catherine, Mathias, Manon, Michelot, Isabelle, Nesci, Catherine, Novak-Lechevalier, Agathe, Ponzetto, Valentina, Rea, Annabelle M, Wooler, Stephanie, Worvill, Romira M

Volltext

Combined Bacterial Meningitis and Infective Endocarditis: When Should We Search for the Other When Either One is Diagnosed? von Béraud, Guillaume, Tubiana, Sarah, Erpelding, Marie-Line, Le Moing, Vincent, Chirouze, Catherine, Gorenne, Isabelle, Manchon, Pauline, Tattevin, Pierre, Vernet, Veronique, Varon, Emmanuelle, Hoen, Bruno, Duval, Xavier

Volltext

Morphogenèse des barrages de travertin de Coal River Springs, sud-est du Territoire du Yukon von Geurts, Marie-Anne, Frappier, Monique, Tsien, Hsien Ho

Volltext

A relational calculus for program construction by parts von Frappier, M., Mili, A., Desharnais, J.

Volltext

Matelas: A Predicate Calculus Common Formal Definition for Social Networking von Catano, Nestor, Rueda, Camilo

Volltext

Premiers souvenirs : maître et serviteur / Léon Tolstoï ; traduit par E. Gourévitch et G. Frappier von Tolstoï, Léon (1828-1910). Auteur du texte

Volltext bestellen

Translating Z to Alloy von Malik, Petra, Groves, Lindsay, Lenihan, Clare

Volltext

Incidence, risk factors, and prognosis of a moderate increase in plasma creatinine early after cardiac surgery von Ryckwaert, Frédérique, Boccara, Gilles, Frappier, Jean-Marc, Colson, Pascal H

Volltext

Infective Endocarditis Related to Unusual Microorganisms: A Prospective Population-Based Study von Limonta, Silvia, Cambau, Emmanuelle, Erpelding, Marie-Line, Piau-Couapel, Caroline, Goehringer, François, Plésiat, Patrick, Revest, Matthieu, Vernet-Garnier, Véronique, Moing, Vincent Le, Hoen, Bruno, Duval, Xavier, Tattevin, Pierre

Volltext

Automatic Verification for a Class of Proof Obligations with SMT-Solvers von Déharbe, David

Volltext

Structured Event-B Models and Proofs von Hallerstede, Stefan

Volltext

Development of a Synchronous Subset of AADL von Filali-Amine, Mamoun, Lawall, Julia

Volltext

A Holocene lacustrine record of environmental change in northeastern Prince of Wales Island, Nunavut, Canada von GAJEWSKI, KONRAD, FRAPPIER, MONIQUE

Volltext