Search results for “[subject: computer-engineering]”

• Author(s): Iwona Bialynicki-Birula | Iwo Biaynicki-Birula | Iwo Bialynicki-Birula • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Data Modeling & DesignThe bookModeling Reality covers a wide range of fascinating subjects, a...

• Author(s): Abramsky | Gabbay | Maibaum • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Computer ScienceLogic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every ...

• Author(s): Christopher John Hogger | D. M. Gabbay | C. Hogger • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Artificial Intelligence - Expert SystemsLogic is now widely recognized as one of the foundational disciplines of comp...

• Author(s): Dov M. Gabbay | J. A. Robinson | Christopher J. Hogger • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Expert SystemsLogic is now widely recognized to be one of the foundational disciplines of computing with applicat...

• Author(s): G. M. Reed | R. F. Wachter | A. W. Roscoe • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Machine TheoryThis volume reflects the growing use of techniques from topology and category theory in the field of theoretical...

• Author(s): Samson Abramsky | T. S. Maibaum | Dov M. Gabbay • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Computer ScienceThe Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the app...