
Programming Languages and Systems
431,-

Foundations of Software Science and Computation Structures
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Functional and Logic Programming
584,-

Algorithms for Big Data
431,-

Programming Languages and Systems
1 124,-

Structured Object-Oriented Formal Language and Method
584,-

Structured Object-Oriented Formal Language and Method
476,-

Transactions on Pattern Languages of Programming IV
584,-

Logical Foundations of Computer Science
584,-

Programming Languages and Systems
431,-

Foundations of Software Science and Computation Structures
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Functional and Logic Programming
584,-

Algorithms for Big Data
431,-

Programming Languages and Systems
1 124,-

Structured Object-Oriented Formal Language and Method
584,-

Structured Object-Oriented Formal Language and Method
476,-

Transactions on Pattern Languages of Programming IV
584,-

Logical Foundations of Computer Science
584,-













