Akten zur Auswärtigen Politik der Bundesrepublik Deutschland : 1963.
Material type: TextSeries: Publication details: Warschau/Berlin : De Gruyter Open, [1993].; ©1993.Description: 1 online resource(cxcv,1815p.) : illustrationsISBN:- 9783486718294
- 327.43009045 23
- 900 23
- DD259.5 .A384 1994eb
No physical items for this record
-
1
Automated Technology for Verification and Analysis
-
2
Runtime Verification
-
3
Logical Foundations of Computer Science
-
4
Formal Aspects of Component Software
-
5
Generative and Transformational Techniques in Software Engineering IV
-
6
Programming Languages and Systems
-
7
Programming Logics
-
8
NASA Formal Methods
-
9
Logic-Based Program Synthesis and Transformation
-
10
Inductive Logic Programming
-
11
Static Analysis
-
12
Tests and Proofs
-
13
Modelling Foundations and Applications
-
14
ECOOP 2013 – Object-Oriented Programming
-
15
Structured Object-Oriented Formal Language and Method
-
16
Automated Reasoning with Analytic Tableaux and Related Methods
-
17
Software Engineering and Formal Methods
-
18
Logic Programming and Nonmonotonic Reasoning
-
19
Runtime Verification
-
20
Frontiers of Combining Systems
There are no comments on this title.