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