Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur SGML - Exploration (Accueil)

Index « Titre (en) » - entrée « formal »
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.
form < formal < formalin  Facettes :

List of bibliographic references indexed by formal

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000077 (2012) Jian Liu [République populaire de Chine] ; Z. M. Ma [République populaire de Chine] ; Xue Feng [République populaire de Chine]Formal approach for reengineering fuzzy XML in fuzzy object-oriented databases
000505 (2007) Jinhyung Kim [Corée du Sud] ; Dongwon Jeong [Corée du Sud] ; Doo-Kwon Baik [Corée du Sud]Formal Verification and Performance Evaluation of User Query Pattern-Based Relational Schema-to-XML Schema Translation Algorithm
000535 (2007) Timo Niemi [Finlande] ; Janne J Msen [Finlande]A query language for discovering semantic associations, Part I: Approach and formal definition of query primitives
000808 (2005) Piek Vossen [Pays-Bas]Handbook of Formal Languages
000827 (2005) Sonja Zillner [Autriche] ; Werner Winiwarter [Autriche]EMMA – A Formal Basis for Querying Enhanced Multimedia Meta Objects
000914 (2004) Ahmed Arara [France] ; Djamal Benslimane [France]Towards Formal Ontologies Requirements with Multiple Perspectives
001080 (2002) Margaret Mcallister ; Debra Creedy [Australie] ; Wendy Moyle [Australie] ; Charles Farrugia [Australie]Study of Queensland emergency department nurses’ actions and formal and informal procedures for clients who self‐harm
001331 (2002) Antonio Navarro [Espagne] ; Baltasar Fernandez-Manjon [Espagne] ; Alfredo Fernandez-Valmayor [Espagne] ; Jose Luis Sierra [Espagne]Formal-Driven Conceptualization and Prototyping of Hypermedia Applications
001563 (2002) Jing Sun [Singapour] ; Jin Song Dong [Singapour] ; Jing Liu [Singapour] ; Hai Wang [Singapour]A Formal Object Approach to the Design of ZML
001564 (2002) Pascal Auillans [France] ; Patrice Ossona De Mendez [France] ; Pierre Rosenstiehl [France] ; Bernard Vatant [France]A Formal Model for Topic Maps
001682 (2001) Farid Cerbah [France] ; Jérôme Euzenat [France]Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements
001B21 (2000) Farid Cerbah [France] ; Jérôme Euzenat [France]Integrating Textual Knowledge and Formal Knowledge for Improving Traceability
001E20 (1999) Richard Cole [Australie] ; Peter W. Eklund [Australie]Scalability in Formal Concept Analysis
002055 (1999) P. Bergström [Suède] ; W. E. Kimber [États-Unis]Formal data models for SGML and HyTime
002827 (1997) Brian Lowe [Australie] ; Justin Zobel [Australie] ; Ron Sacks-Davis [Australie]A Formal Model for Representation and Querying of Structured Documents
002877 (1997) B. Lowe [Australie] ; J. Zobel ; R. Sacks DavisFormal model for representation and querying of structured documents
003338 (1994) Nadia Catenazzi [Espagne] ; Lorenzo Sommaruga [Espagne]HYPERBOOK A FORMAL MODEL FOR ELECTRONIC BOOKS
003966 (1988) Clive Ruggles [Royaume-Uni, Vatican]Formal methods in standards—A report from the BCS working group

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Informatique/explor/SgmlV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "formal" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "formal" \
         | 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/Informatique
   |area=    SgmlV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    formal
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jul 1 14:26:08 2019. Site generation: Wed Apr 28 21:40:44 2021