1
Publicado em 2013
Sumário: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ... Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... and Online Algorithms -- On the Complexity of Equilibria Problems in Angel-Daemon Games -- Average-Case...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Sumário: ... Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... Education Through an (Inter)active Platform of Analysis and Modelling Case Studies -- Knowledge Management...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Por Mat Junoh, Adanan
Publicado em 2006
... analyzed using the SPSS program. For the qualitative phase, the researcher conducted a case study...
Obter o texto integral
Thesis
9
Por Mat Junoh, Adanan
Publicado em 2006
... analyzed using the SPSS program. For the qualitative phase, the researcher conducted a case study...
Obter o texto integral
Thesis