Search results for “[Subject: programming-algorithms]”

• Author(s): John Edward Beasley | J. E. Beasley • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Algebra - LinearIn recent years there has been an explosion of research into linear programming, as well as further steady advances ...

• Author(s): Rolf Niedermeier • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: GeneralA fixed-parameter is an algorithm that provides an optimal solution to a combinatorial problem. This research-level text is an application-orien...

• Author(s): Phillip Kaye | Raymond Laflamme | Michele Mosca • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Programming - AlgorithmsThis concise, accessible text provides a thorough introduction to quantum computing - an excitin...

• Author(s): Marek Karpinski | Wojciech Rytter • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Graphic MethodsThe matching problem is central to graph theory and the theory of algorithms. This book provides a comprehensive and st...

• Author(s): Zhaohui Luo | Zhaohui Luo • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Logic DesignThis book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particula...

• Author(s): Samson Abramsky | Dov M. Gabbay | T. S. 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...

• 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): D. F. Andrews | J. E. Stafford | J. E. H. Stafford • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Probability & Statistics - GeneralOver recent years, developments in statistical computing have freed statisticia...

• Author(s): Brian Roark | Richard Sproat • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Linguistics - GeneralThe book will appeal to scholars and advanced students of morphology, syntax, computational linguistics and natural la...

• Author(s): Dov M. Gabbay | M. Finger | M. Reynolds • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Logic DesignThis is the second volume in a series of well-respected works in temporal science and is by the same authors as the ...

• 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): Darrel C. Ince | D. Ince • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Programming - Object OrientedFormal specification is the name given to the use of discrete mathematics in computer science for describing the f...

• Author(s): Gabbay • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • Subject: Computer Science and Information Technology • BISAC: ComputersLogic is now widely recognized to be one of the foundational disciplines of computing with applic...