jonathan-bowen documents

From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
Science From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
Visibility and visualisation of scholarly publications online: Erdős and beyond
Education Visibility and visualisation of scholarly publications online: Erdős and beyond
Online Communities: Visualization and Formalization
Social Media Online Communities: Visualization and Formalization
Computer science education in universities
Education Computer science education in universities
Industrial use of formal methods
Education Industrial use of formal methods
Making scholarly publications accessible online
Education Making scholarly publications accessible online
Wiki Software and Facilities for Museums
Technology Wiki Software and Facilities for Museums
The Brooklyn Visual Heritage Website: Brooklyn’s Museums and Libraries Collaborate for Project CHART
Art & Photos The Brooklyn Visual Heritage Website: Brooklyn’s Museums and Libraries Collaborate for Project CHART
Scheda Tecnica Allume Di Potassio Cruciani
Documents Scheda Tecnica Allume Di Potassio Cruciani
Online Academic Tools for Engagement
Education Online Academic Tools for Engagement
From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
Documents From a Community of Practice to a Body of Knowledge: A case study of the formal methods community
Microprocessor I/O emulation facilities
Documents Microprocessor I/O emulation facilities
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442
Documents Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442
A user-friendly interface adapter
Documents A user-friendly interface adapter
Microprocessors: hardware and applications: A VeronisReston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928
Documents Microprocessors: hardware and applications: A VeronisReston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928
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
Documents 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
Formal specification of the ProCoS/safemos instruction set
Documents Formal specification of the ProCoS/safemos instruction set
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
Documents 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
Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7
Documents Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7
Editorial
Documents Editorial
Annotated Z bibliography
Documents Annotated Z bibliography