Upload File

The top documents of jonathan-bowen

From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
1.512 views
Visibility and visualisation of scholarly publications online: Erdős and beyond
Visibility and visualisation of scholarly publications online: Erdős and beyond
526 views
Online Communities: Visualization and Formalization
Online Communities: Visualization and Formalization
264 views
Computer science education in universities
Computer science education in universities
1.214 views
Industrial use of formal methods
Industrial use of formal methods
3.256 views
Making scholarly publications accessible online
Making scholarly publications accessible online
946 views
Wiki Software and Facilities for Museums
Wiki Software and Facilities for Museums
1.785 views
The Brooklyn Visual Heritage Website: Brooklyn’s Museums and Libraries Collaborate for Project CHART
The Brooklyn Visual Heritage Website: Brooklyn’s Museums and Libraries Collaborate for Project CHART
102 views
Online Academic Tools for Engagement
Online Academic Tools for Engagement
280 views
From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
212 views
Microprocessor I/O emulation facilities
Microprocessor I/O emulation facilities
214 views
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442
213 views
A user-friendly interface adapter
A user-friendly interface adapter
219 views
Microprocessors: hardware and applications: A VeronisReston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928
Microprocessors: hardware and applications: A VeronisReston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928
215 views
Formal specification of the ProCoS/safemos instruction set
Formal specification of the ProCoS/safemos instruction set
219 views
Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7
Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7
212 views
More books about assembler and 16-bit micros: Turpin, R WThe 8086 and assembly language programming BSP Professional Books, Oxford, UK (1987) £12.95 pp 259
More books about assembler and 16-bit micros: Turpin, R WThe 8086 and assembly language programming BSP Professional Books, Oxford, UK (1987) £12.95 pp 259
214 views
More books about assembler and 16-bit micros: Krantz, D and Stanley, J68000 assembly language: techniques for building programs Addison-Wesley, Reading, MA, USA (1986) £15.95 pp 402
More books about assembler and 16-bit micros: Krantz, D and Stanley, J68000 assembly language: techniques for building programs Addison-Wesley, Reading, MA, USA (1986) £15.95 pp 402
213 views
Editorial
Editorial
213 views
Annotated Z bibliography
Annotated Z bibliography
215 views