Carbon sequestration and sustainable livelihoods : a workshop synthesis / Daniel Murdiyarso, Hety Herawati, Haris Iskandar
By: Contributor(s): Material type: TextPublication details: Indonesia : Center for internation Forestry Research. c2005.Description: 22 p. : ill. ; 32 cmISBN:- 9793361794
- 628.532 22 MUC
No physical items for this record
-
1
Belief Revision in Non-Classical Logics
by Ribeiro, Márcio Moretto. -
2
Mathematics in Computing
by O’Regan, Gerard. -
3
Using Event-B for Critical Device Software Systems
by Singh, Neeraj Kumar. -
4
Formal Languages and Compilation
by Crespi Reghizzi, Stefano. -
5
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
by Subrahmanian, V.S. -
6
A Course on Mathematical Logic
by Srivastava, Shashi Mohan. -
7
A General Framework for Reasoning On Inconsistency
by Martinez, Maria Vanina. -
8
Modelling Computing Systems
by Moller, Faron. -
9
Concise Computer Mathematics
by Bagdasar, Ovidiu. -
10
Software Language Engineering
-
11
Hardware and Software: Verification and Testing
-
12
Fuzzy Logic and Applications
-
13
AI*IA 2013: Advances in Artificial Intelligence
-
14
Programming Languages and Systems
-
15
Certified Programs and Proofs
-
16
Ernst Zermelo - Collected Works/Gesammelte Werke II
by Zermelo, Ernst. -
17
Industrial Deployment of System Engineering Methods
-
18
Cylindric-like Algebras and Algebraic Logic
-
19
Runtime Verification
-
20
On Fuzziness
There are no comments on this title.