1
Gepubliceerd in 2008
Inhoudsopgave: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2006
Inhoudsopgave: ... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ... Prepositions and Comparative Adjectives for Learning Visual Classifiers -- Learning Spatial Context: Using...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2006
Inhoudsopgave: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2010
Inhoudsopgave: ... Class Segmentation -- A Dynamic Programming Approach to Reconstructing Building Interiors...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2015
Inhoudsopgave: ... -- Chapter 2. Data Envelopment Analysis for Performance Evaluation: A Child’s Guide by Ray, Subhash C. & Chen...
Volledige tekst
Elektronisch E-boek
7
Volledige tekst
Elektronisch E-boek