Erscheinungsjahr
Medientyp
Datenquelle
Fach
Sprache
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Computer industry
Suche ohne Synonyme: keywords:("Computer industry")
Verwendete Synonyme:
- computerindustrie
- datenverarbeitungsindustrie
121–140 von 29.115 Ergebnissen
Sortieren:
Sortieren:
-
Formalization of Wu's Simple Method in Coq
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
Improving the performance of a computer company in supporting its reverse logistics operations in the Asia-Pacific region
Emerald Group Publishing | 2003|Schlagwörter: Computer industry -
Discrimination in the computer industry
Emerald Group Publishing | 2001|Schlagwörter: Computer industry -
New methods in software product line practice
Tema Archiv | 2006|Schlagwörter: Datenverarbeitungsindustrie -
Quality procedures for hardware and software : a cost effective guide to establishing a quality system; contains manuals and template procedures
TIBKAT | 1991|Schlagwörter: Computer industry -
Recent technical advances in the computer industry and their future inmpact,
Freier ZugriffDSpace@MIT | 1973Schlagwörter: Computer industry -
Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
Univalent Semantics of Constructive Type Theories
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
New Competition and Technical change in the Computer Industry
Emerald Group Publishing | 1983|Schlagwörter: Computer industry -
First Steps towards the Certification of an ARM Simulator Using Compcert
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
Proof-Carrying Code in a Session-Typed Process Calculus
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
Engineering Theories with Z3
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
Characterizations of the support function of the numerical range of the product of positive contractions
Online Contents | 2016|Schlagwörter: Computer industry -
IBM invests to lead global Internet of Things market
Online Contents | 2016Schlagwörter: Computer industry -
Automatically Verifying Typing Constraints for a Data Processing Language
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry -
Teaching Experience: Logic and Formal Methods with Coq
British Library Conference Proceedings | 2011|Schlagwörter: Computer industry