Automated Deduction – CADE 28

Veröffentlicht in Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Certified Programming with Dependent Types

von Chlipala, Adam
Veröffentlicht 2013

Certified Programming with Dependent Types

von Chlipala, Adam
Veröffentlicht in The MIT Press (2013)

Code/Space

von Kitchin, Rob, Dodge, Martin
Veröffentlicht in Software Studies (2011)

Code/Space

von Kitchin, Rob, Dodge, Martin
Veröffentlicht in Software Studies (2011)

Computer-Driven Instructional Design with INTUITEL

Veröffentlicht 2017

Critical Perspectives on Open Development

Veröffentlicht 2020

Critical Perspectives on Open Development

Veröffentlicht 2020

Engineering Agile Big-Data Systems

von Feeney, Kevin, Davies, Jim, Welch, James
Veröffentlicht 2018

Foundations of Software Science and Computation Structures

Veröffentlicht in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Foundations of Software Science and Computation Structures

Veröffentlicht in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Fundamental Approaches to Software Engineering

Veröffentlicht in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Interfaces on Trial 2.0

von Band, Jonathan, Katoh, Masanobu
Veröffentlicht in Information Society Series (2011)

Interfaces on Trial 2.0

von Band, Jonathan, Katoh, Masanobu
Veröffentlicht in Information Society Series (2011)

The Once-Only Principle

Veröffentlicht in Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI (2021)

Programming Languages and Systems

Veröffentlicht in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

Veröffentlicht 2017