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