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.514 views
Visibility and visualisation of scholarly publications online: Erdős and beyond
Visibility and visualisation of scholarly publications online: Erdős and beyond
530 views
Online Communities: Visualization and Formalization
Online Communities: Visualization and Formalization
268 views
Computer science education in universities
Computer science education in universities
1.218 views
Industrial use of formal methods
Industrial use of formal methods
3.260 views
Making scholarly publications accessible online
Making scholarly publications accessible online
949 views
Wiki Software and Facilities for Museums
Wiki Software and Facilities for Museums
1.787 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
104 views
Scheda Tecnica Allume Di Potassio Cruciani
Scheda Tecnica Allume Di Potassio Cruciani
64 views
Online Academic Tools for Engagement
Online Academic Tools for Engagement
282 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
216 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
215 views
A user-friendly interface adapter
A user-friendly interface adapter
222 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
217 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
215 views
Formal specification of the ProCoS/safemos instruction set
Formal specification of the ProCoS/safemos instruction set
220 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
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
215 views
Editorial
Editorial
215 views