Inicio > Medicina > Medicina: cuestiones generales > Logic Based Program Synthesis and Transformation
Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Alberto Pettorossi

77,70 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2002
Materia
Medicina: cuestiones generales
ISBN:
9783540439158
77,70 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

Artículos relacionados

  • 48 Recettes de Repas pour l'élimination de l'acné
    Joe Correa
    48 Recettes de Repas pour ’élimination de l’acné : La voie rapide et naturelle de correction des problèmes d'acné en 10 jours ou moins! Par Joe Correa CSN   Ces recettes vous aideront à avoir un système immunitaire plus fort grâce à une variété de vitamines et de nutriments. Environ 20 pour cent de toutes les personnes souffrent d'acné pendant 20 et 30 ans, et la cau...
    Disponible

    20,65 €

  • 54 Ricette per diabetici per controllare la tua condizione, naturalmente
    Joe Correa
    54 Ricette Per Diabetici Per Controllare La Tua Condizione, Naturalmente: Scelte Alimentari Sane Per Tutti I DiabeticiDi Joe Correa CSN Il diabete si verifica a causa della incapacità del pancreas di produrre insulina. Il diabete di tipo 1 è classificato come una malattia autoimmune. È una condizione in cui il sistema immunitario dell'organismo 'attacca' i propri tessuti e ...
    Disponible

    22,29 €

  • Ubiquitous Cardiology
    Piotr Augustyniak / Ryszard Tadeusiewicz
    The Internet and other technological developments are now playing increasing roles in consumer health and the delivery of health services. Ubiquitous Cardiology: Emerging Wireless Telemedical Applications provides developmental solutions and explanations for cardiovascular diagnostics. Useful to field researchers, academicians, and healthcare practitioners, this Premier Referen...
  • Quality Assurance in Healthcare Service Delivery, Nursing and Personalized Medicine
    Quality of life is difficult to define and even more difficult to measure; as such, outcomes from nursing in continuing care are not easily articulated. Quality Assurance in Healthcare Service Delivery, Nursing and Personalized Medicine: Technologies and Processes offers a framework for measuring quality of service in the healthcare industry as it pertains to nursing, with insi...
  • Exploring the Pressures of Medical Education From a Mental Health and Wellness Perspective
    Christina Ramirez Smith
    Discussions surrounding mental health are becoming more prominent and these conditions are becoming less stigmatized. Studying the effects that mental wellness has on students within the medical field can provide an insider perspective on this critical topic. Exploring the Pressures of Medical Education From a Mental Health and Wellness Perspective is a critical reference sourc...
  • Electrocardiogram Signal Classification and Machine Learning
    Sara Moein
    Technological tools and computational techniques have enhanced the healthcare industry. These advancements have led to significant progress in the diagnosis of heart disorders. Electrocardiogram Signal Classification and Machine Learning: Emerging Research and Opportunities is a critical scholarly resource that examines the importance of automatic normalization and classificati...

Otros libros del autor

  • Techniques for Searching, Parsing, and Matching
    Alberto Pettorossi
    In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among ...
    Disponible

    97,66 €

  • Automata Theory and Formal Languages
    Alberto Pettorossi
    Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an importa...
    Disponible

    49,60 €

  • Techniques for Searching, Parsing, and Matching
    Alberto Pettorossi
    In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among ...
    Disponible

    49,70 €

  • Techniques for Searching, Parsing, and Matching
    Alberto Pettorossi
    In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among ...
  • Meta-Programming in Logic
    Alberto Pettorossi
    This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transf...
    Disponible

    65,88 €