The SAGE handbook of environmental change. VOlume II, Human impacts and responses [electronic resource] / [edited by] John A Matthews ... [et al.].
Contributor(s): Material type: TextPublication details: London : SAGE, 2012.Description: 1 online resource : illISBN:- 9781446253052 (ebook) :
- Handbook of environmental change
- 363.7 23
- GE149
No physical items for this record
Includes bibliographical references and index.
-
1
Software Language Engineering
-
2
Hardware and Software: Verification and Testing
-
3
Programming Languages and Systems
-
4
Runtime Verification
-
5
Unifying Theories of Programming
-
6
ICT in Education, Research, and Industrial Applications
-
7
Formal Aspects of Component Software
-
8
Generative and Transformational Techniques in Software Engineering IV
-
9
Software Language Engineering
-
10
Foundations of Software Science and Computation Structures
-
11
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
-
12
Integrated Formal Methods
-
13
Static Analysis
-
14
Tests and Proofs
-
15
ECOOP 2013 – Object-Oriented Programming
-
16
Structured Object-Oriented Formal Language and Method
-
17
Hardware and Software: Verification and Testing
-
18
Software Engineering and Formal Methods
-
19
Computational Logic in Multi-Agent Systems
-
20
Runtime Verification
There are no comments on this title.