Total Books: 1 - 5 /5
Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
WeiterlesenCybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools
This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...
Weiterlesen
Testing of Communicating Systems (vol. # 3502)
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Weiterlesen
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Weiterlesen
The 2007 ESO Instrument Calibration Workshop : Proceedings of the ESO Workshop held in Garching, Germany, 23-26 January 2007
These present proceedings include the majority of the workshop’s contributions and document the status quo of instrument ...
Weiterlesen
Total Books: 1 - 5 /5
