Visas 1 - 17 av 17 resultat för sökning '', Sökningstid : 0,19s Förfina resultatet
Automated Deduction – CADE 28
Certified Programming with Dependent Types

Certified Programming with Dependent Types
Code/Space

Code/Space
Computer-Driven Instructional Design with INTUITEL

Critical Perspectives on Open Development
Critical Perspectives on Open Development

Engineering Agile Big-Data Systems
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
Fundamental Approaches to Software Engineering

Interfaces on Trial 2.0
Interfaces on Trial 2.0

The Once-Only Principle
Programming Languages and Systems

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems
Sökverktyg: RSS-flöde — Skicka sökningen per e-post — Spara sökningen