1
יצא לאור 2014
תוכן הענינים: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים: ... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני