Publications from 2013
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Statistical models of random polyhedra Tech Report
January 1995 -
Set-valued means of random particles Tech Report
January 1995 -
January 1995
-
January 1995
-
January 1995
-
A note on parallel executions of restrictive blind issuing protocols for secret-key certificates Tech Report
January 1995 -
Collapsing partial combinatory algebras Tech Report
January 1995 -
January 1995
-
January 1995
-
January 1995
-
Python library reference Tech Report
January 1995 -
Python reference manual Tech Report
January 1995 -
Python tutorial Tech Report
January 1995 -
Extending and embedding the Python interpreter Tech Report
January 1995 -
The MADE help system Tech Report
January 1995 -
Efficient and provable security amplifications Tech Report
January 1995 -
January 1995
-
A perspective on databases and data mining Tech Report
January 1995 -
A multimedia constraint system Tech Report
January 1995 -
Why combine logics? Tech Report
January 1995 -
January 1995
-
Infinitary lambda calculus Tech Report
January 1995 -
Literate programming in C : CWEBx manual Tech Report
January 1995 -
January 1995
-
January 1995
-
Remarks on food chain dynamics Tech Report
January 1995 -
January 1995
-
January 1995
-
Structural identifiability from input-output observations of linear compartmental systems Tech Report
January 1995 -
A limit theorem for solutions of inequalities Tech Report
January 1995 -
January 1995
-
January 1995
-
Objects and classes, coalgebraically Tech Report
January 1995 -
An adaptive image reconstruction method Tech Report
January 1995 -
Multimedia synchronization Tech Report
January 1995 -
A data model for autonomous objects Tech Report
January 1995 -
January 1995
-
X Python reference manual Tech Report
January 1995 -
An effective axiomatization for real time ACP Tech Report
January 1995 -
January 1995
-
January 1995
-
On normalisation Tech Report
January 1995 -
Presuppositions and information updating Tech Report
January 1995 -
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Counting interlacing pairs on the circle Tech Report
January 1995 -
Equational term graph rewriting Tech Report
January 1995 -
January 1995
-
January 1995
-
Differential Hopf algebra structures on the universal enveloping algebra ofa Lie algebra Tech Report
January 1995 -
January 1995
-
A deterministic epidemic model taking acccount of repeated contacts betweenthe same individuals Tech Report
January 1995 -
An implementation of the number field sieve Tech Report
January 1995 -
A new method for finding amicable pairs Tech Report
January 1995 -
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Suggestions for a non-monotonic feature logic Tech Report
January 1995 -
The difference between splitting in n and n + 1 Tech Report
January 1995 -
January 1995
-
Secret-key certificates (continued) Tech Report
January 1995 -
January 1995
-
January 1995
-
Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness Tech Report
January 1995 -
January 1995
-
January 1995
-
January 1995
-
Routing control of a motorway network Tech Report
January 1995 -
January 1995
-
January 1995
-
Wiener-Hopf analysis of an M/G/1 queue with negative customers and of a related class of random walks Tech Report
January 1995 -
January 1995
-
January 1995
-
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report
January 1995 -
A modal characterization of Peirce algebras Tech Report
January 1995 -
Inheritance and cofree constructions Tech Report
January 1995 -
Coordination of massively concurrent activities Tech Report
January 1995 -
Focus points and convergent process operators Tech Report
January 1995 -
A survey of automated timetabling Tech Report
January 1995 -
January 1995
-
January 1995
-
Minimal term rewriting systems Tech Report
January 1995 -
An extensible language for the generation of parallel data manipulation andcontrol packages Tech Report
January 1995 -
Rewrite systems for integer arithmetic Tech Report
January 1995 -
Two-sorted metric temporal logics Tech Report
January 1995 -
Hybrid I/O automata Tech Report
January 1995 -
A note on fairness in I/O automata Tech Report
January 1995 -
January 1995