Automated Deduction – CADE 28

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

Certified Programming with Dependent Types

di Chlipala, Adam
Pubblicazione 2013

Certified Programming with Dependent Types

di Chlipala, Adam
Pubblicato in The MIT Press (2013)

Code/Space

di Kitchin, Rob, Dodge, Martin
Pubblicato in Software Studies (2011)

Code/Space

di Kitchin, Rob, Dodge, Martin
Pubblicato in Software Studies (2011)

Computer-Driven Instructional Design with INTUITEL

Pubblicazione 2017

Critical Perspectives on Open Development

Pubblicazione 2020

Critical Perspectives on Open Development

Pubblicazione 2020

Engineering Agile Big-Data Systems

di Feeney, Kevin, Davies, Jim, Welch, James
Pubblicazione 2018

Foundations of Software Science and Computation Structures

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

Foundations of Software Science and Computation Structures

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

Fundamental Approaches to Software Engineering

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

Interfaces on Trial 2.0

di Band, Jonathan, Katoh, Masanobu
Pubblicato in Information Society Series (2011)

Interfaces on Trial 2.0

di Band, Jonathan, Katoh, Masanobu
Pubblicato in Information Society Series (2011)

The Once-Only Principle

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

Programming Languages and Systems

Pubblicato 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

Pubblicazione 2017