登入選單
Google圖書搜尋
出版社 : IRIA/LABORIA總數: gridview
Analysis of program behaviour
作者
Institut de recherche d'informatique et d'automatique / P. Burgevin / P. Ingels / J. Leroudier
出版1977
ISBN
OCLC:465360587
A Mechanization of type theory
作者
G. P. Huet
出版1973
ISBN
OCLC:476071454
Update Semantics of Relational Views
作者
François Bancilhon
出版1978
ISBN
OCLC:300152093
Protection in Operating Systems - Proceedings of t...
出版1977
ISBN
OCLC:476040213
Algebraic Families of Interpretations
作者
Bruno Courcelle / Maurice Nivat
出版1976
ISBN
OCLC:476047611
A Statistical Approach to the Study of Program Beh...
作者
Anne Schroüeder
出版1977
ISBN
OCLC:476038267
A Statistical Approach to the Study of Program Beh...
作者
A. Schroeder
出版1977
ISBN
OCLC:257812331
On Computing the Time Complexity of Transitive Clo...
作者
Joël Coffy
出版1973
ISBN
OCLC:476071447
Analytical Construction of the Free Boundary for N...
作者
Masasuke Shima
出版1976
ISBN
OCLC:476047862
A Note on the Influence of Program Loading on the ...
作者
M. Parent / D. Potier
出版1976
ISBN
OCLC:476047549
Coroutines and Networks of Parallel Processes
作者
G. Kahn / David B. MacQueen
出版1976
ISBN
LCCN:78322852
主題
Coroutines (Computer programs)
Random injection control of multiprogramming in vi...
作者
Institut de recherche d'informatique et d'automatique / E. Gelenbe / A. Kurinckx
出版1976
ISBN
OCLC:258364849
On the Generation of Currents by Winds
作者
Dominique Bégis / Michel Crepon
出版1975
ISBN
OCLC:461755516
Borel Sets in P psi
作者
A. Tang
出版1975
ISBN
OCLC:476055219
Performance Limits of the T.M.M. Protocol
作者
Erol Gelenbe / Jean-Louis Grangé / Patrice Mussard
出版1977
ISBN
OCLC:461797517
On the Definition of Classes of Interpretations
作者
Bruno Courcelle
出版1977
ISBN
OCLC:257879360
Borel Sets in P Omega
作者
Adrian Tang
出版1975
ISBN
OCLC:258569917
Natural Language Understanding as a Pattern Recogn...
作者
Jean-Paul Maroy
出版1976
ISBN
OCLC:476047585
On Recursive Equations Having a Unique Solution
作者
Bruno Courcelle
出版1978
ISBN
OCLC:35467064
Proof Techniques for Recursive Programs
作者
Jean Vuillemin (informaticien).)
出版1973
ISBN
OCLC:800604546
Accuracy of an Approximate Computer System Model
作者
Marc Badel / Annie V. Y. Shum
出版1975
ISBN
OCLC:258364493
The Mentor Program Manipulation System
作者
V. D. Gouse
出版1979
ISBN
OCLC:59659971
An Experiment in Characters Separation
作者
Marc Berthod
出版1976
ISBN
OCLC:461762305
A structure oriented program editor: a first step ...
作者
Institut de recherche d'informatique et d'automatique / V. Donzeau-Gouge / G. Huet / G. Kahn / B. Lang / J. J. Levy
出版1975
ISBN
OCLC:461819885
Some Examples of Implementation and of Application...
作者
Bertrand Mercier / Olivier Pironneau
出版1977
ISBN
OCLC:35465414
主題
Finite element method
Threshold Evaluation and the Semantics of Call by ...
作者
Bernard Lang
出版1977
ISBN
OCLC:465373490
Protection of Information in Relational Data Base ...
作者
Francois M. Bancilhon / Nicolas Spyratos
出版1977
ISBN
OCLC:476038252
On Some Classes of Interpretations
作者
Bruno Courcelle / Irène Guessarian
出版1977
ISBN
OCLC:35465564
Optimal disk merge patterns
作者
Institut de recherche d'informatique et d'automatique / M. Schlumberger / J. Vuillemin
出版1973
ISBN
OCLC:461664457
An Algebraic Interpretation of the Lambda Beta Kap...
作者
J. J. Levy
出版1975
ISBN
OCLC:476064543