1
Veröffentlicht 2008
Inhaltsangabe: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2014
Inhaltsangabe: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
Volltext
Elektronisch E-Book