找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Methoden der imperativen Programmierung; Mit Beispielen in MO Hans-Georg Stork Book 1993 Springer Fachmedien Wiesbaden 1993 Komplexität.Mas

[复制链接]
查看: 31601|回复: 36
发表于 2025-3-21 17:01:18 | 显示全部楼层 |阅读模式
书目名称Methoden der imperativen Programmierung
副标题Mit Beispielen in MO
编辑Hans-Georg Stork
视频video
丛书名称XLeitfäden der angewandten Informatik
图书封面Titlebook: Methoden der imperativen Programmierung; Mit Beispielen in MO Hans-Georg Stork Book 1993 Springer Fachmedien Wiesbaden 1993 Komplexität.Mas
描述Seit Anfang der siebziger Jahre gibt es an der Universität Karlsruhe die Möglich­ keit, das Fach "Wirtschaftsingenieurwesen" mit dem Schwerpunkt Informatik zu studieren. Studenten, die sich für diesen Schwerpunkt entscheiden, wird - ne­ ben einführenden Vorlesungen über Mathematik und aus dem Bereich der Wirt­ schaftswissenschaften - eine breite Grundausbildung in Informatik angeboten. Deren Kern ist ein viersemestriger Kurs, welcher die wichtigsten Kenntnisse zum Verständnis des Aufbaus, des Betriebs und der Anwendung von Rechnern vermittelt. Zur Befriedigung eines eher "akademischen" Erkenntnisinteresses wird dabei - und dies gilt durchaus für den gesamten Studiengang - ganz bewußt der Nutzen hinzukalkuliert, den ein solches Wissen und die damit verbundenen Fertigkeiten für die berufliche Qualifikation der Absolventen haben sollten. Dieses praktische Interesse ist sicher eine der stärksten Motivationen dafür, daß immer häufiger Themen für abschließende Diplomarbeiten angeboten und gewählt wurden, welche die Spezifikation, den Entwurf und die Implementierung größerer Programme beinhalteten, mitunter auch als Teile umfangreicher und länger laufender Projekte. Bei der Anfertigung un
出版日期Book 1993
关键词Komplexität; Maschine; Produktion; Programmierung; Qualität; Software; Systemanalyse; Systeme; Systementwick
版次1
doihttps://doi.org/10.1007/978-3-322-94660-7
isbn_softcover978-3-519-02416-3
isbn_ebook978-3-322-94660-7
copyrightSpringer Fachmedien Wiesbaden 1993
The information of publication is updating

书目名称Methoden der imperativen Programmierung影响因子(影响力)




书目名称Methoden der imperativen Programmierung影响因子(影响力)学科排名




书目名称Methoden der imperativen Programmierung网络公开度




书目名称Methoden der imperativen Programmierung网络公开度学科排名




书目名称Methoden der imperativen Programmierung被引频次




书目名称Methoden der imperativen Programmierung被引频次学科排名




书目名称Methoden der imperativen Programmierung年度引用




书目名称Methoden der imperativen Programmierung年度引用学科排名




书目名称Methoden der imperativen Programmierung读者反馈




书目名称Methoden der imperativen Programmierung读者反馈学科排名




单选投票, 共有 1 人参与投票
 

0票 0.00%

Perfect with Aesthetics

 

1票 100.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 21:06:46 | 显示全部楼层
Datenstrukturierter Programmentwurf,ehr viel leichter und „natürlicher“ durch die Angabe der Struktur eines gewünschten Outputs oder eines aufzunehmenden Inputs spezifizieren lassen, als mit Hilfe prädikativer Beschreibungen interner Speicherzustände.
发表于 2025-3-22 04:16:41 | 显示全部楼层
,Aspekte der Programmierung im Großen,mierer bei der Konstruktion kleiner Programme oder elementarer Programmteile (wie Prozeduren und Funktionsprozeduren) anstellen sollte, um jenen Qualitätsansprüchen gerecht zu werden, die wir im zweiten Kapitel formuliert haben.
发表于 2025-3-22 05:26:05 | 显示全部楼层
Book 1993matik zu studieren. Studenten, die sich für diesen Schwerpunkt entscheiden, wird - ne­ ben einführenden Vorlesungen über Mathematik und aus dem Bereich der Wirt­ schaftswissenschaften - eine breite Grundausbildung in Informatik angeboten. Deren Kern ist ein viersemestriger Kurs, welcher die wichtigs
发表于 2025-3-22 10:45:53 | 显示全部楼层
发表于 2025-3-22 12:54:35 | 显示全部楼层
发表于 2025-3-22 18:20:47 | 显示全部楼层
发表于 2025-3-22 21:59:09 | 显示全部楼层
Imperative Programmierung,Rechner sind Apparate, die mit Worten dazu veranlaßt werden, Dienstleistungen zu erbringen, welche auf der Manipulation symbolischer Repräsentationen von Information beruhen. Die Beispiele für solche Dienstleistungen sind Legion. Wir zählen hier nur einige wenige auf:
发表于 2025-3-23 05:04:30 | 显示全部楼层
Programmieren durch Beweisen,In diesem Kapitel werden wir an die Bemerkungen in Abschnitt 2.1.1 über die „Korrektheit von Programmen“ anknüpfen und dieses Thema vertiefen.
发表于 2025-3-23 08:38:18 | 显示全部楼层
978-3-519-02416-3Springer Fachmedien Wiesbaden 1993
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-24 18:34
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表