Suchergebnisse - "Computer programming / software engineering"

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification …”
Volltext

The Once-Only Principle

Schlagworte: “… Computer programming / software engineering …”
Volltext

Automated Deduction – CADE 28

Schlagworte: “… Computer programming / software engineering …”
Volltext

Benefit/Cost-Driven Software Development von Hannay, Jo Erskine

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext

Computer Aided Verification

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering …”
Volltext

Computer Aided Verification

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering …”
Volltext

Mobile Edge Computing von Zhang, Yan

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming …”
Volltext

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification …”
Volltext

Sublinear Computation Paradigm

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures …”
Volltext

Agile Processes in Software Engineering and Extreme Programming – Workshops

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext

10 PRINT CHR$(205.5+RND(1)); : GOTO 10 von Montfort, Nick, Baudoin, Patsy, Bell, John, Bogost, Ian, Douglass, Jeremy, Marino, Mark C., Mateas, Michael, Reas, Casey, Sample, Mark, Vawter, Noah

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general …”
Volltext

Boosting von Schapire, Robert E., Freund, Yoav

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures …”
Volltext

AI Knowledge Transfer from the University to Society

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programming …”
Volltext

Cyber Security

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext

Code/Space von Kitchin, Rob, Dodge, Martin

Schlagworte: “… Computer programming / software engineering …”
Volltext

Interfaces on Trial 2.0 von Band, Jonathan, Katoh, Masanobu

Schlagworte: “… Computer programming / software engineering …”
Volltext

Certified Programming with Dependent Types von Chlipala, Adam

Schlagworte: “… Computer programming / software engineering …”
Volltext

The Constitution of Algorithms von Jaton, Florian

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures …”
Volltext

Critical Perspectives on Open Development

Schlagworte: “… Computer programming / software engineering …”
Volltext

Ernst Denert Award for Software Engineering 2020

Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext