Computer system < Computer theory < Computer vision

Facettes :

List of bibliographic references indexed by Computer theory

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

Ident.	Authors (with country if any)	Title
000A87 (2011)	Michael R. Fellows [Australie] ; Henning Fernau [Allemagne]	Facility location problems: A parameterized view
000B16 (2011)	Henning Fernau [Allemagne] ; Joachim Kneis [Allemagne] ; Dieter Kratsch [France] ; Alexander Langer [Allemagne] ; Mathieu Liedloff [France] ; Daniel Raible [Allemagne] ; Peter Rossmanith [Allemagne]	An exact algorithm for the Maximum Leaf Spanning Tree problem
000D07 (2010)	Henning Fernau [Allemagne]	Parameterized algorithms for d-HITTING SET: The weighted case
000D34 (2010)	Daniel Binkele-Raible [Allemagne] ; Henning Fernau [Allemagne] ; Serge Gaspers [Autriche] ; Mathieu Liedloff [France]	Exact exponential-time algorithms for finding bicliques
000F70 (2009)	J. M. Sigarreta [Mexique] ; S. Bermudo [Espagne] ; Henning Fernau [Allemagne]	On the complement graph and defensive k-alliances
000F71 (2009)	Henning Fernau [Allemagne] ; Juan A. Rodriguez [Espagne] ; José M. Sigarreta [Mexique]	Offensive r-alliances in graphs
001021 (2009)	Henning Fernau [Allemagne]	Algorithms for learning regular expressions from positive data
001209 (2008)	Henning Fernau [Allemagne]	Parameterized algorithmics for linear arrangement problems
001250 (2008)	Jürgen Dassow [Allemagne] ; Henning Fernau [Allemagne]	Comparison of some descriptional complexities of 0L systems obtained by a unifying approach
001382 (2007)		Real numbers
001386 (2007)	Stef Graillat [France] ; Philippe Langlois [France]	Real and complex pseudozero sets for polynomials with applications
001389 (2007)	XIZHONG ZHENG [République populaire de Chine, Allemagne]	On the hierarchies of Δ02-real numbers
001392 (2007)	Laurent Fousse [France]	Multiple-precision correctly rounded newton-cotes quadrature
001395 (2007)	Henning Fernau [Allemagne]	LEARNING TREE LANGUAGES FROM TEXT
001398 (2007)	Guillaume Melquiond [France] ; Sylvain Pion [France]	Formally certified floating-point filters for homogeneous geometric predicates
001399 (2007)	Florent De Dinechin [France] ; Christoph Lauter [France] ; Jean-Michel Muller [France]	Fast and correctly rounded logarithms in double-precision
001402 (2007)	Henning Fernau [Allemagne] ; Klaus Reinhardt [Allemagne] ; Ludwig Staiger [Allemagne]	Decidability of code properties
001404 (2007)	Nicolas Brisebarre [France] ; Jean-Michel Muller [France]	Correct rounding of algebraic functions
001408 (2007)	Benoit Cagnard [France] ; Pierre Simonnet [France]	Automata, borel functions and real numbers in pisot base
001569 (2006)	Henning Bordihn [Allemagne] ; Henning Fernau [Allemagne] ; Markus Holzer [Allemagne] ; Vincenzo Manca [Italie] ; Carlos Martin-Vide [Espagne]	Iterated sequential transducers as language generating devices
001F54 (2000)	Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne]	Nondeterministic Instance Complexity and Hard-to-Prove Tautologies

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Computer theory" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Computer theory" \
         | 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/Rhénanie
   |area=    UnivTrevesV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Computer theory
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024