Year of publication
Type of media
Source
Subject
Type of material
Language
1–19 of 19 hits
Sort by:
Sort by:
-
Focussing Proof-Net Construction as a Middleware Paradigm
British Library Conference Proceedings | 2002|Contributors: Voronkov, A. -
Probabilistic Latent Clustering of Device Usage
British Library Conference Proceedings | 2005|Contributors: Famili, A. Fazel -
Distributed Print on Demand Systems in the Xpect Framework
British Library Online Contents | 1999|Contributors: Dogac, A. -
Focusing and Proof-Nets in Linear and Non-commutative Logic
British Library Conference Proceedings | 1999|Contributors: Voronkov, A. -
Towards a Flexible Middleware Negotiation Facility for Distributed Components
British Library Conference Proceedings | 2001|Contributors: Tjoa, A. M. -
Towards a Flexible Middleware Negotiation Facility for Distributed Components
British Library Conference Proceedings | 2001|Contributors: Tjoa, A. M. -
Analysis of the Current Noise Produced in Stationary Conditions in MgB2 Films at Different Stages of the Superconducting Transition
British Library Online Contents | 2011| -
A Software Infrastructure for Negotiation within Inter-organisational Alliances
British Library Conference Proceedings | 2002|Contributors: Padget, J. A. -
Rule-based Object Coordination
British Library Conference Proceedings | 1995|Contributors: Yonezawa, A. -
Crime Light Imaging (CLI): A Novel Sensor for Stand-Off Detection and Localization of Forensic Traces
Free accessBASE | 2023|Contributors: Chiuri, A., Andreoli, F. -
Ubiquitous Negotiation Games: A Case Study
British Library Conference Proceedings | 2003|Contributors: Tjoa, A. M. -
Concurrent Construction of Proof-Nets
British Library Conference Proceedings | 2003|Contributors: Makowsky, J. A. -
Coordination of Distributed and Parallel Programs in ConCoord
British Library Conference Proceedings | 1996|Contributors: Andreoli, J.-M. -
A Linear Logic View of Gamma Style Computations as Proof Searches
British Library Conference Proceedings | 1996|Contributors: Andreoli, J.-M. -
Truth and Action Osmosis (The TAO Computation Model)
British Library Conference Proceedings | 1996|Contributors: Andreoli, J.-M.
- ««
- «
- 1
- »»
Hits per page