Inicio > Tecnología, ingeniería, agricultura > Tecnología: cuestiones generales > Ingeniería: general > Concurrency, Specification and Programming
Concurrency, Specification and Programming

Concurrency, Specification and Programming

 

208,53 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2023
Materia
Ingeniería: general
ISBN:
9783031266508

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)
¡Pregúntanos!
Sobre IBD

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

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 €