Malaita in Solomon Islands, 1870s�1930s / Making Mala :
By: Material type: TextSeries: Pacific SeriesPublication details: ANU E Press,; 2017ISBN:- 9781760460976
- 978-1-76046-098-3
No physical items for this record
-
1
Automated Technology for Verification and Analysis
-
2
Runtime Verification
-
3
Distributed Computing and Networking
-
4
Software Engineering for Self-Adaptive Systems II
-
5
Formal Aspects of Component Software
-
6
Generative and Transformational Techniques in Software Engineering IV
-
7
Software Engineering
-
8
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
-
9
Transactions on Aspect-Oriented Software Development X
-
10
Programming Languages and Systems
-
11
Languages and Compilers for Parallel Computing
-
12
NASA Formal Methods
-
13
Logic-Based Program Synthesis and Transformation
-
14
Transactions on Pattern Languages of Programming III
-
15
Programming Multi-Agent Systems
-
16
Static Analysis
-
17
Tests and Proofs
-
18
Safe and Secure Software Reuse
-
19
Modelling Foundations and Applications
-
20
ECOOP 2013 – Object-Oriented Programming
There are no comments on this title.