Lecture hall < Lecture notes < Lecture notes comput

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000172 (2013)	Sergei O. Kuznetsov [Russie] ; Jonas Poelmans [Russie, Belgique]	Knowledge representation and processing with formal concept analysis
000439 (2012)	Gaetan Bisson	Computing endomorphism rings of elliptic curves under the GRH
000A12 (2009)	Alexis Ocampo [Allemagne] ; Jürgen Münch [Allemagne]	Rationale modeling for software process evolution
001198 (2006)	V. Cridlig [France] ; H. Abdelnur [France] ; R. State [France] ; O. Festor [France]	XBGP‐MAN: an XML management architecture for BGP
001349 (2006)	Violeta Felea [France] ; Bernard Toursel [France]	Dynamic load‐balancing mechanism for distributed Java applications
001394 (2006)	Mathieu D'Aquin [France] ; Jean Lieber [France] ; Amedeo Napoli [France]	ADAPTATION KNOWLEDGE ACQUISITION: A CASE STUDY FOR CASE‐BASED DECISION SUPPORT IN ONCOLOGY
001564 (2005)	Olivier Bournez ; Felipe Cucker ; Paulin Jacobe De Naurois ; Jean-Yves Marion	Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
001833 (2004)	Pieter J. Mosterman ; Hans Vangheluwe [Canada]	Computer Automated Multi-Paradigm Modeling: An Introduction
001949 (2003)	Roman Kolpakov ; Ghizlane Bana [France] ; Gregory Kucherov [France]	mreps: efficient and flexible detection of tandem repeats in DNA
001984 (2003)	Didier Galmiche ; Daniel Me Ry	Semantic Labelled Tableaux for Propositional BI⊥
001D15 (2001)	E. Caron [France] ; S. Chaumette [France] ; S. Contassot-Vivier [France] ; F. Desprez [France] ; E. Fleury [France] ; C. Gomez [France] ; M. Goursat [France] ; M. Quinson [France] ; E. Jeannot [France] ; D. Lazure [France] ; F. Lombard [France] ; J.-M Nicod [France] ; L. Philippe [France] ; P. Ramet [France] ; J. Roman [France] ; F. Rubi [France] ; S. Steer [France] ; F. Suter [France] ; G. Utard [France]	Scilab to Scilab//: The Ouragan project
001D26 (2001)	Bernhard Gramlich [Autriche]	On interreduction of semi-complete term rewriting systems
001D61 (2001)	C. Ah-Soon [France] ; K. Tombre [France]	Architectural symbol recognition using a network of constraints
001D65 (2001)	Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]	A Pattern-Matching Compiler
001D95 (2001)	Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]	Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
001E03 (2001)	H. Cirstea [France] ; K. Kirchner [France]	The rewriting calculus - part II
001E04 (2001)	H. Cirstea [France] ; K. Kirchner [France]	The rewriting calculus - part I
001F06 (2001)	Olivier Zendra [France] ; Dominique Colnet [France]	Coping with aliasing in the GNU Eiffel Compiler implementation
001F31 (2001)	He Le Ne Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher‐order Types and Set‐theoretic Models
001F57 (2000)	Horatiu Cirstea [France] ; Claude Kirchner [France]	The simply typed rewriting calculus
001F59 (2000)	Hélène Kirchner [France] ; Isabelle Gnaedig [France]	Termination and normalisation under strategy Proofs in ELAN

---

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/Teeft.i -k "Lecture notes" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i  \
                -Sk "Lecture notes" \
         | 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=    Teeft.i
   |clé=    Lecture notes
}}

---

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