Automated Deduction – CADE 28

發表在 Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Certified Programming with Dependent Types

由 Chlipala, Adam
出版 2013

Certified Programming with Dependent Types

由 Chlipala, Adam
發表在 The MIT Press (2013)

Code/Space

由 Kitchin, Rob, Dodge, Martin
發表在 Software Studies (2011)

Code/Space

由 Kitchin, Rob, Dodge, Martin
發表在 Software Studies (2011)

Computer-Driven Instructional Design with INTUITEL

出版 2017

Critical Perspectives on Open Development

出版 2020

Critical Perspectives on Open Development

出版 2020

Engineering Agile Big-Data Systems

由 Feeney, Kevin, Davies, Jim, Welch, James
出版 2018

Foundations of Software Science and Computation Structures

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Foundations of Software Science and Computation Structures

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Fundamental Approaches to Software Engineering

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Interfaces on Trial 2.0

由 Band, Jonathan, Katoh, Masanobu
發表在 Information Society Series (2011)

Interfaces on Trial 2.0

由 Band, Jonathan, Katoh, Masanobu
發表在 Information Society Series (2011)

The Once-Only Principle

發表在 Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI (2021)

Programming Languages and Systems

發表在 Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

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

出版 2017