Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)

Index « ISSN » - entrée « 0302-9743 »
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.
0302-8933 < 0302-9743 < 0303-1268  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 1899.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000001 (2000) Patricia Dzeakou [France] ; Jean-Claude Derniame [France]An Architecture for a Multi Criteria Exploration of a Documents Set
000005 (2013) Denis Jouvet [France] ; Dominique Fohr [France]Analysis and Combination of Forward and Backward Based Decoders for Improved Speech Transcription
000008 (2006) Nacer Boudjlida [France] ; Hervé Panetto [France]Preface
000013 (1999) Carlo MontangeroThe Software Process: Modelling and Technology
000016 (2004) Frédéric Blanqui [France]A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000019 (1999) Nissim Francez [Israël]On Fibring Feature Logics with Concatenation Logics
000020 (2003) Karim Baïna [France] ; Samir Tata [France] ; Khalid Benali [France]A Model for Process Service Interaction
000030 (2009) Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Claude Godart [France]An Integrated Declarative Approach to Web Services Composition and Monitoring
000031 (2013) Amélie David [France]TATL: Implementation of ATL Tableau-Based Decision Procedure
000038 (1996) Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]Combining algebraic and set-theoretic specifications
000039 (2002) David Bueno [Espagne] ; Ricardo Conejo [Espagne] ; Amos A. David [France]METIOREW: An Objective Oriented Content Based and Collaborative Recommending System
000040 (1996) Yuri Gurevich [États-Unis] ; James K. Huggins [États-Unis]The railroad crossing problem: An experiment with instantaneous actions and immediate reactions
000041 (2000) Radu State [France] ; Emmanuel Nataf [France] ; Olivier Festor [France]Managing Concurrent QoS Assured Multicast Sessions Using a Programmable Network Architecture
000045 (1992) David Plainfossé [France] ; Marc Shapiro [France]Experience with a fault-tolerant garbage collector in a distributed lisp system
000049 (2013) Guoping Zhang [République populaire de Chine] ; Jing Liu [République populaire de Chine] ; Jianbo Liu [République populaire de Chine]Protecting Sensitive Attributes in Attribute Based Access Control
000050 (2002) José Luiz Fiadeiro [Portugal]Algebraic Support for Service-Oriented Architecture
000054 (2004) Eddie Smigiel [France] ; Abdel Belaid [France] ; Hatem Hamza [France]Self-organizing Maps and Ancient Documents
000063 (2013) Nazim Fatès [France]A Note on the Classification of the Most Simple Asynchronous Cellular Automata
000066 (2002) Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne]Algebraic Dynamic Programming
000072 (2008) Emmanuel Hainry [France]Reachability in Linear Dynamical Systems
000073 (2000) Gregory Kucherov [France] ; Michaël Rusinowitch [France]Patterns in Words versus Patterns in Trees: A Brief Survey and New Results

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i -k "0302-9743" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/ISSN.i  \
                -Sk "0302-9743" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0302-9743
}}

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