Iain D. Craig
Iain D. Craig
8 ספרים במאגר
ספרים
Virtual MachinesIain D. Craig
Virtual Machines
Iain D. Craig · 2005
Object-Oriented Programming LanguagesIain D. Craig
Object-Oriented Programming Languages
Iain D. Craig · 2007
Formal Refinement for Operating System KernelsIain D. Craig
Formal Refinement for Operating System Kernels
Iain D. Craig · 2007
Formal Models of Operating System KernelsIain D. Craig
Formal Models of Operating System Kernels
Iain D. Craig · 2006
Programming in DylanIain D. Craig
Programming in Dylan
Iain D. Craig · 1997
Formal Specification of Advanced Ai ArchitecturesIain D. Craig
Formal Specification of Advanced Ai Architectures
Iain D. Craig · 1991
Jahreslohnsteuertabelle 2003Iain D. Craig
Jahreslohnsteuertabelle 2003
Iain D. Craig · 2002
Formal Specification of Advanced AI ArchitecturesIain D. Craig
Formal Specification of Advanced AI Architectures
Iain D. Craig · 1991