Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (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 ; Jean-Claude DerniameAn Architecture for a Multi Criteria Exploration of a Documents Set
000005 (2013) Denis Jouvet ; Dominique FohrAnalysis and Combination of Forward and Backward Based Decoders for Improved Speech Transcription
000008 (2006) Nacer Boudjlida ; Hervé PanettoPreface
000013 (1999) Carlo MontangeroThe Software Process: Modelling and Technology
000016 (2004) Frédéric BlanquiA Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000019 (1999) Nissim FrancezOn Fibring Feature Logics with Concatenation Logics
000020 (2003) Karim Baïna ; Samir Tata ; Khalid BenaliA Model for Process Service Interaction
000030 (2009) Ehtesham Zahoor ; Olivier Perrin ; Claude GodartAn Integrated Declarative Approach to Web Services Composition and Monitoring
000031 (2013) Amélie DavidTATL: Implementation of ATL Tableau-Based Decision Procedure
000038 (1996) Claus Hintermeier ; Hélène Kirchner ; Peter D. MossesCombining algebraic and set-theoretic specifications
000039 (2002) David Bueno ; Ricardo Conejo ; Amos A. DavidMETIOREW: An Objective Oriented Content Based and Collaborative Recommending System
000040 (1996) Yuri Gurevich ; James K. HugginsThe railroad crossing problem: An experiment with instantaneous actions and immediate reactions
000041 (2000) Radu State ; Emmanuel Nataf ; Olivier FestorManaging Concurrent QoS Assured Multicast Sessions Using a Programmable Network Architecture
000045 (1992) David Plainfossé ; Marc ShapiroExperience with a fault-tolerant garbage collector in a distributed lisp system
000049 (2013) Guoping Zhang ; Jing Liu ; Jianbo LiuProtecting Sensitive Attributes in Attribute Based Access Control
000050 (2002) José Luiz FiadeiroAlgebraic Support for Service-Oriented Architecture
000054 (2004) Eddie Smigiel ; Abdel Belaid ; Hatem HamzaSelf-organizing Maps and Ancient Documents
000063 (2013) Nazim FatèsA Note on the Classification of the Most Simple Asynchronous Cellular Automata
000066 (2002) Robert Giegerich ; Carsten MeyerAlgebraic Dynamic Programming
000072 (2008) Emmanuel HainryReachability in Linear Dynamical Systems
000073 (2000) Gregory Kucherov ; Michaël RusinowitchPatterns 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/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/ISSN.i -k "0302-9743" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/ISSN.i  \
                -Sk "0302-9743" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Corpus
   |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