MacKenzie, Kenneth
57  Ergebnisse:
?
1

List of contributors:

, In: Alkali-Activated Materials in Environmental Technology Applications,
 
?
2

Alkali-activated materials as photocatalysts for aqueous po..:

, In: Alkali-Activated Materials in Environmental Technology Applications,
 
?
3

Alkali-activated materials as catalysts in chemical process..:

, In: Alkali-Activated Materials in Environmental Technology Applications,
 
?
4

Contributors:

, In: Composite Materials,
 
?
6

UTXO$$_{\textsf {ma}}$$: UTXO with Multi-asset Support:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,
 
?
7

The Extended UTXO Model:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,
 
?
8

Native Custom Tokens in the Extended UTXO Model:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,
 
?
9

Unraveling Recursion: Compiling an IR with Recursion to Sys..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,
 
?
10

Performance portability through semi-explicit placement in ..:

, In: Proceedings of the 14th ACM SIGPLAN Workshop on Erlang,
 
?
13

Effective Leadership in Virtual-Like Organizational Arrange..:

, In: Encyclopedia of Human Resources Information Systems,
Mackenzie, Kenneth D. ; Pate, Larry E. - p. 256-266 , 2009
 
?
14

Simulation and embedded software development for Anton, a p..:

, In: Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis,
Grossman, J. P. ; Young, Cliff ; Bank, Joseph A.... - p. 125-130 , 2008
 
?
 
1-15