Sciweavers

1209 search results - page 10 / 242
» Universal Algebra and Computer Science
Sort
View
SIGCSE
2008
ACM
112views Education» more  SIGCSE 2008»
14 years 9 months ago
Improving the persistence of first-year undergraduate women in computer science
This paper describes a study of undergraduate women's retention in the first-year of the computer science major at the University of Pennsylvania for the purpose of identifyi...
Rita Manco Powell
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
15 years 2 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
63
Voted
SOFSEM
2009
Springer
15 years 6 months ago
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
Jens Bachmann, Martin Riedl, Johann Schuster, Mark...
ERSHOV
1999
Springer
15 years 1 months ago
Algebraic Imperative Specifications
Marie-Claude Gaudel, Alexandre V. Zamulin
GG
1990
Springer
15 years 1 months ago
An Algebraic Theory of Graph Reduction
Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...