Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la télématique - Checkpoint (Istex)

Index « Titre (en) » - entrée « programs »
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.
programming < programs < progress  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000983 (2009) David Clark [Royaume-Uni] ; Sebastian Hunt [Royaume-Uni]Non-Interference for Deterministic Interactive Programs
000E31 (2008) Stefano Bistarelli [Italie] ; Maurizio Gabbrielli [Italie] ; Maria Chiara Meo [Italie] ; Francesco Santini [Italie]Timed Soft Concurrent Constraint Programs
001095 (2007) Pedro Cabalar [Espagne] ; David Pearce [Espagne] ; Panos Rondogiannis [Grèce] ; William W. Wadge [Canada]A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
001362 (2007) Ilaria Matteucci [Italie]A Tool for the Synthesis of Controller Programs
001819 (2005) Pedro Cabalar [Espagne] ; David Pearce [Espagne] ; Agustín Valverde [Espagne]Reducing Propositional Theories in Equilibrium Logic to Logic Programs
001B53 (2004) Benedikt Bollig [Allemagne] ; Martin Leucker [Suède]Verifying Qualitative Properties of Probabilistic Programs
001C95 (2004) David Pearce [Espagne]Simplifying Logic Programs Under Answer Set Semantics
001D23 (2004) Ja-Cheon Yoon [Corée du Sud] ; Hyeokman Kim [Corée du Sud] ; Seong Soo Chun [Corée du Sud] ; Jung-Rim Kim [Corée du Sud] ; Sanghoon Sull [Corée du Sud]Real-Time Video Indexing System for Live Digital Broadcast TV Programs
002054 (2003) Yuliya Lierler [États-Unis] ; Marco Maratea [Italie]Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs
002492 (2002) Ewing Lusk [États-Unis]Process Management for Scalable Parallel Programs
002538 (2002) Dieter Kranzlmüller [Autriche] ; Martin Schulz [Allemagne]Notes on Nondeterminism in Message Passing Programs
002B05 (2001) INSTRUCTIONAL PROGRAMS
003763 (1998) Elisabeth Simon [Allemagne]Information professional demands for new policies and new structures in the profession. Experiences and programs in eastern and central Europe and the developing countries
004389 (1995) Kuo-Chung Tai [États-Unis] ; Richard H. Carver [États-Unis]A specification-based methodology for testing concurrent programs
004621 (1994) Jan Komorowski [Norvège] ; Silvia Trcek [Norvège]Towards refinement of definite logic programs
004E29 (1991) 4930160 Automatic censorship of video programs
005411 (1988) Christopher H. Sterling [États-Unis] ; Jill F. Kasle [États-Unis]Telecommunications programs at George Washington university
005414 (1988) Albert B. Grubbs Jr. [États-Unis] ; Pierre J. Catala [États-Unis]Telecommunications as taught in engineering technology programs
005623 (1987) Inside Computer Understanding: Five Programs Plus Miniatures
005848 (1986) Patricia Lightfoot [États-Unis]AI challenges for spacecraft control programs

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "programs" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "programs" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    programs
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024