Teeft.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Teeft.i » - entrée « Computer science »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Computer scicnoe < Computer science < Computer science community  Facettes :

List of bibliographic references indexed by Computer science

Number of relevant bibliographic references: 289.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
008813 (2002) Nadine Guillotin-Plantard [France] ; René Schott [France]Distributed algorithms with dynamical random transitions
009164 (2001) Nicolas Navet [France] ; Ye-Qiong Song [France]Validation of in-vehicle real-time applications
009174 (2001) E. Caron [France] ; S. Chaumette [France] ; S. Contassot-Vivier [France] ; F. Desprez [France] ; E. Fleury [France] ; C. Gomez [France] ; M. Goursat [France] ; M. Quinson [France] ; E. Jeannot [France] ; D. Lazure [France] ; F. Lombard [France] ; J.-M Nicod [France] ; L. Philippe [France] ; P. Ramet [France] ; J. Roman [France] ; F. Rubi [France] ; S. Steer [France] ; F. Suter [France] ; G. Utard [France]Scilab to Scilab//: The Ouragan project
009185 (2001) Bernhard Gramlich [Autriche]On interreduction of semi-complete term rewriting systems
009194 (2001) D. Pomorski [France] ; P. B. Perche [France]Inductive learning of decision trees: application to fault isolation of an induction motor
009220 (2001) C. Ah-Soon [France] ; K. Tombre [France]Architectural symbol recognition using a network of constraints
009224 (2001) Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]A Pattern-Matching Compiler
009254 (2001) Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
009262 (2001) H. Cirstea [France] ; K. Kirchner [France]The rewriting calculus - part I
009268 (2001) Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
009303 (2001) Cyril Banderier [France] ; Philippe Flajolet [France] ; Gilles Schaeffer [France] ; Michèle Soria [France]Random maps, coalescing saddles, singularity analysis, and Airy phenomena
009316 (2001) David Kerlick [États-Unis] ; Eric Dillon [États-Unis] ; David Levine [États-Unis]Performance Testing of a Parallel Multiblock CFD Solver
009334 (2001) François Fages [France] ; Paul Ruet [France] ; Sylvain Soliman [France]Linear Concurrent Constraint Programming: Operational and Phase Semantics
009352 (2001) Elias Dahlhaus [Allemagne] ; Jens Gustedt [France] ; Ross M. McconnellEfficient and Practical Algorithms for Sequential Modular Decomposition
009389 (2001) He Le Ne Kirchner ; Peter D. MossesAlgebraic Specifications, Higher‐order Types and Set‐theoretic Models
009D02 (2000) N. Navet [France] ; Y.-Q. Song [France] ; F. Simonot [France]Worst-case deadline failure probability in real-time applications distributed over controller area network
009D05 (2000) Horatiu Cirstea [France] ; Claude Kirchner [France]The simply typed rewriting calculus
009D07 (2000) Hélène Kirchner [France] ; Isabelle Gnaedig [France]Termination and normalisation under strategy Proofs in ELAN
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D16 (2000) Adnan Amin [Australie]Recognition of printed arabic text based on global features and decision tree learning techniques
009D18 (2000) Didier Galmiche [France] ; David J. Pym [Royaume-Uni]Proof-search in type-theoretic languages: an introduction

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i -k "Computer science" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i  \
                -Sk "Computer science" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Teeft.i
   |clé=    Computer science
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022