Search
Lexile Level
AR Level
AR Level
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, S 9783540425564 by
Alfaro, Luca De -
Springer,
-2001
Dewey: 511.3
N/A
Foundations of Software Science and Computational Structures: 12th International Conference, Fossacs 2009, Held as Part of the Joint European Conferen 9783642005954 by
De Alfaro, Luca -
Springer,
-2009
Dewey: 005.01
N/A
Concur 2005 - Concurrency Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, Proceedings (2005) 9783540283096 by
Abadi, Martín -
Springer,
-2005
Dewey: 004.35
N/A