LIBROS DEL AUTOR: steven homer

3 resultados para LIBROS DEL AUTOR: steven homer

steven homer Eliminar filtro Quitar filtros
  • Computability and Complexity Theory
    Alan L. Selman / Steven Homer
    This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations. Subsequent chapters move from the qualitative aspects of classical computability theory to the quantita...
    Disponible

    121,50 €

  • Computability and Complexity Theory
    Alan L. Selman / Steven Homer
    The theory of computing provides computer science with concepts, models, and formalisms for reasoning about both the resources needed to carry out computa­ tions and the efficiency of the computations that use these resources. lt provides tools to measure the difficulty of combinatorial problems both absolutely and in comparison with other problems. Courses in this subject help...
    Disponible

    49,33 €

  • Logic and Computer Science
    Anil Nerode / Richard A. Platek / Steven Homer
    The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making C...
    Disponible

    48,34 €