登入選單
Google圖書搜尋
出版社 : Institut National de recherche en informatique et en automatique總數: gridview
On the Logic of Unification
作者
Institut National de Recherche en Informatique et en Automatique / Philippe Le Chenadec
出版1989
ISBN
OCLC:123322614
主題
Logic programming
Concurrency and Atomicity
作者
G. Boudol / Institut national de recherche en informatique et en automatique (France) / I. Castellani
出版1987
ISBN
OCLC:257931396
EOS, an Environment for Object-based Systems
作者
Institut National de Recherche en Informatique et en Automatique / O. Gruber / L. Amsaleg / L. Daynes / P. Valduriez
出版1991
ISBN
OCLC:123332313
主題
Object-oriented databases
Programming by Multiset Transformation
作者
Institut National de Recherche en Informatique et en Automatique / Jean-Pierre Banâtre / Daniel Le Métayer
出版1990
ISBN
OCLC:123328312
主題
Computer programming
VERSO: a Data Base Machine Based on Non 1NF Relati...
作者
Institut national de recherche en informatique et en automatique (France) / J. Verso
出版1986
ISBN
OCLC:35491486
Automatic Average-case Analysis of Algorithms
作者
Institut National de Recherche en Informatique et en Automatique / P. Flajolet / B. Salvy / P. Zimmermann
出版1990
ISBN
OCLC:123328724
主題
Algorithms
Analysis of Some Networks with Local Interaction
作者
Christine Fricker / Institut national de recherche en informatique et en automatique (France) / P. Robert / E. Saada / D. Tibi
出版1992
ISBN
OCLC:255836486
The Esterel Language
作者
Institut National de Recherche en Informatique et en Automatique / F. Boussinot / R. de Simone
出版1991
ISBN
OCLC:255805893
An Introduction to Symbolic Data Analysis
作者
Edwin Diday / Institut national de recherche en informatique et en automatique (France)
出版1993
ISBN
OCLC:255855994
Recovering and Characterizing Image Features Using...
作者
Institut National de Recherche en Informatique et en Automatique / Thierry Blaszka / Rachid Deriche
出版1994
ISBN
OCLC:123338858
On the Control of Strongly Nonlinear Systems
作者
V. Komornik / Institut national de recherche en informatique et en automatique (France) / Dan Tiba
出版1984
ISBN
OCLC:256180720
Real Time Programming: Special Purpose Or General ...
作者
Institut National de Recherche en Informatique et en Automatique / G. Berry
出版1989
ISBN
OCLC:123324659
主題
ADA (Computer program language)
Ambiguity and Transcendence
作者
Institut National de Recherche en Informatique et en Automatique / P. Flajolet
出版1985
ISBN
OCLC:18193610
主題
Combinatorial analysis
Scheduling to Minimize Over-regular Criteria
作者
C. Chu / Institut national de recherche en informatique et en automatique (France)
出版1992
ISBN
OCLC:255823535
Preliminary Results on the Iterative Convergence o...
作者
Institut national de recherche en informatique et en automatique (France) / J.-A. Desideri
出版1986
ISBN
OCLC:35490296
Autonomous Algorithms for Image Restoration
作者
Institut National de Recherche en Informatique et en Automatique / Meir Griniasty
出版1994
ISBN
OCLC:123338841
Analytic Models and Ambiguity of Context-free Lang...
作者
Institut national de recherche en informatique et en automatique (France) / P. Flajolet
出版1986
ISBN
OCLC:35489672
Mathematical Methods in the Analysis of Algorithms...
作者
Institut National de Recherche en Informatique et en Automatique / P. Flajolet
出版1985
ISBN
OCLC:123316836
Improving the Efficiency of AC Matching and Unific...
作者
Institut National de Recherche en Informatique et en Automatique / Steven Mark Eker
出版1993
ISBN
OCLC:123337024
Computational Probability and Analysis of Algorith...
作者
Institut national de recherche en informatique et en automatique (France) / Micha Hofri
出版1985
ISBN
OCLC:35487349
Associative-commutative Unification
作者
F. Fages / Institut national de recherche en informatique et en automatique (France)
出版1984
ISBN
OCLC:35482933
Towards Document Engineering
作者
Institut National de Recherche en Informatique et en Automatique / Vincent Quint / Marc Nanard / Jacques André
出版1990
ISBN
OCLC:123329128
主題
Software engineering
A Catalogue of Complete Group Presentations
作者
Institut national de recherche en informatique et en automatique (France) / Philippe Le Chenadec
出版1985
ISBN
OCLC:35489999
An Overview of the Multidatabase System MRDSM
作者
Witold Litwin / Institut national de recherche en informatique et en automatique (France)
出版1985
ISBN
OCLC:35485942
Le probleme de la mise en correspondance: l'etat d...
作者
Institut National de Recherche en Informatique et en Automatique / Zhengyou Zhang
出版1993
ISBN
OCLC:35535112
On Positive Occur-checks in Unification
作者
Institut National de Recherche en Informatique et en Automatique / P. Le Chenadec
出版1988
ISBN
OCLC:123329440
Permutation Codes
作者
Institut national de recherche en informatique et en automatique (France). Unité de recherche Rocquencourt / Thomas Ericson
出版1993
ISBN
OCLC:255875951
A Model to Analyse the Causability in Synchronous ...
作者
Institut national de recherche en informatique et en automatique (France).
出版1985
ISBN
OCLC:1131752705
Parallel Logic Programming Systems
作者
Jacques Chassin de Kergommeaux / Institut national de recherche en informatique et en automatique (France)
出版1992
ISBN
OCLC:35534902
XTP Implementation Under Unix
作者
Walid Dabbous / Institut national de recherche en informatique et en automatique (France) / Christian Huitema
出版1993
ISBN
OCLC:255873899