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