Inicio > Tecnología, ingeniería, agricultura > Tecnología: cuestiones generales > Ingeniería: general > Semantik
Semantik

Semantik

Eike Best

78,14 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2012
Materia
Ingeniería: general
ISBN:
9783322868244
78,14 €
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

Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.

Artículos relacionados

  • An Engineer’s Alphabet
    Henry Petroski
    ...
  • Conduct of Vessels Underway
    Captain Mehrdad Behforouzi
    This book results from sailing for 25 years at sea at different ranks, including 15 years of command and more than 20 years of teaching in maritime universities, colleges, and simulators. Lack of knowledge and misinterpretation of the rules are the reasons for Most collisions at sea. The author tried to interpret the rules of the road practically to be understandable both in th...
    Disponible

    87,94 €

  • Robotics- An Introduction
    R Manikandan
    In this book the principles and basic concepts of Robotics and its components are briefed. The readers will understand the design and implementation of robot applications and their relationship to other automated technologies. The basis of machine vision and its application in robotics are briefed. The concept of end effectors, basic programming in Robots and a few real time ap...
    Disponible

    75,58 €

  • Nonnegative and Compartmental Dynamical Systems
    Qing Hui / VijaySekhar Chellaboina / Wassim M. Haddad
    This comprehensive book provides the first unified framework for stability and dissipativity analysis and control design for nonnegative and compartmental dynamical systems, which play a key role in a wide range of fields, including engineering, thermal sciences, biology, ecology, economics, genetics, chemistry, medicine, and sociology. Using the highest standards of exposition...
  • Steady Aircraft Flight and Performance
    N. Harris McClamroch
    This undergraduate textbook offers a unique introduction to steady flight and performance for fixed-wing aircraft from a twenty-first-century flight systems perspective. Emphasizing the interplay between mathematics and engineering, it fully explains the fundamentals of aircraft flight and develops the basic algebraic equations needed to obtain the conditions for gliding flight...
  • Capacidade Do Fungo Pleurotus Ostreatus (Cogumelo Shimeji) Na Biorremediação De Solos Contaminados Com Chumbo (Pb)
    Duilio Pereira
    O Uso De Biorremediação Está Ganhando Interesse, E O Objetivo Da Presente Investigação É Usar O Fungo Pleurotus Ostreatus Para Remediar Solos Contaminados Com Chumbo (Pb) E Serragem Como Um Complemento, Um Nutriente Que Permite Maior Eficiência E Velocidade De Crescimento. Para Delinear Esta Pesquisa, Foram Testados Três Repetições E Três Tratamentos E Unidade De Uma Placa Como...
    Disponible

    11,96 €

Otros libros del autor

  • CONCUR’93
    Eike Best
    This volume contains the proceedings of CONCUR ’93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts...
    Disponible

    65,01 €