登入選單
Google圖書搜尋
出版社 : Université de Bordeaux 1/CNRS. Analyse Appliqueé et Informatique總數: gridview
Heaps of Pieces
作者
G. X. Viennot
出版1986
ISBN
OCLC:897705673
SDL as a Testing Language
作者
C. Chraibi / O. Rafiq / R. Castanet
出版1986
ISBN
OCLC:897693414
Étude et analyse de la communication des processus
作者
E. Chabbar
出版1989
ISBN
OCLC:897677520
Transition Systems and Concurent Processes
作者
André Arnold
出版1986
ISBN
OCLC:897689430
Graph Expressions and Graph Rewritings
作者
M. Bauderon / B. Courcelle
出版1985
ISBN
OCLC:897693309
Tree Automata and Logic Programs
作者
G. File
出版1984
ISBN
OCLC:897696667
Systeme d'acquisition, de validation et de test
作者
M. M. Sijelmassi-Favreau / R. Castanet / P. Guitton
出版1984
ISBN
OCLC:897696963
Optimization of Logic Programs Execution Based on ...
作者
C. Codognet / M. M. Corsini / G. File
出版1986
ISBN
OCLC:897689394
Decidabilite de l'algebricite des langages associe...
作者
Sylviane Schwer
出版1985
ISBN
OCLC:806993212
Des graphes, des cactus
作者
S. R. Schwer
出版1986
ISBN
OCLC:897689474
An Algebraic and Algorithmic Method of Analyzing T...
作者
A. Dicky
出版1985
ISBN
OCLC:897693443
Depth-first Intelligent Backtracking
作者
C. Codognet / P. Codognet / G. Filé
出版1986
ISBN
OCLC:897689428
The Relation of Two Patterns with Comparable Langu...
作者
G. Filé
出版1987
ISBN
OCLC:897733128
A Linear Algorithm to Solve Fixed-point Equations ...
作者
André Arnold / P. Crubille
出版1986
ISBN
OCLC:897689470
Approximation d'une trace, automates asynchrones e...
作者
R. Cori / Y. Métivier
出版1987
ISBN
OCLC:897733073
Graphes quotients et graphes des communications po...
作者
P. Charrier / J. Roman
出版1986
ISBN
OCLC:897689393
Equivalence de semantiques pour les schemas de pro...
作者
P. Naudin
出版1985
ISBN
OCLC:897693306
Les correspondances, un mode de représentation des...
作者
J. L. Ermine
出版1986
ISBN
OCLC:897692661
Deux propriétés combinatoires des nombers de Schrö...
作者
D. Gouyou-Beauchamps / B. Vauquelin
出版1986
ISBN
OCLC:897706745
Enumerative Combinatorics and Algebraic Languages
作者
G. Viennot
出版1985
ISBN
OCLC:897693307
Communications de processus et semi-commutations
作者
Y. Métivier / R. Sijelmassi
出版1987
ISBN
OCLC:897733061
A Linear Model Checking Algorithm for Alternation-...
作者
André Arnold / P. Crubille
出版1987
ISBN
OCLC:897732803
Algorithmes de placement de processus pour le syst...
作者
J.-L. Pazat
出版1988
ISBN
OCLC:897703570
Prouit de nombers de Catalan et chemins sous-diago...
作者
D. Gouyou-Beauchamps
出版1985
ISBN
OCLC:897694867
Manuel d'utilisantion du système TKL de traitement...
作者
M. Pallard
出版1985
ISBN
OCLC:897694859
Simulation de l'execution des scenarii de tests et...
作者
B. Surrault / R. Castanet / P. Guitton
出版1984
ISBN
OCLC:897696892
PROLOG Control Structures
作者
M. Billaud
出版1986
ISBN
OCLC:897689471
Graph Rewriting Systems with Priorities Definition...
作者
M. Billaud / P. Lafon / Y. Metivier
出版1989
ISBN
OCLC:897677522
On Lexicographic Semi-commutations
作者
Y. Metivier / E. Ochmanski
出版1986
ISBN
OCLC:897689410
Formulation syntaxique de la communication de proc...
作者
H. Mountassir / R. Sijelmassi
出版1987
ISBN
OCLC:897733130