Wyniki wyszukiwania dla: Gregory L. Heileman
New Directions for Higher Education > 2017 > 180 > 21 - 30
Lecture Notes in Computer Science > Algorithm Engineering and Experimentation > Software and Applications > 230-249
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > Alloy Papers > 132-145
2015 54th IEEE Conference on Decision and Control (CDC) > 1026 - 1032
Procedia Computer Science > 2015 > 53 > Complete > 298-307
2012 IEEE Eighth World Congress on Services > 116 - 124