Automated Deduction – CADE 28

Argitaratua izan da Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

Certified Programming with Dependent Types

nork Chlipala, Adam
Argitaratua 2013

Certified Programming with Dependent Types

nork Chlipala, Adam
Argitaratua izan da The MIT Press (2013)

Code/Space

nork Kitchin, Rob, Dodge, Martin
Argitaratua izan da Software Studies (2011)

Code/Space

nork Kitchin, Rob, Dodge, Martin
Argitaratua izan da Software Studies (2011)

Computer-Driven Instructional Design with INTUITEL

Argitaratua 2017

Critical Perspectives on Open Development

Argitaratua 2020

Critical Perspectives on Open Development

Argitaratua 2020

Engineering Agile Big-Data Systems

nork Feeney, Kevin, Davies, Jim, Welch, James
Argitaratua 2018

Foundations of Software Science and Computation Structures

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Foundations of Software Science and Computation Structures

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Fundamental Approaches to Software Engineering

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Interfaces on Trial 2.0

nork Band, Jonathan, Katoh, Masanobu
Argitaratua izan da Information Society Series (2011)

Interfaces on Trial 2.0

nork Band, Jonathan, Katoh, Masanobu
Argitaratua izan da Information Society Series (2011)

The Once-Only Principle

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

Programming Languages and Systems

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

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

Argitaratua 2017