Handbook of truly concurrent process algebra /
Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actor...
Tallennettuna:
| Päätekijä: | Wang, Yong (Tekijä) |
|---|---|
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | englanti |
| Julkaistu: |
Cambridge, MA :
Morgan Kaufman,
[2024]
|
| Painos: | First edition. |
| Aiheet: | |
| Linkit: | ScienceDirect |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Samankaltaisia teoksia
Astrochemical modeling : practical aspects of microphysics in numerical simulations /
Julkaistu: (2024)
Julkaistu: (2024)
Hydraulic fracture geometry characterization based on distributed fiber optic strain measurements : modeling and field data for unconventional and geothermal wells /
Tekijä: Wu, Kan
Julkaistu: (2024)
Tekijä: Wu, Kan
Julkaistu: (2024)
Postharvest technologies and quality control of shrimp /
Julkaistu: (2025)
Julkaistu: (2025)
Polymer gears /
Julkaistu: (2025)
Julkaistu: (2025)
Semiconducting polymer materials for biosensing applications /
Julkaistu: (2024)
Julkaistu: (2024)
Emerging contaminants : sustainable agriculture and the environment /
Julkaistu: (2024)
Julkaistu: (2024)
Transglutaminase : fundamentals and applications /
Julkaistu: (2024)
Julkaistu: (2024)
Balancing a sauropod : the physiology of a dinosaur /
Tekijä: Isakson, Brant E.
Julkaistu: (2025)
Tekijä: Isakson, Brant E.
Julkaistu: (2025)
Radiomics and radiogenomics in neuro-oncology an artificial intelligence paradigm.
Julkaistu: (2024)
Julkaistu: (2024)
Machine learning and artificial intelligence in chemical and biological sensing /
Julkaistu: (2024)
Julkaistu: (2024)
Immune landscape of pancreatic cancer development and drug resistance.
Julkaistu: (2024)
Julkaistu: (2024)
Nanofluid boiling /
Tekijä: Kosar, Ali, et al.
Julkaistu: (2023)
Tekijä: Kosar, Ali, et al.
Julkaistu: (2023)
Advances in thermoplastic elastomers : challenges and opportunities /
Julkaistu: (2024)
Julkaistu: (2024)
34th European Symposium on Computer Aided Process Engineering / 15th International Symposium on Process Systems Engineering /
Julkaistu: (2024)
Julkaistu: (2024)
Securing next-generation connected healthcare systems : artificial intelligence technologies /
Julkaistu: (2024)
Julkaistu: (2024)
Genetics and epigenetics of genitourinary diseases /
Julkaistu: (2024)
Julkaistu: (2024)
Emerging innovative trends in the application of biological processes for industrial wastewater treatment
Julkaistu: (2024)
Julkaistu: (2024)
PROCESS INTENSIFICATION FOR CHEMICAL AND BIOTECHOLOGY INDUSTRIES : fundamentals and... applications to critical and advanced processes.
Tekijä: SONAWANE, SHIRISH
Julkaistu: (2023)
Tekijä: SONAWANE, SHIRISH
Julkaistu: (2023)
Disposal and recycling strategies for nano-engineered materials /
Tekijä: Pandey, Jitendra Kumar
Julkaistu: (2024)
Tekijä: Pandey, Jitendra Kumar
Julkaistu: (2024)
Risk assessment and management for ships and offshore structures /
Tekijä: Bai, Yong
Julkaistu: (2022)
Tekijä: Bai, Yong
Julkaistu: (2022)
Pigmented grains : nutritional properties, bioactive potential, and food application /
Julkaistu: (2024)
Julkaistu: (2024)
Machining principles for shape generation of metals /
Tekijä: Furukawa, Yuji
Julkaistu: (2024)
Tekijä: Furukawa, Yuji
Julkaistu: (2024)
A blueprint for implementing best practice procedures in a digital forensic laboratory : meeting the requirements of ISO standards and other best practices /
Tekijä: Watson, David (David Lilburn), et al.
Julkaistu: (2024)
Tekijä: Watson, David (David Lilburn), et al.
Julkaistu: (2024)
Antioxidant methods : a guideline for understanding and determining antioxidant capacity /
Tekijä: Avelino, Francisco
Julkaistu: (2024)
Tekijä: Avelino, Francisco
Julkaistu: (2024)
Mechanoluminescence in organic and inorganic compounds : basic concepts, instrumentation, and applications /
Julkaistu: (2024)
Julkaistu: (2024)
Treatise on process metallurgy.
Julkaistu: (2024)
Julkaistu: (2024)
Treatise on process metallurgy.
Julkaistu: (2024)
Julkaistu: (2024)
Mechanical alloying of ferrous and non-ferrous alloys : processing, properties, and applications /
Julkaistu: (2024)
Julkaistu: (2024)
High-entropy alloys : design, manufacturing, and emerging applications /
Julkaistu: (2024)
Julkaistu: (2024)
Training in Plastics Technology /
Tekijä: Hopmann, Christian, et al.
Julkaistu: (2024)
Tekijä: Hopmann, Christian, et al.
Julkaistu: (2024)
Injection molds for beginners /
Tekijä: Dangel, Rainer
Julkaistu: (2023)
Tekijä: Dangel, Rainer
Julkaistu: (2023)
Polyimides : Advances in Blends and Nanocomposites /
Julkaistu: (2023)
Julkaistu: (2023)
Sensory polymers : from their design to practical applications /
Julkaistu: (2024)
Julkaistu: (2024)
Technical Organic and Inorganic Fibres From Natural Resources
Julkaistu: (2024)
Julkaistu: (2024)
POLYMERIC NANOFIBERS AND THEIR COMPOSITES : recent advances and applications.
Julkaistu: (2024)
Julkaistu: (2024)
Progresses in ammonia : science, technology and membranes : production, recovery, purification and storage /
Julkaistu: (2024)
Julkaistu: (2024)
KIRKWOOD-BUFF THEORY OF SOLUTIONS : with selected applications to solvation and proteins.
Tekijä: BEN-NAIM, ARIEH
Julkaistu: (2023)
Tekijä: BEN-NAIM, ARIEH
Julkaistu: (2023)
Polymer composites derived from animal sources.
Julkaistu: (2024)
Julkaistu: (2024)
Semisynthesis of bioactive compounds and their biological activities /
Tekijä: Majhi, Sasadhar
Julkaistu: (2023)
Tekijä: Majhi, Sasadhar
Julkaistu: (2023)
Fractals and Multifractals in the Geosciences /
Tekijä: Sadeghi, Behnam
Julkaistu: (2024)
Tekijä: Sadeghi, Behnam
Julkaistu: (2024)
Samankaltaisia teoksia
-
Astrochemical modeling : practical aspects of microphysics in numerical simulations /
Julkaistu: (2024) -
Hydraulic fracture geometry characterization based on distributed fiber optic strain measurements : modeling and field data for unconventional and geothermal wells /
Tekijä: Wu, Kan
Julkaistu: (2024) -
Postharvest technologies and quality control of shrimp /
Julkaistu: (2025) -
Polymer gears /
Julkaistu: (2025) -
Semiconducting polymer materials for biosensing applications /
Julkaistu: (2024)