Modeling and Analysis of Communicating Systems
Jan Friso Groote, Mohammad Reza Mousavi
Häftad, 2023
1 019 kr
Del i serien Lecture Notes in Computer Science
Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Häftad, Engelska, 2017
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (2)
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
Produktinformation
- Utgivningsdatum2017-10-14
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor125
- FörlagSpringer International Publishing AG
- ISBN9783319689524
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 11254
Del 13273
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi, Anna Philippou
Häftad, 2022
1 039 kr
Del 15560
Rebeca for Actor Analysis in Action
Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
Häftad, 2025
1 109 kr
Del 9361
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi
Häftad, 2015
599 kr
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Häftad, 2017
739 kr
Hoppa över listan
Mer från samma serie
Del 16477
Passive and Active Measurement
Simone Ferlin-Reiter, Romain Fontugne, Johanna Ullrich
Häftad, 2026
1 409 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 15427
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Hoppa över listan
Du kanske också är intresserad av
Del 9541
Topics in Theoretical Computer Science
Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi
Häftad, 2016
739 kr
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Häftad, 2017
739 kr
Del 13273
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi, Anna Philippou
Häftad, 2022
1 039 kr
Del 11254
Del 15560
Rebeca for Actor Analysis in Action
Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
Häftad, 2025
1 109 kr
Modeling and Analysis of Communicating Systems
Jan Friso Groote, Mohammad Reza Mousavi
Häftad, 2023
1 019 kr
Mathematical Foundations of Computer Science 2013
Krishnendu Chatterjee, Jirí Sgall
Häftad, 2013
719 kr
Mathematical Foundations of Computer Science 2001
Jiri Sgall, Ales Pultr, Petr Kolman
Häftad, 2001
1 479 kr