search result

Cover von The Sisyphus-VT initiative
Search for this author
Year: 1996
Publisher: London, Academic Press
Series: International journal of human-computer studies : 44. 1996, 3/4
Media group: SPECIAL ISSUE
Cover von The role of formal ontology in the information technology
Search for this author
Year: 1995
Publisher: London, Academic Press
Series: International journal of human-computer studies : 43. 1995, 5/6
Media group: SPECIAL ISSUE
Cover von A proof system for a sequential object-based language
Author: Camarao de Figueiredo, Carlos Search for this author
Year: 1995
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 95-1-1
Media group: DISSERTATION
Cover von Instruction-processing optimization techniques for VLSI microprocessors
Author: Bunda, John David Search for this author
Year: 1993
Publisher: Austin, University
Series: UTCS publications / University of Texas at Austin / Department of Computer Science; 93-19
Media group: DISSERTATION
Cover von Associative broadcast and the communications semantics of naming in concurrent systems
Author: Bayerdorffer, Bryan C. Search for this author
Year: 1993
Publisher: Austin, University
Series: UTCS publications / University of Texas at Austin / Department of Computer Science; 93-20
Media group: DISSERTATION
Cover von A graphical retargetable parallel programming environment and its efficient implementation
Author: Newton, Peter William Search for this author
Year: 1993
Publisher: Austin, University
Series: UTCS publications / University of Texas at Austin / Department of Computer Science; 93-28
Media group: DISSERTATION
Cover von From types to dataflow
code analysis for an object-oriented language
Author: Barnard, Andrew J. Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-10-2
Media group: DISSERTATION
Cover von A graph-based appproach to resolution in temporal logic
Author: Dixon, Clare Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-9-2
Media group: DISSERTATION
Cover von Multimedia information system with automatic content retrieval
Author: O'Docherty, Michael Hugh Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-2-2
Media group: DISSERTATION
Cover von Program and data transformations for efficient execution on distributed memory architectures
Author: O'Boyle, Michael Search for this author
Year: 1993
Publisher: Manchester, University
Series: Technical report series / University of Manchester / Department of Computer Science; 93-1-6
Media group: DISSERTATION
OPEN V 11.1.0.0