登入選單
Google圖書搜尋
出版社 : Ecole Normale Supérieure (Paris). Laboratoire d'Informatique總數: gridview
Extracting and Transforming Logic Programs
作者
Anne Bouverot
出版1991
ISBN
OCLC:606085616
One-time Identificatin with Low Memory
作者
S. Vaudenay
出版1992
ISBN
OCLC:897922712
A Proposal for Making $ O_ 2 $ More Type-safe
作者
G. Castagna
出版1995
ISBN
OCLC:897843975
N-Semimetrics
作者
Michel Deze / I. G. Rozenberg
出版1998
ISBN
OCLC:897820562
Domains in a Realizability Framework
作者
R. M. Amadio
出版1990
ISBN
OCLC:897668048
The Visibility Complex
作者
M. Pocchiola / G. Vegter
出版1995
ISBN
OCLC:897844235
MOD2mag
作者
N. Paris
出版1991
ISBN
OCLC:897944812
Notes on the Foundation of Mathematics and of Comp...
作者
G. Longo
出版1990
ISBN
OCLC:897668047
The MLgraph Primer
作者
E. Chailloux / G. Cousineau
出版1992
ISBN
OCLC:897922687
Full Abstraction for an Extended Resource Language
作者
C. Lavatelli
出版1995
ISBN
OCLC:897844339
On Binary Methods
作者
K. B. Bruce / L. Cardelli / G. Castagna
出版1995
ISBN
OCLC:897844346
Two-graphs on 36 Points from the Even Unimodular L...
作者
M. Deza / V. Grishukhin
出版1995
ISBN
OCLC:897844063
Sequentiality and Strong Stability
作者
A. Bucciarelli / T. Ehrhard
出版1991
ISBN
OCLC:897952943
Types as Parameters
作者
G. Longo
出版1993
ISBN
OCLC:897886897
FFT-Hash-II is Not Yet Collision-free
作者
S. Vaudenay
出版1992
ISBN
OCLC:897922664
Substitution Up to Isomorphism
作者
P.-L. Curien
出版1990
ISBN
OCLC:897672106
Why SAFER K Changed Its Name
作者
Lars Ramkilde Knudsen
出版1996
ISBN
OCLC:897844322
The Dynamics of Wait-free Distributed Computations
作者
E. Goubault
出版1996
ISBN
OCLC:897843699
$ \ell_ 1 $-embeddability of Some Block Graphs and...
作者
M. Deza / T. Huang
出版1994
ISBN
OCLC:897863791
Efficient Integration of Simplification Into Prolo...
作者
P. H. Cheong / L. Fribourg
出版1990
ISBN
OCLC:897668031
Embeddings of Graphs
作者
M. Laurent
出版1994
ISBN
OCLC:897863858
Memory in Mathematics
作者
G. Longo
出版1994
ISBN
OCLC:897863713
Complementary $ \ell_ 1 $-graphs and Related Combi...
作者
M. Deza / T. Huang
出版1994
ISBN
OCLC:897863726
A Logic of Subtyping
作者
G. Longo / K. Milsted / S. Soloviev
出版1995
ISBN
OCLC:897844197
An Experiment on DES Statistical Cryptanalysis
作者
S. Vaudenay
出版1995
ISBN
OCLC:897844364
Testing Against Formal Specifications
作者
G. Bernot
出版1991
ISBN
OCLC:897973157
Hypercube Embedding of Distances with Few Values
作者
M. Laurent
出版1993
ISBN
OCLC:897886957
Degrees of Parallelism in the Continuous Type Hier...
作者
A. Bucciarelli
出版1995
ISBN
OCLC:897844358
Dessins Form a Geometric Point of View
作者
J. M. Couveignes / L. Granboulan
出版1994
ISBN
OCLC:897863730
Towards a Semantic Approach to SIMD Architectures ...
作者
L. Bougé / P. Garda
出版1990
ISBN
OCLC:897672115