programmes < programming < programs

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

Number of relevant bibliographic references: 48.
[0-20] [0 - 20][0 - 48][20-40]

Ident.	Authors (with country if any)	Title
000034 (2014)	Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]	Effective strategic programming for Java developers
000276 (2013)	Christoph Wernhard [Allemagne]	Abduction in Logic Programming as Second-Order Quantifier Elimination
000298 (2013)	Pham Viet-Nga [France] ; Hoai An Le Thi [France] ; Pham Dinh Tao [France]	A DC Programming Framework for Portfolio Selection by Minimizing the Transaction Costs
000800 (2010)	Rajeev Joshi [États-Unis]	Programming with Miracles
000D56 (2008)	Tim Sheard ; Nathan Linger	Programming in Ω mega
000F48 (2007)	Dong-Bo Liu [République populaire de Chine] ; Zheng-Ding Lu [République populaire de Chine]	The Theory of Fuzzy Logic Programming
001072 (2007)	Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis]	Component-Oriented Programming
001240 (2006)	Guillaume Bonfante [France]	Some Programming Languages for Logspace and Ptime
001262 (2006)	Shu-Heng Chen [Taïwan] ; Nicolas Navet [Taïwan, France]	Pretests for Genetic-Programming Evolved Trading Programs: “zero-intelligence” Strategies and Lottery Trading
001746 (2004)	Claude Kirchner [France] ; Hélène Kirchner [France]	Rule-Based Programming and Proving: The ELAN Experience Outcomes
001779 (2004)	Emir Pašali [États-Unis] ; Nathan Linger [États-Unis]	Meta-programming with Typed Object-Language Representations
001841 (2004)	Olivier Lebeltel ; Pierre Bessière [France] ; Julien Diard ; Emmanuel Mazer	Bayesian Robot Programming
001A18 (2003)	Eva K. Lee [États-Unis] ; Marco Zaider [États-Unis]	Mixed Integer Programming Approaches to Treatment Planning for Brachytherapy – Application to Permanent Prostate Implants
001A72 (2003)	Alexander Bockmayr [France]	Constraint Programming in Computational Molecular Biology
001B10 (2003)	Konstantinos Chorianopoulos [Grèce] ; Diomidis Spinellis [Grèce]	A Metaphor for Personalized Television Programming
001B60 (2002)	Alexander Bockmayr [France] ; Arnaud Courtois [France]	Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
001B84 (2002)	Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]	SCIL — Symbolic Constraints in Integer Linear Programming
001C84 (2002)	Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne]	Algebraic Dynamic Programming
001E69 (2001)	Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Abderrahmane Aggoun [France]	Network Flow Problems in Constraint Programming
001E76 (2001)	François Fages [France] ; Paul Ruet [France] ; Sylvain Soliman [France]	Linear Concurrent Constraint Programming: Operational and Phase Semantics
002089 (2000)	Hubert Dubois [France] ; Héléne Kirchner [France]	Rule Based Programming with Constraints and Strategies

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    programming
}}

---

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