Automated Deduction – CADE 28

Foilsithe in Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Certified Programming with Dependent Types

le Chlipala, Adam
Foilsithe 2013

Certified Programming with Dependent Types

le Chlipala, Adam
Foilsithe in The MIT Press (2013)

Code/Space

le Kitchin, Rob, Dodge, Martin
Foilsithe in Software Studies (2011)

Code/Space

le Kitchin, Rob, Dodge, Martin
Foilsithe in Software Studies (2011)

Computer-Driven Instructional Design with INTUITEL

Foilsithe 2017

Critical Perspectives on Open Development

Foilsithe 2020

Critical Perspectives on Open Development

Foilsithe 2020

Engineering Agile Big-Data Systems

le Feeney, Kevin, Davies, Jim, Welch, James
Foilsithe 2018

Foundations of Software Science and Computation Structures

Foilsithe in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Foundations of Software Science and Computation Structures

Foilsithe in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Fundamental Approaches to Software Engineering

Foilsithe in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Interfaces on Trial 2.0

le Band, Jonathan, Katoh, Masanobu
Foilsithe in Information Society Series (2011)

Interfaces on Trial 2.0

le Band, Jonathan, Katoh, Masanobu
Foilsithe in Information Society Series (2011)

The Once-Only Principle

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

Programming Languages and Systems

Foilsithe 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

Foilsithe 2017