Jump to main content

yr 〜
yr

Search results 2

Process algebras for petri nets : the alphabetization of distributed systems

Process algebras for petri nets : the alphabetization of distributed systems
Paper図書
Roberto GorrieriSpringerc2017
Other Libraries in Japan
  • Subject HeadingElectronic data processing -- Distributed processing -- Mathematical models Petri nets
  • Subject Heading (ID)Electronic data processing -- Distributed processing -- Mathematical models Petri nets

Quantitative assessments of distributed systems : methodologies and techniques : [hbk.]

Quantitative assessments of distributed systems : methodologies and techniques : [hbk.]
Paper図書
edited by Dario Bruneo and Salvatore DistefanoScrivener Publishing, Wileyc2015
Other Libraries in Japan
  • Subject Heading...-- Mathematics Electronic data processing -- Distributed processing -- Mathematical models Quantitative research TECHNOL...
  • Subject Heading (ID)...-- Mathematics Electronic data processing -- Distributed processing -- Mathematical models Quantitative research TECHNOL...

Reached to the end of result.

RSS